Qualitative Temporal Reasoning
Nonmetric temporal reasoning; Reasoning with qualitative temporal constraints
Qualitative temporal constraints are nonmetric temporal constraints stating the relative temporal position of facts that happen in time (e.g., fact F1 is before or during fact F2). Different types of qualitative constraints can be defined, depending on whether facts are instantaneous, durative, or repeated. Qualitative temporal reasoning is the process of reasoning with such temporal constraints. Given a set of qualitative temporal constraints, qualitative temporal reasoning can be used for different purposes, including checking their consistency, determining the strictest constraints between pairs of facts (e.g., for query-answering purposes), and pointing out a consistent scenario (i.e., a possible instantiation of all the facts on the timeline in such a way that all temporal constraints are satisfied).
In several domains and/or application areas, temporal...
- 9.Ladkin P. Time representation: a taxonomy of interval relations. In: Proceeding of the 5th National Conference on AI; 1986. p. 360–6.Google Scholar
- 10.Ligozat G. Qualitative spatial and temporal reasoning. Wiley; 2013. 539p. ISSBN:978-1-84821-252-7.Google Scholar
- 15.Vilain M, Kautz H. Constraint propagation algorithms for temporal reasoning. In: Proceedings of the 5th National Conference on Artificial Intelligence; 1986. p. 377–382.Google Scholar