Reference : Belief Change in a Preferential Non-Monotonic Framework
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Computational Sciences
http://hdl.handle.net/10993/31865
Belief Change in a Preferential Non-Monotonic Framework
English
Casini, Giovanni mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > Computer Science and Communications Research Unit (CSC) >]
Meyer, Thomas mailto [University of Cape Town > Computer Science]
Aug-2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
International Joint Conferences on Artificial Intelligence
929-935
Yes
International
978-0-9992411-0-3
The 26th International Joint Conference on Artificial Intelligence (IJCAI)
from 19-08-2017 to 25-08-2017
[en] Non-monotonic Reasoning ; Belief Change ; Logics for Knowledge Representation
[en] Belief change and non-monotonic reasoning are usually viewed as two sides of the same coin,
with results showing that one can formally be defined in terms of the other. In this paper we show that we can also integrate the two formalisms by studying belief change within a (preferential) non-monotonic framework. This integration relies heavily on the identification of the monotonic core of a non-monotonic framework. We consider belief change operators in a non-monotonic propositional
setting with a view towards preserving consistency. These results can also be applied to the preservation of coherence—an important notion within the field of logic-based ontologies. We show that the standard AGM approach to belief change can be adapted to a preferential non-monotonic framework, with the definition of expansion, contraction, and revision operators, and corresponding representation results. Surprisingly, preferential AGM belief change, as defined here, can be obtained in terms of classical AGM belief change.
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Other
Researchers
http://hdl.handle.net/10993/31865
10.24963/ijcai.2017/129
The paper is originally published in the Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (ISBN: 978-0-9992411-0-3), published by International Joint Conferences on Artificial Intelligence. The original publication is available at https://www.ijcai.org/proceedings/2017/129.
H2020 ; 690974 - MIREL - MIREL - MIning and REasoning with Legal texts
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):

FileCommentaryVersionSizeAccess
Open access
0129.pdfPublisher postprint161.24 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.