Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Belief Change in a Preferential Non-Monotonic Framework
Casini, Giovanni; Meyer, Thomas
2017In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Peer reviewed
 

Files


Full Text
0129.pdf
Publisher postprint (165.11 kB)
Download

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.


All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Non-monotonic Reasoning; Belief Change; Logics for Knowledge Representation
Abstract :
[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.
Research center :
- Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Other
Disciplines :
Computer science
Author, co-author :
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
External co-authors :
yes
Language :
English
Title :
Belief Change in a Preferential Non-Monotonic Framework
Publication date :
August 2017
Event name :
The 26th International Joint Conference on Artificial Intelligence (IJCAI)
Event date :
from 19-08-2017 to 25-08-2017
Audience :
International
Main work title :
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Publisher :
International Joint Conferences on Artificial Intelligence
ISBN/EAN :
978-0-9992411-0-3
Pages :
929-935
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
European Projects :
H2020 - 690974 - MIREL - MIREL - MIning and REasoning with Legal texts
FnR Project :
FNR9181001 - Subjective And Objective Uncertainty In Description Logics, 2014 (01/07/2015-30/06/2017) - Giovanni Casini
Funders :
CE - Commission Européenne [BE]
Available on ORBilu :
since 09 August 2017

Statistics


Number of views
159 (5 by Unilu)
Number of downloads
147 (6 by Unilu)

Scopus citations®
 
6
Scopus citations®
without self-citations
0
OpenCitations
 
3

Bibliography


Similar publications



Contact ORBilu