Abstract
We present a logical approach to intention change. Inspired by Bratman’s theory, we define intention as the choice to perform a given action at a certain time point in the future. This notion is modeled in a modal logic containing a temporal modality and modal operators for belief and choice. Intention change is then modeled by a specific kind of dynamic operator, that we call ‘local assignment’. This is an operation on the model that changes the truth value of atomic formulae at specific time points. Two particular kinds of intention change are considered in some detail: intention generation and intention reconsideration.
This paper is an extended version of [21].
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
Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge and private suspicions. In: Proceedings of TARK 1998, pp. 43–56. Morgan Kaufmann, San Francisco (1998)
Bell, J., Huang, Z.: Dynamic goal hierarchies. Intelligent Agent Systems Theoretical and Practical Issues, 88–103 (1997)
van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation 204(11), 1620–1662 (2006)
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 University Press, Cambridge (2001)
Bratman, M.: Intentions, plans, and practical reason. Harvard University Press, Cambridge (1987)
Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cognitive Science Quarterly 2(3-4), 431–450 (2002); special issue on Desires, goals, intentions, and values: Computational architectures
Cleaver, T.W., Sattar, A.: Intention guided belief revision. In: Proceedings of AAAI 2007, pp. 36–41. AAAI Press, Menlo Park (2007)
Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)
Dignum, F., Kinny, D.: From desires, obligations and norms to goals. Cognitive Science Quarterly 2(3-4), 407–430 (2002)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library Series, vol. 337. Springer, Heidelberg (2007)
van Ditmarsch, H., Kooi, B.: Semantic results for ontic and epistemic change. In: Logic and the Foundations of Game and Decision Theory (LOFT 7)., pp. 87–117. Texts in Logic and Games, Amsterdam University Press (2008)
Dunin-Keplicz, B., Verbrugge, R.: Collective intentions. Fundamenta Informaticae 51(3), 271–295 (2002)
Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
Georgeff, M.P., Rao, A.S.: The semantics of intention maintenance for rational agents. In: Proceedings of IJCAI 1995, pp. 704–710 (1995)
Van der Hoek, W., Jamroga, W., Wooldridge, M.: Towards a theory of intention revision. Synthese 155(2), 265–290 (2007)
Icard, T., Pacuit, E., Shoham, Y.: Joint revision of beliefs and intention. In: Proceedings of KR 2010, pp. 572–574 (2010)
Khan, S.M., Lesperance, Y.: A logical framework for prioritized goal change. In: Proceedings of AAMAS 2010, pp. 283–290 (2010)
Liu, F.: Changing for the Better: Preference Dynamics and Agent Diversity. Ph.D. thesis, University of Amsterdam (2008)
Lorini, E., Herzig, A.: A logic of intention and attempt. Synthese 163(1), 45–77 (2008)
Lorini, E., van Ditmarsch, H., de Lima, T.: Logical model of intention and plan dynamics. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) Proceedings of ECAI 2010, pp. 1075–1076. IOS Press, Amsterdam (2010)
Meyer, J.J.C., van der Hoek, W., van Linder, B.: A logical approach to the dynamics of commitments. Artificial Intelligence 113(1-2), 1–40 (1999)
Rao, A.S., Georgeff, M.P.: Modelling rational agents within a BDI-architecture. In: Proceedings of KR 1991, pp. 473–484. Morgan Kaufmann, San Francisco (1991)
Rodenhäuser, B.: Intentions in interaction. In: Proceedings of LOFT 2010 (2010)
Sahlqvist, H.: Completeness and correspondence in the first and second order semantics for modal logics. In: Proceedings of the 3rd Scandinavian Logic Symposium 1973, Studies in Logic, vol. (82) (1975)
Shoham, Y.: Logics of intention and the database perspective. Journal of Philosophical Logic 38(6), 633–647 (2009)
Singh, M., Asher, N.: A logic of intentions and beliefs. Journal of Philosophical Logic 22, 513–544 (1993)
Von Wright, G.H.: On so-called practical inference. The Philosophical Review 15, 39–53 (1972)
Wooldridge, M.: Reasoning about rational agents. MIT Press, Cambridge (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Ditmarsch, H., de Lima, T., Lorini, E. (2011). Intention Change via Local Assignments. In: Dastani, M., El Fallah Seghrouchni, A., Hübner, J., Leite, J. (eds) Languages, Methodologies, and Development Tools for Multi-Agent Systems. LADS 2010. Lecture Notes in Computer Science(), vol 6822. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22723-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-22723-3_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22722-6
Online ISBN: 978-3-642-22723-3
eBook Packages: Computer ScienceComputer Science (R0)