MoL-2012-16: Knoks, Aleks (2012) Abnormality Counts! [Report]
Preview |
Text (Full Text)
MoL-2012-16.text.pdf Download (426kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
MoL-2012-16.abstract.txt Download (868B) |
Abstract
Defeasible inheritance networks provide a fruitful environment for
modeling default reasoning. In this paper we aim to enhance their
expressive power with the idea of abnormality minimisation, which
plays a crucial role in circumscription. We implement it in two
alternative network-based frameworks. The first is in line with the
received way of modeling default reasoning by means of inheritance
nets, that is to say, it is path-based or direct. The second relies on
a set of non-monotonic inference rules. In both we are able to say
that an object is abnormal with respect to a certain default
statement, and, consequently, single out the conclusion sets that
imply the least number of abnormalities. We consider some cases
indicating that exactly these sets are the intuitively correct ones.
| Item Type: | Report |
|---|---|
| Report Nr: | MoL-2012-16 |
| Series Name: | Master of Logic Thesis (MoL) Series |
| Year: | 2012 |
| Uncontrolled Keywords: | Logic, Philosophy |
| Depositing User: | Tanja Kassenaar |
| Date Deposited: | 12 Oct 2016 14:38 |
| Last Modified: | 12 Oct 2016 14:38 |
| URI: | https://eprints.illc.uva.nl/id/eprint/882 |
Actions (login required)
 |
View Item |
