MoL-2012-16: Abnormality Counts!

MoL-2012-16: Knoks, Aleks (2012) Abnormality Counts! [Report]

Text (Full Text)

Download (426kB) | Preview
[img] Text (Abstract)

Download (868B)


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

Actions (login required)

View Item View Item