Default logic and specification of nonmonotonic reasoning

Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski

Research output: Contribution to journalArticlepeer-review

5 Scopus citations


In this paper constructions leading to the formation of belief sets by agents are studied. The focus is on the situation when possible belief sets are built incrementally in stages. An infinite sequence of theories that represents such a process is called a reasoning trace. A set of reasoning traces describing all possible reasoning scenarios for the agent is called a reasoning frame. Default logic by Reiter is not powerful enough to represent reasoning frames. In the paper a generalization of default logic of Reiter is introduced by allowing infinite sets of justifications. This formalism is called infinitary default logic. In the main result of the paper it is shown that every reasoning frame can be represented by an infinitary default theory. A similar representability result for antichains of theories (belief frames) is also presented.

Original languageEnglish
Pages (from-to)99-112
Number of pages14
JournalJournal of Experimental and Theoretical Artificial Intelligence
Issue number2
StatePublished - Apr 1 2001


  • Default logic
  • Extensions
  • Infinitary default logic
  • Representability

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Software
  • Artificial Intelligence


Dive into the research topics of 'Default logic and specification of nonmonotonic reasoning'. Together they form a unique fingerprint.

Cite this