Nonmonotonic Logic of Commonsense Reasoning and Their Algorithmic Aspects

常识推理的非单调逻辑及其算法方面

• 批准号: 9012902
• 负责人: Miroslaw Truszczynski
• 金额: $ 20万
• 依托单位: University of Kentucky Research Foundation
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-06-15 至 1995-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9012902&HistoricalAwards=false
• 关键词: Nonmonotonic; Logic; Commonsense; Reasoning; Their

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.

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