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

Abstract

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
PublisherSpringer/Verlag
Pages224-236
Number of pages13
Volume1126
ISBN (Print)3-540-61630-6, 9783540616306
DOIs
Publication statusPublished - 1996
Event6th European Workshop on Logics in Artificial Intelligence, JELIA 1996 - Evora, Portugal
Duration: 30 Sep 19963 Oct 1996

Publication series

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

Workshop

Workshop6th European Workshop on Logics in Artificial Intelligence, JELIA 1996
CountryPortugal
CityEvora
Period30/09/963/10/96

Keywords

  • default logic
  • extensions
  • infinitary default logic
  • representability

Cite this