Abstract
The aim of this work is to propose a model-theoretic semantics and a complete logic for the dynamics of commitments. In the first part of the article, a formalization of the concept of social commitment in STIT logic is presented. STIT is one of the most prominent formal accounts of agency. It is the logic of constructions of the form “agent i sees to it that ϕ”. In the second part, the article presents an extension of STIT logic by dynamic operators which enable to describe two basic operations on commitment: commitment creation and commitment cancelation. The logic is used to develop an axiomatic and semantic analysis of commitment change in multi-agent systems.
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
Anderson, A.: A reduction of deontic logic to alethic modal logic. Mind 22, 100–103 (1958)
Balbiani, P., Herzig, A., Troquard, N.: Alternative axiomatics and complexity of deliberative STIT theories. Journal of Philosophical Logic 37(4), 387–406 (2008)
Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge and private suspicions. In: Proc. of TARK’98, pp. 43–56 (1998)
Bartha, P.: Conditional obligation, deontic paradoxes, and the logic of agency. Annals of Mathematics and Artificial Intelligence 9, 1–23 (1993)
Belnap, N., Perloff, M., Xu, M.: Facing the future: agents and choices in our indeterminist world. Oxford University Press, New York (2001)
Bentahar, J., Muolin, B., Meyer, J.-J.C., Chaib-draa, B.: A logical model for commitment and argument network for agent communication. In: Proc. of AAMAS 2004, pp. 792–799. ACM Press, New York (2004)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Castelfranchi, C.: Commitment: from individual intentions to groups and organizations. In: Proc. of ICMAS’95, pp. 528–535. MIT Press, Cambridge (1995)
Chellas, B.J.: Time and modality in the logic of agency. Studia Logica 51, 485–517 (1992)
Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)
Desai, N., Narendra, N.C., Singh, M.P.: Checking correctness of business contracts via commitments. In: Proc. of AAMAS 2008, pp. 787–794. ACM Press, New York (2008)
Dignum, F.: Autonomous agents with norms. Artificial Intelligence and Law 7, 69–79 (1999)
Grossi, D., Meyer, J.-J.C., Dignum, F.: Classificatory aspects of counts-as: An analysis in modal logic. Journal of Logic and Computation 16(5), 613–643 (2006)
Herrestad, H., Krogh, C.: Obligations directed from bearers to counterparties. In: Proc. of the Fifth International Conference on Artificial intelligence and law, pp. 210–218. ACM Press, New York (1995)
Horty, J.F., Belnap, N.: The deliberative STIT: A study of action, omission, and obligation. Journal of Philosophical Logic 24(6), 583–644 (1995)
Jones, A., Sergot, M.J.: A formal characterization institutionalised power. Journal of the IGPL 4, 429–445 (1996)
Kanger, S., Kanger, H.: Rights and parliamentarism. Theoria 6(2), 85–115 (1966)
Khan, S.M., Lésperance, Y.: On the semantics of conditional commitment. In: Proc. of AAMAS 2006, pp. 1337–1344 (2006)
Lindahl, L.: Stig Kanger’s theory of rights. In: Prawitz, D., Skyrms, B., Westeråhl, D. (eds.) Logic, Methodology and Philosophy of Science, vol. IX. Elsevier, Amsterdam (1994)
Lorini, E., Dastani, M., van Ditmarsch, H., Herzig, A., Meyer, J.-J.C.: Intentions and assignments. In: He, X., Horty, J., Pacuit, E. (eds.) LORI 2009. LNCS, vol. 5834, pp. 198–211. Springer, Heidelberg (2009)
Makinson, D.: On the formal representation of rights relations: remarks on the work of Stig Kanger and Lars Lindahl. The Journal of Philosophical Logic 15, 403–425 (1986)
Singh, M.P.: An ontology for commitments in multiagent systems. Artificial Intelligence and Law 7, 97–113 (1999)
Singh, M.P.: Semantical considerations on dialectical and practical commitments. In: Proc. of AAAI’08, pp. 176–181. AAAI Press, Menlo Park (2008)
van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation 204(11), 1620–1662 (2006)
van Ditmarsch, H., Herzig, A., Lang, J., Marquis, P.: Introspective forgetting. Synthese 169(2), 405–423 (2009)
van Ditmarsch, H., Kooi, B.: Semantic results for ontic and epistemic change. In: Proc. of LOFT, vol. 7, pp. 87–117 (2008)
Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. In: Proc. of AAMAS 2003, pp. 528–535. ACM Press, New York (2003)
Xu, M.: Axioms for deliberative STIT. Journal of Philosophical Logic 27, 505–552 (1998)
Yolum, P., Singh, M.: Commitment machines. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, p. 235. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lorini, E. (2010). A Logical Analysis of Commitment Dynamics. In: Governatori, G., Sartor, G. (eds) Deontic Logic in Computer Science. DEON 2010. Lecture Notes in Computer Science(), vol 6181. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14183-6_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-14183-6_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14182-9
Online ISBN: 978-3-642-14183-6
eBook Packages: Computer ScienceComputer Science (R0)