非单调推理及应用.pdfVIP

摘 要 经典逻辑的推理形式是演绎的、单调的，一般被称为单调推理。它在解决基础理论 问题时发挥了精确性与严格性等特点。但是在处理日常复杂语境下的推理问题时，基于 经典逻辑的单调推理具有一定的局限性。与之相反，非单调推理具有一定的灵活性。其 特点是推理结论具有暂时性。随着新情况的出现，结论可能会被更正，以便符合实际情 况。单调推理与非单调推理之间的区别类似于弗雷格所提出的显微镜与眼睛在功能上的 比较。即显微镜发挥了精确性的特点，有助于研究微观世界，但不具有眼睛在生活中的 灵活性。然而，眼睛也不可能直接观察到只有通过显微镜才能看到的微观世界。 非单调这一概念于上世纪 70 年代被提出来。经过学者们数十年对非单调推理的研 究，逐渐形成了与单调的经典逻辑不同的非单调逻辑。两者之间最明显的差别是，单调 逻辑的定理集随前提集的增加而单调递增，而非单调逻辑的定理集是随前提集的增加而 非单调递增。具体来说，在日常语境下，以已有知识和新加入的知识为前提，可以得出 新结论。新结论往往会面临两种情况：要么是与已有知识无矛盾，要么是与已有知识发 生矛盾。第一种情况符合单调逻辑的特点。第二种情况符合非单调逻辑的特点。对于第 二种情况，如果能确保新结论符合一般事实，那么就要对已有知识做修改。从而更新知 识。对已有知识不断修改，发展新知识的过程，符合人类认识世界的一般规律。一方面， 非单调推理对于理解人类如何认识世界有重要启发意义。另一方面，非单调推理也可以 作为一种实用的推理工具，应用于其他学科的研究中。因此，研究非单调推理具有重要 意义。 研究非单调推理首先需要研究非单调逻辑系统。从逻辑学的角度，研究非单调逻辑 系统的一致性与完全性等性质，可以阐明非单调推理是如何满足对推理合理性的要求。 到目前为止，讨论最多的非单调逻辑系统是模态非单调逻辑和缺省逻辑等等。通过探讨 这两类逻辑系统，可以深入了解模态非单调推理与缺省推理。在正文中，首先要全面了 解非单调推理。通过讨论模态非单调逻辑和缺省逻辑这两种非单调逻辑系统，对非单调 推理有一个整体性的认识。其次对单调推理和非单调推理之间的联系与区别有一个清楚 的认识。在此基础上，深入探讨非单调推理在解决常识推理问题方面的效用和在其他学 科上所具有的理论价值。 I 关键词：非单调推理，模态非单调逻辑，缺省逻辑 II ABSTRACT The inferential form of classical logic is deductive and monotonic, and it is generally named monotonic reasoning. In solving the issues of basic theories it is accurate and strict, but there are some limitations when it is used to solve the problems of daily complex reasoning. In contrast, nonmonotonic reasoning has certain flexibility and its reasoning conclusion is temporary. When new conditions appear, the conclusions will be corrected in order to comply with the fact. The difference between monotonic reasoning and nonmonotonic reasoning is similar to the comparison proposed by Fregethe comparison between microscope and eyes