OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Belief change operations: a short history of nearly everything, told in dynamic logic of propositional assignments

Herzig, Andreas Belief change operations: a short history of nearly everything, told in dynamic logic of propositional assignments. (2014) In: International Conference on Principles of Knowledge Representation and Reasoning - KR 2014, 20 July 2014 - 24 July 2014 (Vienna, Austria).

[img] (Document in English)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
249kB

Abstract

We examine several belief change operations in the light of Dynamic Logic of Propositional Assignments DL-PA. We show that we can encode in a systematic way update operations (such as Winslett’s ‘Possible Models Approach’) and revision operations (such as Dalal’s) as particular DL-PA programs. Every DL-PA formula being equivalent to a boolean formula, we obtain syntactical counterparts for all these belief change operations.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to AAAI editor. The definitive version is available at http://www.aaai.org/Press/Proceedings/kr14.php
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:07 Apr 2015 11:07

Repository Staff Only: item control page