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).
![]() |
(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 - Toulouse INP (FRANCE) French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (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 On: | 07 Apr 2015 11:07 |
Repository Staff Only: item control page