Arbitrary Ranking of Defeasible Subsumption

Casini, Giovanni and Harrison, Michael and Meyer, Thomas and Swan, Reid (2019) Arbitrary Ranking of Defeasible Subsumption, Proceedings of The International Workshop on Description Logics, 18-21 June, Oslo, Norway, CEUR.

[img] Text

Download (560kB)


In this paper we propose an algorithm that generalises existing procedures for the implementation of defeasible reasoning in the framework of Description Logics (DLs). One of the well-known approaches to defeasible reasoning, the so-called KLM approach, is based on constructing specific rankings of defeasible information, and using these rankings to determine priorities in case of conflicting information. Here we propose a procedure that allows us to input any possible ranking of the defeasible concept inclusions contained in the knowledge base. We analyse and investigate the forms of defeasible reasoning obtained when conclusions drawn are obtained using these rankings.

Item Type: Conference paper
Subjects: Computing methodologies > Artificial intelligence > Knowledge representation and reasoning
Date Deposited: 15 Jan 2020 11:29
Last Modified: 15 Jan 2020 11:29

Actions (login required)

View Item View Item