Specification of Nonmonotonic Reasoning

J. Engelfriet, J. Treur

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review


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.
Original languageEnglish
Title of host publicationPractical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings
Number of pages15
ISBN (Print)3540613137, 9783540613138
Publication statusPublished - 1996
EventInternational Conference on Formal and Applied Practical Reasoning, FAPR 1996 - Bonn, Germany
Duration: 3 Jun 19967 Jun 1996

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceInternational Conference on Formal and Applied Practical Reasoning, FAPR 1996


  • Nonmonotonic reasoning
  • Specification
  • Temporal logic


Dive into the research topics of 'Specification of Nonmonotonic Reasoning'. Together they form a unique fingerprint.

Cite this