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
Using Defeasible Information to Obtain Coherence
Casini, Giovanni mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Meyer, Thomas mailto [University of Cape Town > Computer Science]
Proceedings of the 15th International Conference on Principle of Knowledge Representation and Reasoning (KR-16)
Baral, Chitta
Delgrande, James
Wolter, Frank
AAAI Press
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.
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):

Open access
Revision RC-short draft - PREPRINT.pdfAuthor preprint213.48 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.