Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Using Defeasible Information to Obtain Coherence
Casini, Giovanni; Meyer, Thomas
2016In Baral, Chitta; Delgrande, James; Wolter, Frank (Eds.) Proceedings of the 15th International Conference on Principle of Knowledge Representation and Reasoning (KR-16)
Peer reviewed
 

Files


Full Text
Revision RC-short draft - PREPRINT.pdf
Author preprint (218.6 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
logic; nonmonotonic reasoning; belief revision
Abstract :
[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.
Disciplines :
Computer science
Author, co-author :
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
External co-authors :
yes
Language :
English
Title :
Using Defeasible Information to Obtain Coherence
Publication date :
April 2016
Event name :
15th International Conference on Principle of Knowledge Representation and Reasoning (KR-16)
Event place :
Cape Town, South Africa
Event date :
25-29 April 2016
Audience :
International
Main work title :
Proceedings of the 15th International Conference on Principle of Knowledge Representation and Reasoning (KR-16)
Editor :
Baral, Chitta
Delgrande, James
Wolter, Frank
Publisher :
AAAI Press
ISBN/EAN :
978-1-57735-755-1
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
FnR Project :
FNR9181001 - Subjective And Objective Uncertainty In Description Logics, 2014 (01/07/2015-30/06/2017) - Giovanni Casini
Available on ORBilu :
since 26 March 2017

Statistics


Number of views
72 (15 by Unilu)
Number of downloads
70 (12 by Unilu)

Scopus citations®
 
4
Scopus citations®
without self-citations
1

Bibliography


Similar publications



Contact ORBilu