| Reference : Using Defeasible Information to Obtain Coherence |
| Scientific congresses, symposiums and conference proceedings : Paper published in a book | |||
| Engineering, computing & technology : Computer science | |||
| Computational Sciences | |||
| http://hdl.handle.net/10993/30341 | |||
| Using Defeasible Information to Obtain Coherence | |
| English | |
Casini, Giovanni  [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >] | |
| Meyer, Thomas [University of Cape Town > Computer Science] | |
| Apr-2016 | |
| Proceedings of the 15th International Conference on Principle of Knowledge Representation and Reasoning (KR-16) | |
| Baral, Chitta | |
| Delgrande, James | |
| Wolter, Frank | |
| AAAI Press | |
| Yes | |
| International | |
| 978-1-57735-755-1 | |
| 15th International Conference on Principle of Knowledge Representation and Reasoning (KR-16) | |
| 25-29 April 2016 | |
| Cape Town | |
| South Africa | |
| [en] logic ; nonmonotonic reasoning ; belief revision | |
| [en] 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 belief 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. | |
| Researchers | |
| http://hdl.handle.net/10993/30341 | |
| FnR ; FNR9181001 > Giovanni Casini > SOUL > Subjective and Objective Uncertainty in Description Logics > 01/07/2015 > 30/06/2017 > 2014 |
| File(s) associated to this reference | ||||||||||||||
|
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.
