reasoning backward
1.Dynamic Causality Diagram (DCD) is an uncertainty reasoning method proposed by professor Zhang Qin in 1994. The Causality Diagram (CD) which is constituted by experts, thanks to its reasoning capability (forward reasoning, backward reasoning and bi-directional reasoning), can thus diagnose faults in complex system.
2.This paper is concerned mainly with how to use Concurrent Smalltalk-80 to implement parallelinference engine of production rules in expert system which is based on the sequential reasoningand with the way of forward chaining reasoning and backward chaining deduction. Matching com-plexity is also discussed.
3.MKS is an expert system constructing tool with multiple knowledge representation forms and high domain adaptability, which is developed on the basis of classification expert systems Technologies adopted in this system are discussed, including management mechanism of multiple knowledge bases, forward reasoning admitting of backward evaluation and other inference mechanisms, fuzzy classification rules and control rulea forimplementing nonmonotonic reasoning, and perfectly-functioned developing mechanism
5.For the sake of using the binary classification key more flexiblly to classify and identify the diseases and pests as knowledge reasoning, the integration of the principles of backward reasoning and two-way reasoning was put forward, which charges the binary key into the knowledge database of expert system, and computers can make use of the structure to search the branch node and realize the assistant identification of diseases and pests.
6.On the basis of studying the characteristics of various uncertainty reasoning methods as well as the way of failure analysis knowledge representation, the algorithm of uncertainty reasoning and reliability of aided failure analysis are proposed in this paper. The classical probability based method is suitable for describing the strength of backward chaining rules, and certainty factor for describing the strength of forward chaining rules.
