非单调推理及其应用.pdfVIP

reasoning. To study nonmonotonic reasoning, we must firstly study nonmonotonic logical systems. From the point of logic, through the study of consistency and completeness of nonmonotonic logical systems, we could prove that nonmonotonic reasoning can satisfy the legitimacy in daily reasoning. So far, the most often discussed systems are modal nonmonotonic logic and default logic. Through discussing the two logical systems, we could deeply understand the modal nonmonotonic reasoning and default reasoning. In the context, first of all, we should have a whole view about the nonmonotonic reasoning through the discussion of two of its systems－－modal nonmonotonic logic and default logic. And then, we should have a clear understanding about the relation and distinction between monotonic reasoning and nonmonotonic reasoning. On this basis, we explore its utility in common sense reasoning and its theoretical value in other subjects. KEY WORDS: Nonmonotonic Reasoning, Modal Nonmonotonic Logic, Default Logic IV I 引 言 引 言 一 选题背景及意义 一般来说，经典逻辑主要是指形式逻辑或演绎逻辑。经典逻辑的推理形式是演绎的 和单调的。演绎性和单调性表现在，推理以已有知识为前提必然能得到新的知识。或者 说在保证已有知识为真的前提下，由推理所得的新知识必定也是真的。比如，设 Γ为一 已知的知识集，Γ为一新的知识集。如果两者之间的推理形式是演绎的，就可以得到 Γ ├Γ，根据演绎定理也可以写为├Γ→Γ 。或者只要保证给 Γ 的赋值 V(Γ)=1，那么就会 得到 V(Γ)=1 而不会出现 V(Γ)=0 。用式子表示就是 V ╞Γ→Γ 。由此可知，经典逻辑的 优点就在于语形上保证推理的严格性，语义上保证推理的有效性。只需要确保前提部分 的真就可以获取真的新知识。 然而，在日常语境下，这种情况并不总是出现。经常出现的是新知识与已有知识之 间发生冲突。在必要的时候人们会修改已有知识，以适应对新情况的解释。这就体现出 单调推理的局限性。为解决这一难题，满足常识推理的要求，非单调推理便应运而生。 非单调推理不同于单调推理不仅表现在形式上和功用上，也表现在推理有效性的标 准上。单调推理的有效性是指语义上的保真性，而非单调推理的有效性主要是指符合实 际情况的合理性。换句话说，单调推理只要满足前提真，那么结论一定为真。与之不同， 非单调推理需要满足对现实情况的合理解释。 对非单调推理的研究一般有两种途径：一种是，认为经典逻辑对于研究非单调推理 有不足之处，最好建立新的语义机制与逻辑系统。在此基础上进行非单调推理研究，用 以解决一些问题。例如，赖特（Reiter ）缺省逻辑和摩尔（Moore ）的自认识逻辑。另一 种途径与此相反。他们认为，在经典逻辑框架