Dynamic logic of preference upgrade. (English) Zbl 1186.03034
Summary: 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’.
MSC:
| 03B42 | Logics of knowledge and belief (including belief change) |
| 68T27 | Logic in artificial intelligence |
References:
| [1] | Aqvist L., Introduction to Deontic Logic and the Theory of Normative Systems (1987) |
| [2] | Aucher G., A Combination System for Update Logic and Belief Revision (2003) |
| [3] | Baltag A., Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 98) pp 43– |
| [4] | Belnap N., Facing the Future (2001) |
| [5] | DOI: 10.1017/CBO9781107050884 · doi:10.1017/CBO9781107050884 |
| [6] | Boutilier C., Artificial Intelligence 68 pp 87– (1994) · Zbl 0811.68114 · doi:10.1016/0004-3702(94)90096-5 |
| [7] | de Jongh D., Proceedings of the Workshop on Rationality and Knowledge |
| [8] | DOI: 10.1093/logcom/exi043 · Zbl 1092.03016 · doi:10.1093/logcom/exi043 |
| [9] | Fagin R., Reasoning about Knowledge (1995) |
| [10] | Gerbrandy J., Bisimulations on Planet Kripke (1999) |
| [11] | Grove A., Journal of Philosophical Logic 17 pp 157– (1988) · Zbl 0639.03025 · doi:10.1007/BF00247909 |
| [12] | Halpern J. Y., Journal of Artificial Intelligence Research 7 pp 1– (1997) |
| [13] | Hanson S., Journal of Philosophical Logic 19 pp 75– (1990) |
| [14] | DOI: 10.1007/BF01083166 · Zbl 0835.90001 · doi:10.1007/BF01083166 |
| [15] | Hansson S. O., The Structure of Values and Norms (2001) · Zbl 0983.03002 · doi:10.1017/CBO9780511498466 |
| [16] | Harel D., Dynamic Logic (2000) |
| [17] | Harrenstein P., Logic in Conflict. Logical Explorations in Strategic Equilibrium (2004) |
| [18] | Liu F., Dynamic Variations: Update and Revision for Diverse Agents (2004) |
| [19] | Liu F., Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 06) |
| [20] | Liu F., Preference Changes in Games (2006) |
| [21] | DOI: 10.1305/ndjfl/1093637776 · Zbl 0695.03009 · doi:10.1305/ndjfl/1093637776 |
| [22] | Nayak A., Erkentnis 41 pp 353– (1994) · doi:10.1007/BF01130759 |
| [23] | Pacuit E., Knowledge, Rationality and Action (Synthese) (2006) |
| [24] | Prince A., Optimality Theory: Constraint Interaction in Generative Grammar (1993) |
| [25] | Pucella R., Proceedings FoSSaCS-7 pp 453– |
| [26] | Rohde P., On Games and Logics over Dynamically Changing Structures (2005) |
| [27] | Rott H., Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg pp 359– (2006) |
| [28] | DOI: 10.1111/j.1088-4963.1997.tb00053.x · doi:10.1111/j.1088-4963.1997.tb00053.x |
| [29] | Snyder J., Product Update for Agents with Bounded Memory (2004) |
| [30] | Spohn W., Causation in Decision, Belief Change and Statistics II pp 105– (1988) · doi:10.1007/978-94-009-2865-7_6 |
| [31] | van Benthem J., Exploring Logical Dynamics (1996) |
| [32] | DOI: 10.3166/jancl.17.129-155 · Zbl 1186.03033 · doi:10.3166/jancl.17.129-155 |
| [33] | van Benthem J., Ceteris Paribus Preference Logic (2006) |
| [34] | van Benthem J., Philosophia Scientiae 8 (2) pp 163– (2004) · doi:10.4000/philosophiascientiae.571 |
| [35] | van Benthem J., Dynamic Logic of Preference Upgrade (2005) · Zbl 1186.03034 |
| [36] | van Benthem J., Changing Preferences (1993) |
| [37] | van Benthem J., Information and Computation 204 (11) pp 1620– · Zbl 1120.03012 · doi:10.1016/j.ic.2006.04.006 |
| [38] | van Benthem J., Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg pp 61– (2006) |
| [39] | van der Meyden R., Journal of Logic and Computation 6 (3) pp 465– (1996) · Zbl 0855.03008 · doi:10.1093/logcom/6.3.465 |
| [40] | van der Torre L., Norms, Logics and Information Systems pp 73– (1999) |
| [41] | van Ditmarsch H., Dynamic Epistemic Logic, vol. 337 of Synthese Library (2007) · Zbl 1156.03015 · doi:10.1007/978-1-4020-5839-4 |
| [42] | DOI: 10.1007/BF00248150 · Zbl 0860.03025 · doi:10.1007/BF00248150 |
| [43] | von Wright G. H., The Logic of Preference (1963) |
| [44] | Yamada T., Proceedings 7th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII) |
| [45] | Zarnic B., Uppsala philosophical studies 51, in: Logic, Law, Morality: Thirteen Essays in Practical Philosophy in Honour of Lennart Aqvist pp 79– (2003) |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
