自知逻辑与非单调推理

摘要

自知逻辑是非单调推理的重要的逻辑工具之一。它与缺席逻辑,界限和封闭世界假说等非单调推理的重要概念具有紧密的联系。自知逻辑采用模态逻辑作为形式表达工具,比缺席逻辑具有更可靠的数学基础;它也比界限方法具有更简洁易懂的表达方式。所以,它成为一种最有希望的非单调推理系统。本文将简要地介绍自知逻辑的主要概念,理论与方法。