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 ![]() | |
Meyer, Thomas ![]() | |
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.