非单调语义网络中继承的信任理论

描述了一种新的具有例外的多继承语义网络推理方法--继承的信任理论,这是一种很具有吸引力的可废止继承方法.它应用于非循环语义网络的继承的分析,能够产生适合于继承直觉的非多义性结论.文中还讨论了Etherington的基于缺省逻辑的继承理论,提出了继承信任理论和继承信任缺省逻辑.给出了继承信任逻辑的性质,并且证明了构造继承信任缺省逻辑理论的唯一扩张是递推过程.信任理论的扩张能够快速求解.这种快速推理算法可以应用于专家系统推理.

Confidential Theory of Inheritance in Nonmonotonic Semantic Network

The confidential theory describes a new approach to inheritance reasoning in nonmonotonic semantic network allowing for multiple inheritance with exceptions. The approach leads to an analysis of defeasible inheritance that is well defined and intuitively attractive. It yields unambiguous results applied to any acyclic semantic network.Etherington's default logic of inheritance is discussed. It provides a new confidential default logic of inheritance,describes properties of confidential default logic which has unique extension. The process of strutting unique extension is recurrence. The extension of confidential theory can compute quickly. These fast inference algorithms are applicable to expert system.