UCT CS Research Document Archive

Using Defeasible Information to Obtain Coherence

Casini, Giovanni and Thomas Meyer (2016) Using Defeasible Information to Obtain Coherence. In Baral, Chitta, James Delgrande and Frank Wolter, Eds. Proceedings Fifteenth International Conference on Principles of Knowledge Representation and Reasoining (KR), pages 537-540, Cape Town, South Africa.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.


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.

EPrint Type:Conference Paper
Subjects:I Computing Methodologies: I.2 ARTIFICIAL INTELLIGENCE
ID Code:1119
Deposited By:Meyer, Thomas
Deposited On:29 November 2016