PP-2006-45: Dynamic logic of preference upgrade

PP-2006-45: van Benthem, Johan and Liu, Fenrong (2006) Dynamic logic of preference upgrade. [Report]

[img] Text (Full Text (PS))
PP-2006-45.text.ps.gz

Download (90kB)
[img]
Preview
Text (Full Text (PDF))
PP-2006-45.text.pdf

Download (169kB) | Preview
[img] Text (Abstract)
PP-2006-45.abstract.txt

Download (937B)

Abstract

Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands `upgrade' our preferences by changing the current order among worlds. We present a complete logic of knowledge update plus preference upgrade that works with dynamic-epistemic-style reduction axioms. This system can model changing obligations, conflicting commands, or `regret'. We then show how to derive reduction axioms from arbitrary definable relation changes. This style of analysis also has a product update version with preferences between actions, as well as worlds. Some illustrations are presented involving defaults and obligations. We conclude that our dynamic framework is viable, while admitting a further extension to more numerical `utility update'.

Item Type: Report
Report Nr: PP-2006-45
Series Name: Prepublication (PP) Series
Year: 2006
Uncontrolled Keywords: preference upgrade; informaion update; dynamic logic
Subjects: Logic
Depositing User: fenrong
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/220

Actions (login required)

View Item View Item