论文部分内容阅读
非单调超协调推理是一种在不协调与不完全知识下推理的形式,是人工智能中有关常识表示与推理的一个研究领域,具有重要的科学意义.在该文中,我们对非单调超协调推理的如下问题进行了研究,取得了一些重要的研究结果.1.基于一个四值逻辑统一处理知识库中的不协调性与不完全性,给出了一个新的非单调超协调推理方法.Belnap四值逻辑除包含经典逻辑真值t,f以外,还包含表示不协调知识的真值T和表示不完全知识的真值⊥,使用T可以处理知识库中的不协调性,我们研究了如何使用⊥处理知识库中的不完全性,给出了一个将不协调且不完全的知识库回归到协调且完全的知识库的方法,据此定义的一个非单调超协调语义后承具有与限制逻辑相同的非单调推理能力,同时我们也阐述了处理知识库中不协调性和不完全性的次序问题,并对两种次序下的若干语义后承进行了分析与比较.2.提出了双缺省逻辑,这是一个可以对不协调知识进行缺省推理的新的非单调超协调逻辑.Reiter缺省逻辑不具备超协调推理能力,一旦缺省理论的前提集包含不协调的知识,缺省扩张就倒塌为平凡的,双缺省逻辑避免了平凡扩张的产生.我们利用命题公式的两个变换,把缺省理论的非协调前提集变换为两个通过缺省规则关联的协调前提集,其结果是绝大多数关于缺省逻辑的定理都可以在双缺省逻辑中重建,我们给出了双缺省理论与缺省理论的关系定理,证明了双缺省逻辑是缺省逻辑在不协调情形下的一般化.与其它超协调缺省推理相比,双缺省逻辑的基础逻辑仍然是经典逻辑,自然保有经典逻辑的良好性质.另一个结果是利用双缺省理论能够极大地增强Belnap四值逻辑的推理能力,这种技术也可推广到其它的多值逻辑系统.3.给出了验证双缺省逻辑,作为双缺省逻辑的一个变体,它具有两个重要的性质:扩张存在性与半单调性.我们给出了验证双缺省逻辑与Lukaszewicz验证缺省逻辑的关系定理,证明了验证双缺省逻辑是验证缺省逻辑在不协调情形下的一般化.事实上,类似于缺省逻辑,双缺省逻辑也存在多种变体,由此说明了双缺省逻辑具有广泛的适用性和灵活性.