论文部分内容阅读
在处理不一致性知识时,因为以基于规则的演绎系统为模型的知识库采用一种AND/OR图的推导形式,所以不具有通常逻辑系统所普遍具有的平凡性。在这种情况下,难以判定目标结果的得出是否有不一致知识的参与,难以判定哪些结果是绝对安全的。在该文中研究人员通过剪枝技术,得到与不一致知识完全无关的推导信息,可以对绝对安全的目标结果给出证明。