Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

van der Torre, Leendert W. N.
Tan, Yao-Hua

dblp
dblp



Editor(s):

Brewka, Gerhard
Habel, Christopher
Nebel, Bernhard

dblp
dblp
dblp



BibTeX cite key*:

Torre97c

Title, Booktitle

Title*:

Reasoning about exceptions

Booktitle*:

Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Freiburg

Language:

English

Event Date*
(no longer used):

September 1997

Organization:


Event Start Date:

22 September 2019

Event End Date:

22 September 2019

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Artificial Intelligence

Volume:

1303

Number:


Month:

September

Pages:

405-408

Year*:

1997

VG Wort Pages:


ISBN/ISSN:

3-540-63493-2

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) 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.

Keywords:

default logic, nonmonotonic logic, conditional logic



Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPG publications list



BibTeX Entry:

@INPROCEEDINGS{Torre97c,
AUTHOR = {van der Torre, Leendert W. N. and Tan, Yao-Hua},
EDITOR = {Brewka, Gerhard and Habel, Christopher and Nebel, Bernhard},
TITLE = {Reasoning about exceptions},
BOOKTITLE = {Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence},
PUBLISHER = {Springer},
YEAR = {1997},
VOLUME = {1303},
PAGES = {405--408},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Freiburg},
MONTH = {September},
ISBN = {3-540-63493-2},
}


Entry last modified by Uwe Brahm, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Leon van der Torre
Created
11/25/1997 02:12:13 PM
Revisions
4.
3.
2.
1.
0.
Editor(s)
Uwe Brahm
Uwe Brahm
Leon van der Torre
Leon van der Torre
Leon van der Torre
Edit Dates
01/22/99 10:41:12 AM
04/02/98 07:22:23 PM
25/11/97 14:31:02
25/11/97 14:28:12
25/11/97 14:12:14