Title :
A kind of mixed reasoning in rule-based systems
Author :
Qun, Liu ; Guisheng, Yin ; Jianpei, Zhang ; Jie, Liu ; Daxin, Liu
Author_Institution :
Dept. of Comput., Harbin Eng. Univ., China
Abstract :
The method of mixed reasoning is put forward in this paper. It can accomplish deductive and abductive reasoning alternatively in a problem-solving process. A problem solving model of the method is defined. The logic reasoning in this model can achieve a change of the reasoning direction. In this paper, some other problems and technologies of completing mixed reasoning are also discussed, such as how the reasoning algorithm is designed and its properties are analysed
Keywords :
inference mechanisms; knowledge based systems; problem solving; abductive reasoning; deductive reasoning; logic reasoning; mixed reasoning; problem-solving process; rule-based systems; Geology; Knowledge based systems; Logic;
Conference_Titel :
Systems, Man, and Cybernetics, 1996., IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7803-3280-6
DOI :
10.1109/ICSMC.1996.571323
