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.