Reference : A Semantic Perspective on 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/37394
A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework
English
Casini, Giovanni mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Ferme, Eduardo mailto [Universidade da Madeira > NOVA-LINCS > > Associate Professor]
Meyer, Thomas mailto [University of Cape Town > Computer Science > > Full Professor]
Varzinczak, Ivan mailto [Universite d'Artois & CNRS > Computer Science > > Maitre de conference]
2018
Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
AAAI Press
220-229
Yes
International
978-1-57735-803-9
Palo Alto
California, USA
16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
27 October-2 November 2018
Tempe
Arizona, USA
[en] nonmonotonic logic ; Defeasible reasoning ; belief revision
[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 investigate the integration of the two formalisms by studying belief change for a (preferential) non-monotonic framework. We show that the standard AGM approach to be- lief change can be transferred to a preferential non-monotonic framework in the sense that change operations can be defined on conditional knowledge bases. We take as a point of depar- ture the results presented by Casini and Meyer (2017), and we develop and extend such results with characterisations based on semantics and entrenchment relations, showing how some of the constructions defined for propositional logic can be lifted to our preferential non-monotonic framework.
Researchers
http://hdl.handle.net/10993/37394
https://aaai.org/Library/KR/kr18contents.php
H2020 ; 690974 - MIREL - MIREL - MIning and REasoning with Legal texts

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
KR-2018 preprint (1).pdfAuthor preprint485.76 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.