English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  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

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3A04-D Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3A06-9
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
van der Torre, Leendert W. N.1, Author
Tan, Yao-Hua, Author
Affiliations:
1Max Planck Society, ou_persistent13              

Content

show
hide
Free keywords: -
 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.

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121997
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519633
Other: Local-ID: C1256104005ECAFC-E85E4DE0E0634AA7C125655A004887B3-Torre97c
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Freiburg
Start-/End Date: 1997

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence
Source Genre: Proceedings
 Creator(s):
Brewka, Gerhard, Editor
Habel, Christopher, Editor
Nebel, Bernhard, Editor
Affiliations:
-
Publ. Info: Berlin, Germany : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 405 - 408 Identifier: ISBN: 3-540-63493-2

Source 2

show
hide
Title: Lecture Notes in Artificial Intelligence
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 1303 Sequence Number: - Start / End Page: - Identifier: -