Nonmonotonic Logic of Commonsense Reasoning and Their Algorithmic Aspects

本文研究非单调逻辑及其在关于知识和信念的常识推理中的应用。它解决了非单调模式逻辑的理论和算法问题。这些结果将增加对非单调性的理解，并将适用于非单调推理的非模态形式主义，如缺省逻辑、逻辑编程和真理维护系统。

This work studies non-monotonic logics and their application to common sense reasoning about knowledge and belief. It addresses both theoretical and algorithmic issues of non-monotonic modal logic. The results will increase understanding of non- monotonicity and will be applicable to non-modal formalism of non-monotic reasoning such as default logic, logic programming, and truth maintenance systems.