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.
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|
|Deposited By:||Meyer, Thomas|
|Deposited On:||29 November 2016|