Skip to main content
SpringerLink
Log in

Specification of nonmonotonic reasoning

  • Conference paper
  • First Online:
Practical Reasoning (FAPR 1996)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1085))

Included in the following conference series:

Abstract

Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion of belief state frame, the second level by the notion of reasoning frame. We introduce two specification languages to describe nonmonotonic reasoning at each of the levels: (1) a specification language for level 1, with formal semantics based on belief state frames, (2) a fragment of infinitary temporal logic as a general specification language for level 2, with formal semantics based on reasoning frames. In our framework every level 2 description can be abstracted to level 1, and for every level 1 description there are level 2 descriptions which are a specialization of it.

Part of this work has been supported by SKBS and the ESPRIT III Basic Research project 6156 DRUMS II.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Etherington, D.W.: A Semantics for Default Logic, Proc. IJCAI-87, pp. 495–498; see also in: D.W. Etherington, Reasoning with Incomplete Information, Morgan Kaufmann, 1988

    Google Scholar 

  2. Engelfriet, J., Herre, H., Treur, J.: Nonmonotonic Belief State Frames and Reasoning Frames, in: C. Froidevaux, J. Kohlas (eds.), Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proc. ECSQARU'95, LNAI 946, Springer-Verlag, 1995, pp. 189–196

    Google Scholar 

  3. Engelfriet, J.: Minimal Temporal Epistemic Logic, Technical Report IR-388, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, 1995

    Google Scholar 

  4. Engelfriet, J., Treur, J.: A Temporal Model Theory for Default Logic, in: M. Clarke, R. Kruse, S. Moral (eds.), Proc. 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '93, Springer Verlag, 1993, pp. 91–96. Extended version: Report IR-334, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, 1993

    Google Scholar 

  5. Engelfriet, J., Treur, J.: Temporal Theories of Reasoning. In: C. MacNish, D. Pearce, L.M. Pereira (eds.), Logics in Artificial Intelligence, Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA '94, Springer Verlag, pp. 279–299. Also in: Journal of Applied Non-Classical Logics 5 (2), 1995, pp. 239–261

    Google Scholar 

  6. Herre, H.: Compactness Properties of nonmonotonic Inference Operations. In: C. MacNish, D. Pearce, L.M. Pereira (eds.), Logics in Artificial Intelligence, Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA '94, Springer Verlag, 1994, pp. 19–33. Also in: Journal of Applied Non-Classical Logics 5(1), Special Issue with selected papers from JELIA'94, 1995, pp. 121–135

    Google Scholar 

  7. Kraus, S., D. Lehmann, M. Magidor: Nonmonotonic Reasoning, Preferential models and cumulative logics; A.I. 44 (1990), 167–207

    Google Scholar 

  8. Marek, V., M. Truszczynski: Nonmonotonic Logic, Springer-Verlag, 1993

    Google Scholar 

  9. Marek, V., J. Treur, M. Truszczynski: Representation Theory for Default Logic, Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics, 1996

    Google Scholar 

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

    Article  Google Scholar 

  11. Shoham, Y.: Nonmonotonic Logics: Meaning and Utility, In: J. McDermott (ed.), Proc. 10th International Joint Conference on Artificial Intelligence, IJCAI-87, Morgan Kaufmann, 1987, pp. 388–393

    Google Scholar 

  12. Voorbraak, F.: Preference-based Semantics for Nonmonotonic Logics, in: Bajcsy, R. (ed.), Proc. 13th International Joint Conference on Artificial Intelligence, IJCAI-93, Morgan Kaufmann, 1993, pp. 584–589

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, Free University 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

Dov M. Gabbay Hans Jürgen Ohlbach

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Engelfriet, J., Treur, J. (1996). Specification of nonmonotonic reasoning. In: Gabbay, D.M., Ohlbach, H.J. (eds) Practical Reasoning. FAPR 1996. Lecture Notes in Computer Science, vol 1085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61313-7_67

Download citation

  • DOI: https://doi.org/10.1007/3-540-61313-7_67

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61313-8

  • Online ISBN: 978-3-540-68454-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation