MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS
MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS
复制标题
DOI：
10.1145/182.358434
复制
发表时间：
1983-01-01
影响因子：
22.7
通讯作者：
ALLEN, JF
中科院分区：
文献类型：
--
作者：
ALLEN, JF
引入了基于间隔的时间逻辑，以及基于约束传播的计算有效的推理算法。该系统的显着之处在于在表现力和演绎引擎的效率之间提供了微妙的平衡。引入了参考区间的概念，它捕获了许多领域中隐含的时间层次结构，并且可以用来精确控制系统自动执行的推导量。提供了包含历史数据的数据库、用于建模过程和过程交互的数据库以及用于当前时刻不断更新的交互系统的数据库的示例。
An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation. This system is notable in offering a delicate balance between expressive power and the efficiency of its deductive engine. A notion of reference intervals is introduced which captu~ s the temporal hierarchy implicit in many domains, and which can be used to precisely control the amount of deduction performed automatically by the system. Examples are provided for a database containing historical data, a database used for modeling processes and proce~ interaction, and a database for an interactive system where the present moment is continually being updated.