Integrating Calendar Dates and Qualitative Temporal Constraints in the Treatment of Periodic Events
Integrating Calendar Dates and Qualitative Temporal Constraints in the Treatment of Periodic Events
复制标题
在处理周期性事件时整合日历日期和定性时间约束
DOI：
10.1109/69.634754
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
P. Terenziani
中科院分区：
文献类型：
--
作者：
P. Terenziani
本文描述了一个框架，表示和推理与周期性事件。特别地，它提出了一种时间形式主义，其处理（1）关于时间框架的定量信息（例如，在1990年和1993年之间）和用户定义的日历日期（例如，在四月的第一个星期一），周期事件位于其中，以及（2）周期事件之间的定性关系（例如，Sam在去他的办公室之前先访问分支办公室XO 1）。在我们的形式主义的时间规格的意义是描述在逻辑方面。定义了时态规范的求逆、求交和合成等基本运算。这些操作是正确的（相对于规范的逻辑定义），并且不会丢失信息。最后，本文还描述了一个正确的算法，利用这些操作进行时间推理，并分析了其复杂性。在一个例子中示出的时间框架的调度在办公室中的应用。
The paper describes a framework for representing and reasoning with periodic events. In particular, it proposes a temporal formalism which deals with both (1) quantitative information concerning the frame of time (e.g., between 1990 and 1993) and the user-defined calendar-dates (e.g., on the first Mondays of April) in which periodic events are located and (2) the qualitative relations between periodic events (e.g., Sam visits the branch office XO1 before going to his office). The meaning of the temporal specifications in our formalism is described in logical terms. The paper defines the basic operations of inversion, intersection and composition of temporal specifications. These operations are correct (with respect to the logical definition of the specifications) and do not lose information. Finally, the paper also describes a correct algorithm which takes advantage of these operations for performing temporal reasoning, and analyses its complexity. An application of the temporal framework to the scheduling in an office is shown in an example.
影响因子：
14.4
作者：
ALLEN, JF
通讯作者：
ALLEN, JF