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]](http://pubs.cs.uct.ac.za/style/images/fileicons/application_pdf.png) |
PDF
casini-meyer-KR2016.pdf Download (291kB) |
Abstract
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 |
| URI: | http://pubs.cs.uct.ac.za/id/eprint/1119 |
Actions (login required)
 |
View Item |