PP-2013-13: Making the Right Exceptions

PP-2013-13: Bastiaanse, Harald and Veltman, Frank (2013) Making the Right Exceptions. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (445kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (551B)


This paper provides a principled answer to the question of how to deal with conflicting default rules. It does so in two ways: semantically within a circumscriptive theory, and syntactically by supplying an algorithm for inheritance networks. Arguments that can be expressed in both frameworks are valid on the circumscriptive account if and only if the inheritance algorithm has a positive outcome.

Item Type: Report
Report Nr: PP-2013-13
Series Name: Prepublication (PP) Series
Year: 2013
Uncontrolled Keywords: defaults; non-monotonic logic; circumscription; inheritance nets
Subjects: Logic
Depositing User: Frank Veltman
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/485

Actions (login required)

View Item View Item