Specification of nonmonotonic reasoning

J. Engelfriet, J. Treur

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review


Nonmonotonic reasoning systems address applications where an agent reasoning about the world wants to draw conclusions that are not logically entailed by its (incomplete) knowledge about the world. Under such circumstances it is only possible to build a set of (additional) beliefs of hypothetical nature. Such a set of beliefs represents a hypothetical view on the world. In general it is not unique: multiple views are possible; an agent may (temporarily) commit itself to one view and switch its commitment to another one later. Such a view does not necessarily give a complete world description either. Each view leaves open a number of possible complete world descriptions. However, the additional knowledge defining the view an agent is committing to, may be sufficient for the agent to draw the required (defeasible) conclusions (within the context of that view).
Original languageEnglish
Title of host publicationDynamics and Management of Reasoning Processes
EditorsD. Gabbay
PublisherKluwer Academic
ISBN (Electronic)978-94-017-1743-4
ISBN (Print)978-90-481-5903-1
Publication statusPublished - 2001

Publication series

NameSeries in Defeasible Reasoning and Uncertainty Management Systems,


Dive into the research topics of 'Specification of nonmonotonic reasoning'. Together they form a unique fingerprint.

Cite this