Temporal data base management

https://doi.org/10.1016/0004-3702(87)90061-0Get rights and content

Abstract

Reasoning about time typically involves drawing conclusions on the basis of incomplete information. Uncertainty arises in the form of ignorance, indeterminacy, and indecision. Despite the lack of complete information, a problem solver is continually forced to make predictions in order to pursue hypotheses and plan for the future. Such predictions are frequently contravened by subsequent evidence. This paper presents a computational approach to temporal reasoning that directly confronts these issues. The approach centers around techniques for managing a data base of assertions corresponding to the occurrence of events and the persistence of their effects over time. The resulting computational framework performs the temporal analog of (static) reason maintenance by keeping track of dependency information involving assumptions about the truth of facts spanning various intervals of time. The system described in this paper extends classical predicate-calculus data bases, such as those used by PROLOG, to deal with time in an efficient and natural manner.

References (31)

  • T. Dean

    Planning and temporal reasoning under uncertainty

  • T. Dean

    Temporal reasoning involving counterfactuals and disjunctions

  • T. Dean

    Temporal imagery: An approach to reasoning about time for planning and problem solving

  • J. de Kleer et al.

    Explicit control of reasoning

    SIGPLAN Notices

    (1977)
  • J. de Kleer et al.

    AMORD: A deductive procedure system

  • Cited by (0)

    This work was supported by the Advanced Research Projects Agency of the Department of Defense and monitored by the Office of Naval Research under contract N00014-85-K-0301.

    View full text