Using Defeasible Information to Obtain Coherence

Casini, Giovanni and Meyer, Thomas (2016) Using Defeasible Information to Obtain Coherence, Proceedings of Fifteenth International Conference on Principles of Knowledge Representation and Reasoining (KR), 25-29 April 2016, Cape Town, South Africa, 537-540, AAAI Press.

[img] PDF

Download (291kB)


We consider the problem of obtaining coherence in a propositional knowledge base using techniques from Belief Change. Our motivation comes from the field of formal ontologies where coherence is interpreted to mean that a concept name has to be satisfiable. In the propositional case we consider here, this translates to a propositional formula being satisfiable. We define be- lief change operators in a framework of nonmonotonic preferential reasoning. We show how the introduction of defeasible information using contraction operators can be an effective means for obtaining coherence.

Item Type: Conference paper
Subjects: Computing methodologies > Artificial intelligence
Date Deposited: 29 Nov 2016
Last Modified: 10 Oct 2019 15:32

Actions (login required)

View Item View Item