对Allen的时间理论的某些改进

Ａｌｌｅｎ的时间理论因直观、易懂而倍受推崇，但它存在不能处理连续变化事件等缺欠。本文提出更为一般的时间理论框架，以扩展Ａｌｌｅｎ的理论，本框架的特点为：（ｌ）将Ａｌｌｅｎ的理论纳入其中；（２）可由时间点构造时区，并可处理时区和时间点；（３）以时间元素集的２Ｄ图形表示为基础的约束传播算法，既高效又可视化。

Special attention to Allen's theory of time has been paid because of its intuition and easy tounderstand.However,it is not perfect.For example, it cannot handle the continuous change of an event. The objective of this paper is to extend Allen' s theory,and then we put forward a more general frameworkfor the theory of time. our theory is possessed of the following features:(1)subsuming Allen's interval-based theory in our framework; (2)being capable of constructing intervals out of points,and treating intervals and points seperately;(3)giving an efrlciet algorithm of temporal constraint propagation based on 2D graphical representationof the set of time elements.

国家自然科学基金,中科院机器人学开放研究实验室基金