Three main reasoning methods for ES used in the area of machinery diagnostics are rule-based reasoning (Baig and Sayeed, 1998) and model-based reasoning (Araiza et al., 2002). Another reasoning method, negative reasoning, was introduced to mechanical diagnosis by Hall et al (1997).