Abstract
In recent work Xiong and Seligman [1,2] introduced a logic for reasoning about preferences and decision making in a setting where the agent focuses on a subset of all alternatives (such as possible workshops to submit her paper to), and where new alternatives can come into focus as the result of questions of the type “have you considered IJCAI workshops?” being asked. An axiomatization of the logic is presented and proved complete. The purpose of the current paper is twofold. First, we present an alternative semantics for the key language constructs proposed in [2], basically differing in representing the alternatives under consideration semantically rather than syntactically. We argue that in some cases this semantics captures the intended meaning better. Second, we present a “direct” sound and complete axiomatization of a preference logic based on this semantics, without using hybrid logic techniques.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Xiong, Z., Seligman, J.: How questions guide choices: A preliminary logical investigation. In: Wang, D., Reynolds, M. (eds.) AI 2011. LNCS, vol. 7106, pp. 462–471. Springer, Heidelberg (2011)
Xiong, Z., Seligman, J.: Open and closed questions in decision-making, 278th edn. Electronic Notes in Theoretical Computer Science, pp. 261–274 (2011)
Halldén, S.: On The Logic of ‘Better’. CWK Gleerup (1957)
von Wright, G.H.: The Logic of Preference: An Essay, Edinburgh (1963)
Girard, P.: Modal Logic for Belief and Preference Change. PhD thesis, Standford University (2008)
van Benthem, J., Girard, P., Roy, O.: Everything else being equal: A modal logic for ceteris paribus preferences. Journal of Philosophical Logic 38(1), 83–125 (2009)
van Benthem, J., Minică, Ş.: Toward a dynamic logic of questions. In: He, X., Horty, J., Pacuit, E. (eds.) LORI 2009. LNCS, vol. 5834, pp. 27–41. Springer, Heidelberg (2009)
Plaza, J.A.: Logics of public communications. In: Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems (ISMIS 1989), pp. 201–216 (1989)
van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. Journal of Applied Non-Classical Logics 17(2), 157–182 (2007)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic, Cambridge (2001)
Ågotnes, T., van der Hoek, W., Wooldridge, M.: Reasoning about coalitional games. Artificial Intelligence 173(1), 45–79 (2009)
Wáng, Y.N., Ågotnes, T.: Subset space public announcement logic. In: Lodaya, K. (ed.) Logic and Its Applications. LNCS, vol. 7750, pp. 245–257. Springer, Heidelberg (2013)
Wáng, Y.N., Ågotnes, T.: Multi-agent subset space logic. In: Proceedings of 23rd International Joint Conference on Artificial Intelligence (to appear, 2013)
Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., de Lima, T.: ‘knowable’ as ‘known after an announcement’. The Review of Symbolic Logic 1(3), 305–334 (2008)
French, T., van Ditmarsch, H.: Undecidability for arbitrary public announcement logic. In: Areces, C., Goldblatt, R. (eds.) Advances in Modal Logic, vol. 7, pp. 23–42. College Publications (2008)
Heifetz, A., Meier, M., Schipper, B.C.: Interactive unawareness. Journal of Economic Theory 130(1), 78–94 (2006)
Sillari, G.: Models of awareness. In: Proceedings of The 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), pp. 209–218 (2006)
Board, O., Chung, K.-S.: Object-based unawareness. In: Proceedings of The 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), pp. 35–41 (2006)
van Ditmarsch, H., French, T.: Becoming aware of propositional variables. In: Banerjee, M., Seth, A. (eds.) Logic and Its Applications. LNCS, vol. 6521, pp. 204–218. Springer, Heidelberg (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wáng, Y., Ågotnes, T. (2013). Preference Logic of Focus Change: A Semantic Approach. In: Chesñevar, C.I., Onaindia, E., Ossowski, S., Vouros, G. (eds) Agreement Technologies. Lecture Notes in Computer Science(), vol 8068. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39860-5_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-39860-5_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39859-9
Online ISBN: 978-3-642-39860-5
eBook Packages: Computer ScienceComputer Science (R0)