The paper presents a universal fault diagnostic expert system frame work. The frame work is characterized by two basic features. The first includes a fault diag
Resolution is an useful tool for mechanical theorem proving in modelling the refutation proof procedure, which is mostly used in constructing a “proof” of a