Nonmonotonic Temporal Reasoning

非单调时间推理

• 批准号: 8721701
• 负责人: Yoav Shoham
• 金额: $ 12.08万
• 依托单位: Stanford University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1988
• 资助国家: 美国
• 起止时间: 1988-07-01 至 1990-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8721701&HistoricalAwards=false
• 关键词: Nonmonotonic; Temporal; Reasoning

This research focuses on extensions to classical logic which are both - flexible enough to represent aspects of the real world such as approximate knowledge and change in knowledge over time which escape traditional logic - theoretically sound and capable of being built into effective computer systems. A particular emphasis is on sound principles which enable a reasoning system to successfully ignore irrelevant parts of its knowledge in arriving at conclusions. The importance of this work is in bridging the gap between pure theory about the consistency and effectiveness of various new logics and real world applications in computer reasoning systems and robots.

这项研究的重点是扩展经典逻辑 印巴两国都是 - 灵活到足以代表真实的世界的各个方面 例如近似知识和知识变化 超越了传统逻辑 - 理论上是合理的， 有效的计算机系统。 特别强调的是健全的原则， 推理系统成功地忽略不相关的部分， 在得出结论时的知识。 这项工作的重要性在于弥合以下两方面的差距： 纯粹的理论的一致性和有效性的各种 计算机推理中的新逻辑和真实的应用 系统和机器人。