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.