A kind of mixed reasoning in rule-based systems
Liu Qun, Yin Guisheng, Zhang Jianpei, Jie Liu, Liu Daxin
Abstract
Liu Qun, Yin Guisheng, Zhang Jianpei, Jie Liu, Liu Daxin
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.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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.
Key concepts: Deductive reasoning, Reasoning system, Abductive reasoning, Model-based reasoning, Qualitative reasoning, Non-monotonic logic, Computer science, Opportunistic reasoning