Skip to main content
SpringerLink
Log in
Book cover

European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty

ECSQARU 1993: Symbolic and Quantitative Approaches to Reasoning and Uncertainty pp 91–96Cite as

A temporal model theory for default logic

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 747))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. Besnard, An Introduction to Default Logic, Springer Verlag, 1989

    Google Scholar 

  2. P. Besnard, T. Schaub, Possible Worlds Semantics for Default Logics, to appear in Fundamenta Informaticae

    Google Scholar 

  3. J. Engelfriet, J. Treur, A Temporal Model Theory for Default Logic, Report, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, 1993

    Google Scholar 

  4. D.W. Etherington, A Semantics for Default Logic, Proc. IJCAI-87. Also in: Reasoning with Incomplete Information, Morgan Kaufmann, 1988

    Google Scholar 

  5. W. Łukaszewicz, Non-monotonic reasoning: formalization of commonsense reasoning, Ellis Horwood, 1990

    Google Scholar 

  6. R. Reiter, A logic for default reasoning, Artificial Intelligence 13, 1980, pp. 81–132

    Google Scholar 

  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. E. Thijsse, Partial logic and knowledge representation, Ph.D. Thesis, Tilburg University, 1992

    Google Scholar 

  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. F. Voorbraak, Preference-based semantics for nonmonotonic logics, to appear in Proc. IJCAI-93

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, Artificial Intelligence Group, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081, HV Amsterdam, The Netherlands

    Joeri Engelfriet & Jan Treur

Authors
  1. Joeri Engelfriet
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jan Treur
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael Clarke Rudolf Kruse Serafín Moral

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Engelfriet, J., Treur, J. (1993). A temporal model theory for default logic. In: Clarke, M., Kruse, R., Moral, S. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1993. Lecture Notes in Computer Science, vol 747. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028187

Download citation

  • DOI: https://doi.org/10.1007/BFb0028187

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57395-1

  • Online ISBN: 978-3-540-48130-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation