Reference : A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/37394

Title :	A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework
Language :	English
Author, co-author :	Casini, Giovanni [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Ferme, Eduardo [Universidade da Madeira > NOVA-LINCS > > Associate Professor]
	Meyer, Thomas [University of Cape Town > Computer Science > > Full Professor]
	Varzinczak, Ivan [Universite d'Artois & CNRS > Computer Science > > Maitre de conference]
Publication date :	2018
Main document title :	Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
Publisher :	AAAI Press
Pages :	220-229
Peer reviewed :	Yes
Audience :	International
ISBN :	978-1-57735-803-9
City :	Palo Alto
Country :	California, USA
Event name :	16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
Event date :	27 October-2 November 2018
Event place (city) :	Tempe
Event country :	Arizona, USA
Keywords :	[en] nonmonotonic logic ; Defeasible reasoning ; belief revision
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 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.
Target :	Researchers
Permalink :	http://hdl.handle.net/10993/37394
Other URL :	https://aaai.org/Library/KR/kr18contents.php
Framework Programme / European Project :	H2020 ; 690974 - MIREL - MIREL - MIning and REasoning with Legal texts

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access KR-2018 preprint (1).pdf Author preprint 485.76 kB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map