Keyphrases
- fault diagnosis
- proof procedures
- proof procedure
- theorem proving
- inference rules
- propositional logic
- first order logic
- fault detection
- expert systems
- fuzzy logic
- neural network
- fault detection and diagnosis
- predicate calculus
- industrial systems
- bp neural network
- multiple faults
- rotating machinery
- operating conditions
- power transformers
- electronic equipment
- gas turbine
- condition monitoring
- model theoretic
- chemical process
- multi sensor information fusion
- fault identification
- automated reasoning
- theorem prover
- logic programming
- analog circuits
- propositional satisfiability
- power plant
- semantic network
- search space
- monitoring and fault diagnosis
- fault diagnostic