Approximation Algorithms for Temporal Reasoning

We consider a representation for temporal relations between intervals introduced by James Allen, and its associated computational or reasoning problem: given possibly indefinite knowledge of the relations between some intervals, how do we compute the strongest possible assertions about the relations between some or all intervals. Determining exact solutions to this problem has been shown to be (almost assuredly) intractable. Allen gives an approximation algorithm based on constraint propagation. We giv e new approximation algorithms, examine their effectiveness, and determine under what conditions the algorithms are exact.

[1]  Henry A. Kautz,et al.  Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.

[2]  Eugene C. Freuder.  Synthesizing constraint expressions , 1978, CACM.

[3]  Donald B. Johnson,et al.  A Note on Dijkstra's Shortest Path Algorithm , 1973, JACM.

[4]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[5]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[6]  James F. Allen,et al.  Planning Using a Temporal World Model , 1983, IJCAI.

[7]  Edward P. K. Tsang,et al.  The Consistent Labeling Problem in Temporal Reasoning , 1987, AAAI.

[8]  Eugene C. Freuder.  A Sufficient Condition for Backtrack-Free Search , 1982, JACM.

[9]  김인철,et al.  Consistent Labeling Problem을 풀기 위한 휴우리스틱 탐색 기법 , 1988 .

[10]  Raúl E. Valdés-Pérez,et al.  The Satisfiability of Temporal Constraint Networks , 1987, AAAI.

[11]  Richard M. Karp,et al.  Theoretical Improvements in Algorithmic Efficiency for Network Flow Problems , 1972, Combinatorial Optimization.

[12]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[13]  Ugo Montanari,et al.  Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..

[14]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[15]  Peter B. Ladkin,et al.  Satisfying First-Order Constraints About Time Intervals , 1988, AAAI.

[16]  Fei Song,et al.  The Interpretation of Temporal Relations in Narrative , 1988, AAAI.