基于规则演绎系统的不一致推理中的剪枝

摘要

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