de.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Disclaimer Contact us Login
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

Reasoning about exceptions

MPS-Authors

van der Torre,  Leendert W. N.
Max Planck Society;

Locator
There are no locators available
Fulltext (public)
There are no public fulltexts available
Supplementary Material (public)
There is no public supplementary material available
Citation

van der Torre, L. W. N., & Tan, Y.-H. (1997). Reasoning about exceptions. In G. Brewka, C. Habel, & B. Nebel (Eds.), Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence (pp. 405-408). Berlin, Germany: Springer.


Cite as: http://hdl.handle.net/11858/00-001M-0000-000F-3A04-D
Abstract
In this paper we propose an exception logic - formalizing reasoning about exceptions. We use this logic to defend two claims. First, we argue that default logic - formalizing reasoning about default assumptions - is an extension of exception logic. A deconstruction argument shows that reasoning about exceptions is one of the first principles of reasoning about default assumptions. Second, we argue that two phases have to be distinguished in reasoning about exceptions, and therefore also in reasoning about default assumptions. We identify two causes of the distinction between two phases, the disjunction rule OR and right weakening RW. This sheds some new light on these `standard' (according to the Kraus-Lehmann-Magidor paradigm) properties of default inference.