Temporal Logic pp 349-364 | Cite as

Abduction in temporal reasoning

  • Cristina Ribeiro
  • António Porto
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 827)


Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temporal extent of facts and their sequencing becomes complex due to this inherent partiality. The generation of hypotheses is adopted here as a natural way to overcome the difficulties in computing answers to temporal queries. The proposed abductive system performs temporal reasoning in a logic programming framework. Queries are taken as goals and the inference system combines deduction with abduction and constraint solving. The convenience of constraints for dealing with temporal information is widely recognized, their interest being twofold: the representation of essential properties of time and the provision for partial information, allowing flexible bounds on times instead of constant bindings. Inference manipulates a language associating propositions with time periods which are maximal intervals for the proposition. The abductive inference procedure is described here, identifying the constraint operations required. It is also shown that the outcome of a derivation is always consistent with the information in the knowledge base.


temporal reasoning abduction constraint satisfaction logic programming deductive databases 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [All83]
    James Allen. Maintaining Knowledge About Temporal Intervals. Communications of the ACM, 26(11):832–843, 1983.CrossRefGoogle Scholar
  2. [All84]
    James Allen. Towards a General Theory of Action and Time. Artificial Intelligence, (23):123–154, 1984.CrossRefGoogle Scholar
  3. [DMP91]
    R. Dechter, I. Meiri, and J. Pearl. Temporal constraint networks. Artificial Intelligence, 49(1), 1991.Google Scholar
  4. [HM86]
    Steve Hanks and Drew McDermott. Default reasoning, nonmonotonic logics and the frame problem. In Proceedings of the 5th National Conference on Artificial Intelligence, pages 328–333. AAAI, 1986.Google Scholar
  5. [KKT92]
    A. C. Kakas, R. A. Kowalski, and F. Toni. Abductive logic programming. Journal of Logic and Computation, 2(6):719–770, 1992.Google Scholar
  6. [KL91]
    H. Kautz and P. Ladkin. Integrating metric and qualitative temporal reasoning. In Proceedings of AAAI'91, 1991.Google Scholar
  7. [KS86]
    Robert Kowalski and Marek Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67–95, 1986.Google Scholar
  8. [McD82]
    Drew McDermott. A Temporal Logic for Reasoning About Processes and Plans. Cognitive Science, (6):101–155, 1982.CrossRefGoogle Scholar
  9. [Mei91]
    I. Meiri. Combining qualitative and quantitative constraints in temporal reasoning. In Proceedings of AAAI'91, 1991.Google Scholar
  10. [Rib93]
    Cristina Ribeiro. Representation and Inference of Temporal Knowledge. PhD thesis, FCT-UNL, 1993.Google Scholar
  11. [RP91]
    Cristina Ribeiro and António Porto. Maximal intervals, an approach to temporal reasoning. In P. Barahona, L. Moniz Pereira, and A. Porto, editors, EPIA 91 — 5th Portuguese Conference on Artificial Intelligence. Springer Verlag, Lecture Notes on Artificial Intelligence 541, 1991.Google Scholar
  12. [Sho87]
    Yoav Shoham. Reasonig about Change. The MIT Press, 1987.Google Scholar
  13. [vB89]
    Peter van Beek. Approximation algorithms for temporal reasoning. In Proceedings of the 11th International Joint Conference on Artificial Intelligence, pages 1291–1296, 1989.Google Scholar
  14. [vB90]
    Peter van Beek. Reasoning about qualitative temporal information. In Proceedings of the 8th National Conference on Artificial Intelligence, pages 728–734, 1990.Google Scholar
  15. [VK86]
    Marc Vilain and Henry Kautz. Constraint propagation algorithms for temporal reasoning. In Proceedings of the 5th National Conference on Artificial Intelligence, pages 377–382, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Cristina Ribeiro
    • 1
  • António Porto
    • 1
  1. 1.Departamento de InformáticaUniversidade Nova de LisboaMonte da CaparicaPortugal

Personalised recommendations