Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Reasoning about exceptions

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.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3A04-D Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3A06-9
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
van der Torre, Leendert W. N.1, Autor
Tan, Yao-Hua, Autor
Affiliations:
1Max Planck Society, ou_persistent13              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: 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.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121997
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519633
Anderer: Local-ID: C1256104005ECAFC-E85E4DE0E0634AA7C125655A004887B3-Torre97c
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Freiburg
Start-/Enddatum: 1997

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence
Genre der Quelle: Konferenzband
 Urheber:
Brewka, Gerhard, Herausgeber
Habel, Christopher, Herausgeber
Nebel, Bernhard, Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 405 - 408 Identifikator: ISBN: 3-540-63493-2

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Artificial Intelligence
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 1303 Artikelnummer: - Start- / Endseite: - Identifikator: -