PP-2006-45: Dynamic logic of preference upgrade

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

[thumbnail of Full Text (PS)] Text (Full Text (PS))

Download (90kB)
[thumbnail of Full Text (PDF)]
Text (Full Text (PDF))

Download (169kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (937B)


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