PP-2013-13: Bastiaanse, Harald and Veltman, Frank (2013) Making the Right Exceptions. [Report]
Preview |
Text (Full Text)
PP-2013-13.text.pdf Download (445kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2013-13.abstract.txt Download (551B) |
Abstract
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 |
