Reasoning about time

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


Reasoning about time is essential for applications in artificial intelligence and in many other disciplines. Given certain explicit relationships between a set of events, we would like to have the ability to infer additional relationships which are implicit in those given. For example, the transitivity of “before” and “contains” may allow us to infer information regarding the sequence of events. Such inferences are essential in story understanding, planning and causal reasoning. There are a great number of practical problems in which one is interested in constructing a time line where each particular event or phenomenon corresponds to an interval representing its duration. These include seriation in archeology, behavioral psychology, temporal reasoning, scheduling, and combinatorics. Other applications arise in non-temporal context, for example, in molecular biology, arrangement of DNA segments along a linear DNA chain involves similar problems. Interval consistency problems deal with events, each of which is assumed to be an interval on the real line or on any other linearly ordered set, and reasoning about such intervals when the precise topological relationships between them is unknown or only partially specified. In Golumbic and Shamir (1991), we relate the two notions of interval algebra from the temporal reasoning community and interval graphs from the combinatorics community, obtaining new algorithmic complexity results of interest to both disciplines. Several versions of the satisfiability, minimum labeling and all consistent solutions problems for temporal (interval) data are investigated. The satisfiability question is shown to be NP-Complete even when restricting the possible interval relationships to subsets of the relations intersection and precedence only. On the other hand, we give efficient algorithm for several other restrictions of the problem.

Original languageEnglish
Title of host publicationArtificial Intelligence and Symbolic Mathematical Computing - International Conference AISMC- 1, Proceedings
EditorsJacques Calmet, John A. Campbell
PublisherSpringer Verlag
ISBN (Print)9783540573227
StatePublished - 1993
Externally publishedYes
Event1st International Conference on Artificial Intelligence and Symbolic Mathematical Computing, AISMC 1992 - Karlsruhe, Germany
Duration: 3 Aug 19926 Aug 1992

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume737 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference1st International Conference on Artificial Intelligence and Symbolic Mathematical Computing, AISMC 1992

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1993.

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science (all)


Dive into the research topics of 'Reasoning about time'. Together they form a unique fingerprint.

Cite this