归结原理在不精确推理中的应用

The Application of the Resolution Principle in Inexact Reasoning

归结原理是定理机器证明中的一种基本技术.在知识工程的研究中,需要处理不确定和不精确的知识,本文讨论了采用可能性理论表示不确定命题和谓词的方法,以及如何应用归结原理来进行不精确的推理.

In the study of knowledge engineering, it is very important to represent and handle uncertain and imprecise knowledge. The resolution principle is known to be a basic tool for theorem proving. The application of the resolution principle in imprecise reasoning in knowledge engineering, including the use of the necessity measure and possibility measure of the possibility theory for representing uncertain proposition and predicate, is discussed. Imprecise reasoning on quantified uncertain proposition and predicate by the resolution principle is also dealt with.