On the dynamics of default reasoning

Research output: Contribution to journalArticle

7 Citations (Scopus)

Abstract

Default logic is a prominent rigorous method for reasoning with incomplete information based on assumptions. It is a static reasoning approach, in the sense that it doesn't reason about changes and their consequences. On the other hand, its nonmonotonic behavior appears when changes to a default theory are made. This paper studies the dynamic behavior of default logic in the face of changes. We consider the operations of contraction and revision, present several solutions to these problems, and study their properties.

Original languageEnglish
Pages (from-to)1143-1155
Number of pages13
JournalInternational Journal of Intelligent Systems
Volume17
Issue number12
Early online date22 Nov 2002
DOIs
Publication statusPublished - 1 Dec 2002
Externally publishedYes

    Fingerprint

Cite this