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