Infinitary default logic for specification of nonmonotonic reasoning

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

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


In this paper we study constructions leading to the formation of belief sets by agents. We focus on the situation when possible belief sets axe built incrementally in stages. We call an infinite sequence of theories that represents such a process 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 we introduce a generalization of default logic of Relier by allowing infinite sets of justifications. We call this formalism infinitary default logic. In the main result of the paper we show 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
Title of host publicationLogics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings
Number of pages13
ISBN (Print)3-540-61630-6, 9783540616306
Publication statusPublished - 1996
Event6th European Workshop on Logics in Artificial Intelligence, JELIA 1996 - Evora, Portugal
Duration: 30 Sept 19963 Oct 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


Workshop6th European Workshop on Logics in Artificial Intelligence, JELIA 1996


  • default logic
  • extensions
  • infinitary default logic
  • representability


Dive into the research topics of 'Infinitary default logic for specification of nonmonotonic reasoning'. Together they form a unique fingerprint.

Cite this