𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the dynamics of default reasoning

✍ Scribed by Grigoris Antoniou

Publisher
John Wiley and Sons
Year
2002
Tongue
English
Weight
114 KB
Volume
17
Category
Article
ISSN
0884-8173

No coin nor oath required. For personal study only.

✦ Synopsis

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.

πŸ“œ SIMILAR VOLUMES

The anomalous extension problem in defau
The anomalous extension problem in default reasoning
✍ Paul H. Morris πŸ“‚ Article πŸ“… 1988 πŸ› Elsevier Science 🌐 English βš– 816 KB

In their recent celebrated paper, Hanks and McDermott presented a simple problem in temporal reasoning which showed that a seemingly natural representation of a frame axiom in nonmonotonic logic can give rise to an anomalous extension, i.e., one which is counter-intuitive in that it does not appear

On the computational complexity of assum
On the computational complexity of assumption-based argumentation for default reasoning
✍ Yannis Dimopoulos; Bernhard Nebel; Francesca Toni πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 177 KB

Bondarenko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, the framework extends these formalisms by generalising the semantics of admissible and preferred arguments, origina