无需传递表的时序推理

表示与推理定性时间信息是许多人工智能任务的重要组成部分。文献中已提出许多用于表示此类时间信息的模型，它们均派生自基于点或基于区间的框架。在这些框架的应用中，出现的一项基本推理任务由以下模式给出：给定某些时间对象之间二元关系的可能不确定且不完全的知识，找出所有这些对象之间一致的情景。所有这些模型都需要传递表——或类似地推理规则——来解决此类任务。我们定义了一种替代模型，即S语言，用于仅基于先于和同时这两个关系来表示定性时间信息。在本文中，我们展示了该模型如何避免使用传递表或推理规则来处理此类问题。