| 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  [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > Computer Science and Communications Research Unit (CSC) >] | |
| Meyer, Thomas [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):
| ||||||||||||||
All documents in ORBilu are protected by a user license.
