On the dynamics of default reasoning

Grigoris Antoniou

Research output: Contribution to journalArticlepeer-review

9 Citations (Scopus)


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
Issue number12
Early online date22 Nov 2002
Publication statusPublished - 1 Dec 2002
Externally publishedYes


Dive into the research topics of 'On the dynamics of default reasoning'. Together they form a unique fingerprint.

Cite this