Encyclopedia of Database Systems

2018 Edition
| Editors: Ling Liu, M. Tamer Özsu

Qualitative Temporal Reasoning

  • Paolo Terenziani
Reference work entry
DOI: https://doi.org/10.1007/978-1-4614-8265-9_287

Synonyms

Nonmetric temporal reasoning; Reasoning with qualitative temporal constraints

Definition

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).

Historical Background

In several domains and/or application areas, temporal...

This is a preview of subscription content, log in to check access.

Recommended Reading

  1. 1.
    Allen JF. Maintaining knowledge about temporal intervals. Commun ACM. 1983;26(11):832–43.zbMATHCrossRefGoogle Scholar
  2. 2.
    Badaloni S, Giacomin M. The algebra IA fuz: a framework for qualitative fuzzy temporal reasoning. Artif Intell. 2006;170(10):872–908.MathSciNetzbMATHCrossRefGoogle Scholar
  3. 3.
    Brusoni V, Console L, Pernici B, Terenziani P. Qualitative and quantitative temporal constraints and relational databases: theory, architecture, and applications. IEEE Trans Knowl Data Eng. 1999;11(6):948–68.CrossRefGoogle Scholar
  4. 4.
    Delgrande J, Gupta A, Van Allen T. A comparison of point-based approaches to qualitative temporal reasoning. Artif Intell. 2001;131(1–2):135–70.MathSciNetzbMATHCrossRefGoogle Scholar
  5. 5.
    Freksa C. Temporal reasoning based on semi-intervals. Artif Intell. 1992;54(1–2):199–227.MathSciNetCrossRefGoogle Scholar
  6. 6.
    Gerevini A. Incremental qualitative temporal reasoning: algorithms for the point algebra and the ORD-Horn class. Artif Intell. 2005;166(1–2):37–80.MathSciNetzbMATHCrossRefGoogle Scholar
  7. 7.
    Jonsson P, Backstrom C. A unifying approach to temporal constraint reasoning. Artif Intell. 1998;102(1):143–55.MathSciNetzbMATHCrossRefGoogle Scholar
  8. 8.
    Koubarakis M. Database models for infinite and indefinite temporal information. Inf Syst. 1994;19(2):141–73.CrossRefGoogle Scholar
  9. 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. 10.
    Ligozat G. Qualitative spatial and temporal reasoning. Wiley; 2013. 539p. ISSBN:978-1-84821-252-7.Google Scholar
  11. 11.
    Nebel B, Burkert HJ. Reasoning about temporal relations: a maximal tractable subclass of Allen’s interval algebra. J ACM. 1995;42(1):43–66.MathSciNetzbMATHCrossRefGoogle Scholar
  12. 12.
    Prior AN. Past, present and future. Oxford: Oxford University Press; 1967.zbMATHCrossRefGoogle Scholar
  13. 13.
    Terenziani P. Integrating calendar-dates and qualitative temporal constraints in the treatment of periodic events. IEEE Trans Knowl Data Eng. 1997;9(5):763–83.CrossRefGoogle Scholar
  14. 14.
    Van Beek P. Reasoning about qualitative temporal information. Artif Intell. 1992;58(1–3):297–326.MathSciNetzbMATHCrossRefGoogle Scholar
  15. 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

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Dipartimento di Scienze e Innovazione Tecnologica (DiSIT)Università del Piemonte Orientale “Amedeo Avogadro”AlessandriaItaly

Section editors and affiliations

  • Richard T. Snodgrass
    • 1
  • Christian S. Jensen
    • 2
  1. 1.University of ArizonaTucsonUSA
  2. 2.Aalborg UniversityAalborg ØstDenmark