PP-2006-45: van Benthem, Johan and Liu, Fenrong (2006) Dynamic logic of preference upgrade. [Report]
![[thumbnail of Full Text (PS)]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text (PS))
PP-2006-45.text.ps.gz Download (90kB) |
Preview |
Text (Full Text (PDF))
PP-2006-45.text.pdf Download (169kB) | Preview |
|
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 |
