A History Based Logic for Dynamic Preference Updates
History based models suggest a process-based approach to epistemic and temporal reasoning. In this work, we introduce preferences to history based models. Motivated by game theoretical observations, we discuss how preferences can dynamically be updated in history based models. Following, we consider arrow update logic and event calculus, and give history based models for these logics. This allows us to relate dynamic logics of history based models to a broader framework.
KeywordsHistory based models Preference logic Dynamic logic Arrow update logic Product update models
We acknowledge the input and feedback of David Pym and Gabriella Anderson for the early versions of this work. The work was carried out under the EPSRC project ALPUIS.
- Anderson, G., McCusker, G., & Pym, D. (2016). A logic for the compliance budget. In Q. Zhu, T. Alpcan, E. Panaousis, M. Tambe, & W. Casey (Eds.), Proceedings, GameSec 2016—Decision and game theory for security (pp. 370–381).Google Scholar
- Baltag, A., Moss, L., & Solecki, S. (1998). The logic of public announcements and common knowledge and private suspicions. In I. Gilboa (Ed.), Proceedings of the 7th conference on theoretical aspects of rationality and knowledge, TARK 98 (pp. 43–56).Google Scholar
- Başkent, C. (2011). A logic for strategy updates. In H. van Ditmarsch & J. Lang (Eds.), Proceedings of the third international workshop on logic, rationality and interaction (LORI-3), volume LNCS 6953 (pp. 382–383).Google Scholar
- Blackburn, P., de Rijke, M., & de Venema, Y. (2001). Modal logic. Cambridge Tracts in Theoretical Computer Science. Cambridge: Cambridge University Press.Google Scholar
- Fagin, R., Halpern, J. Y., Moses, Y., & Vardi, M. Y. (1995). Reasoning about knowledge. Cambridge: MIT Press.Google Scholar
- Gabbay, D. M., Kurucz, A., Wolter, F., & Zakharyaschev, M. (2003). Many dimensional modal logics: Theory and applications. Amsterdam: Elsevier.Google Scholar
- Gerbrandy, J. (1999). Bisimulations on planet Kripke. PhD thesis, Institute of Logic, Language and Computation; Universiteit van Amsterdam.Google Scholar
- Halpern, J. Y. (2008). Computer science and game theory: A brief survey. In S. N. Durlauf & L. E. Blume (Eds.), Palgrave dictionary of economics. London: Palgrave MacMillan.Google Scholar
- Halpern, J. Y. & Pass, R. (2017). A knowledge-based analysis of the blockchain protocol. In J. Lang (Ed.), Proceedings of the sixteenth conference on theoretical aspects of rationality and knowledge. TARK 2018, EPTCS 251 (pp. 324–335).Google Scholar
- Hodges, W. (2013) Logic and games. In Zalta, E. N. (Ed.), The Stanford encyclopedia of philosophy. Retrieved 2009, from http://plato.stanford.edu/archives/spr2009/entries/logic-games.
- Leyton-Brown, K., & Shoham, Y. (2008). Essentials of game theory. San Rafael: Morgan & Claypool.Google Scholar
- Moss, L. S. (2015). Dynamic epistemic logic. In H. van Ditmarsch, J. Y. Halpern, W. van der Hoek, & B. Kooi (Eds.), Handbook of epistemic logic (pp. 261–312). London: College Publications.Google Scholar
- Osborne, M. J., & Rubinstein, A. (1994). A course in game theory. Cambridge: MIT Press.Google Scholar
- Ramanujam, R., & Simon, S. (2008). Dynamic logic on games with structured strategies. In G. Brewka, & J. Lang (Eds.), Proceedings of the 11th international conference on principles of knowledge representation and reasoning. KR-08 (pp. 49–58).Google Scholar
- van Benthem, J., Gerbrandy, J., & Pacuit, E. (2007). Merging frameworks for interaction: Del and etl. In D. Samet (Ed.), Proceedings of tark 2007.Google Scholar
- van der Meyden, R. (1994). Axioms for knowledge and time in distributed systems with perfect recall. In Proceedings of IEEE symposium on logic in computer science (pp. 448–457).Google Scholar
- van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic Epistemic Logic. Berlin: Springer.Google Scholar