论文部分内容阅读
基于一种关于典型与例外的经验模态语义提出一个模态非单调逻辑,给出它的语义和语形,证明其完全性定理以及它与主要非单调逻辑的关系定理.它直接地形式化非单调推理的直观意义,提供了一种缺省逻辑和自知逻辑的一阶扩展形式,同时具有限制逻辑推出全称句子的能力,而且在逻辑程序与演绎数据库中有重要应用.由它提供了一个各种主要非单调逻辑的统一基础,各种非单调逻辑之间的关系可由此得到统一处理.
Propose a modal non-monotone logic based on an empirical mode semantics of canonical and exceptional cases, give its semantics and morphology, prove its completeness theorem, and its relation to the principal nonmonotonic logic, which is formally formalized The intuitive notion of non-monotonic reasoning provides a first-order extension of default and self-knowing logic with the ability to limit the logic to the full name of the sentence, and has an important application in both logical and deductive databases. A unified basis for all major non-monotonic logic, the relationship between non-monotonic logic can be unified.