A temporal model theory for default logic

  • Joeri Engelfriet
  • Jan Treur
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 747)


By explicitly identifying the temporal aspect of a default rule as it is used in a reasoning process, it is argued that a natural semantic theory of Reiter's default logic is a temporal one. To be able to accommodate the lack of complete knowledge at any point in time, the temporal models should be partial models. A temporal partial logic is introduced, and it is shown that this logic can provide semantics for Reiter's default logic.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    P. Besnard, An Introduction to Default Logic, Springer Verlag, 1989Google Scholar
  2. 2.
    P. Besnard, T. Schaub, Possible Worlds Semantics for Default Logics, to appear in Fundamenta InformaticaeGoogle Scholar
  3. 3.
    J. Engelfriet, J. Treur, A Temporal Model Theory for Default Logic, Report, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, 1993Google Scholar
  4. 4.
    D.W. Etherington, A Semantics for Default Logic, Proc. IJCAI-87. Also in: Reasoning with Incomplete Information, Morgan Kaufmann, 1988Google Scholar
  5. 5.
    W. Łukaszewicz, Non-monotonic reasoning: formalization of commonsense reasoning, Ellis Horwood, 1990Google Scholar
  6. 6.
    R. Reiter, A logic for default reasoning, Artificial Intelligence 13, 1980, pp. 81–132Google Scholar
  7. 7.
    Y.H. Tan, J. Treur, A bi-modular approach to nonmonotonic reasoning, In: De Glas, M., Gabbay, D. (eds.), Proc. World Congress on Fundamentals of Artificial Intelligence, WOCFAI-91, 1991, pp. 461–476. An adapted version will be published in Studia Logica.Google Scholar
  8. 8.
    E. Thijsse, Partial logic and knowledge representation, Ph.D. Thesis, Tilburg University, 1992Google Scholar
  9. 9.
    J. Treur, Completeness and definability in diagnostic expert systems, Proc. European Conf. on AI, ECAI-88, München, 1988, pp. 619–624.Google Scholar
  10. 10.
    F. Voorbraak, Preference-based semantics for nonmonotonic logics, to appear in Proc. IJCAI-93Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Joeri Engelfriet
    • 1
  • Jan Treur
    • 1
  1. 1.Department of Mathematics and Computer Science, Artificial Intelligence GroupVrije Universiteit AmsterdamHV AmsterdamThe Netherlands

Personalised recommendations