Reasoning with Multi-Point Events

Recent research on qualitative reasoning has focussed on representing and reasoning about events that occur repeatedly. Allen's interval algebra has been modified to model events that are collections of convex intervals—a non-convex interval. Using the modified version of Allen's algebra, constraint-based algorithms have been investigated for finding feasible relations in a network of non-convex intervals.

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

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

[3]  Lenhart K. Schubert,et al.  On Point-Based Temporal Disjointness , 1994, Artif. Intell..

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

[5]  P. V. Beek.  Exact and approximate reasoning about qualitative temporal relations , 1992 .

[6]  Isaac S. Kohane.  TEMPORAL REASONING IN MEDICAL EXPERT SYSTEMS , 1987 .

[7]  Ron Shamir,et al.  Complexity and algorithms for reasoning about time: a graph-theoretic approach , 1993, JACM.

[8]  Peter B. Ladkin,et al.  On binary constraint problems , 1994, JACM.

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

[10]  Alexander Reinefeld,et al.  Effective Solution of Qualitative Interval Constraint Problems , 1992, Artif. Intell..

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

[12]  Patrick J. Hayes,et al.  The Naive Physics Manifesto , 1990, The Philosophy of Artificial Intelligence.

[13]  Peter B. Ladkin,et al.  Time Representation: A Taxonomy of Internal Relations , 1986, AAAI.

[14]  Sourmitra Dutta,et al.  Temporal reasoning in medical expert systems , 1988, Proceedings of the Symposium on the Engineering of Computer-Based Medical.

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

[16]  Lina Al-Khatib.  Reasoning with non-convex time intervals , 1995 .