Abstract
Existing approaches about defining formal semantics of commitment usually consider operations as axioms or constrains on top of the commitment semantics, which fail to capture the meaning of interactions that are central to real-life business scenarios. Furthermore, existing semantic frameworks using different logics do not gather the full semantics of commitment operations and semantics of social commitments within the same framework. This paper develops a novel unified semantic model for social commitments and their operations. It proposes a logical model based on a new logic extending CTL * with commitments and operations to specify agent interactions. We also propose a new definition of assignment and delegation operations by considering the relationship between the original and new commitment contents. We prove that the proposed model satisfies some properties that are desirable when modeling agent interactions in MASs and introduce a NetBill protocol as a running example to clarify the automatic verification of this model. Finally, we present an implementation and report on experimental results of this protocol using the NuSMV and MCMAS symbolic model checkers.
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
Bentahar, J., Moulin, B., Meyer, J.-J.C., Chaib-draa, B.: A Logical Model for Commitment and Argument Network for Agent Communication. In: 3rd International Joint Conference on AAMAS, pp. 792–799 (2004)
Bentahar, J., Moulin, B., Meyer, J.-J.C., Lespérance, Y.: A New Logical Semantics for Agent Communication. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol. 4371, pp. 151–170. Springer, Heidelberg (2007)
Bentahar, J., Meyer, J.-J.C., Wan, W.: Model Checking Communicative Agent-based Systems. Knowledge-Based Systems, Special Issue on Intelligent Software Design 22(3), 142–159 (2009)
Boella, G., Damiano, R., Hulstijn, J., Torre, L.: Distinguishing Propositional and Action Commitment in Agent Communication. In: Workshop of Computational Modeles of Natural Argument, CMNA 2007 (2007)
Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An Open Source Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 241–268. Springer, Heidelberg (2002)
Cheng, Z.: Verifying Commitment based Business Protocols and their Compositions: Model Checking using Promela and Spin. PhD. thesis, North Carolina State University (2006)
Chopra, A.K., Singh, M.P.: Constitutive Interoperability. In: 7th International Joint Conference on AAMAS, vol. 2, pp. 797–804. ACM Press, New York (2008)
Chopra, A.K., Singh, M.P.: Multiagent Commitment Alignment. In: 8th International Joint Conference on AAMAS, vol. 2, pp. 937–944. ACM Press, New York (2009)
Chopra, A.K., Singh, M.P.: Nonmonotonic Commitment Machines. In: Dignum, F. (ed.) ACL 2003. LNCS (LNAI), vol. 2922, pp. 183–200. Springer, Heidelberg (2004)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
Desai, N., Chopra, A.K., Singh, M.P.: Representing and Reasoning About Commitments in Business Processes. In: 22nd AAAI Conference on Artificial Intelligence, pp. 1328–1333 (2007)
Emerson, E.A., Halpern, J.Y.: Sometimes and Not Never, Revisited: on Branching versus Linear Time Temporal Logic. Journal of ACM 33(1), 151–178 (1986)
Huhns, M., Bridgeland, D.M.: Multi-Agent Truth Maintenance. IEEE Transactions on Systems, Man, and Cybernetics 21(6) (1991)
Fornara, N., Colombetti, M.: Operational Specification of a Commitment-based Agent Communication Language. In: 1st International Joint Conference on AAMAS, pp. 535–542 (2002)
Fornara, N., Viganò, F., Verdicchio, M., Colombetti, M.: Artificial Institutions: A Model of Institutional Reality for Open Multiagent Systems. AI and Law 16(1), 89–105 (2008)
Lomuscio, A., Raimondi, F.: MCMAS: A Model Checker for Multi-Agent Systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 450–454. Springer, Heidelberg (2006)
Mallya, A.U., Yolum, P., Singh, M.P.: Resolving Commitments among Autonomous Agents. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol. 2922, pp. 166–182. Springer, Heidelberg (2004)
Mallya, A.U., Singh, M.P.: An Algebra for Commitment Protocols. Journal of Autonomous Agents and Multi-Agent Systems 14(2), 143–163 (2007)
El-Menshawy, M., Bentahar, J., Dssouli, R.: A New Semantics of Social Commitments using Branching Space-Time Logic. In: IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2009), Logics for Intelligent Agents and Multi-Agent Systems, vol. 3, pp. 492–496 (2009)
Shakil, M.K., Yves, L.: On the Semantics of Conditional Commitment. In: 5th International Joint Confernce on AAMAS, pp. 1337–1344 (2006)
Singh, M.P.: An Ontology for Commitments in Multi-Agent Systems: Toward a Unification of Normative Concepts. AI and Law 7, 97–113 (1999)
Singh, M.P.: A Social Semantics for Agent Communication Languages. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916, pp. 31–45. Springer, Heidelberg (2000)
Singh, M.P.: Semantical Considerations on Dialectical and Pratical Commitments. In: 23rd AAAI Confernce on Artificial Intelligence, pp. 176–181 (2008)
Singh, M.P.: Agent Communication Languages: Rethinking the Principles. IEEE Computer 31(12), 40–47 (1998)
Telang, P.R., Singh, M.P.: Business Modeling via Commitments. In: Vo, Q.B. (ed.) SOCASE 2009. LNCS, vol. 5907, pp. 111–125. Springer, Heidelberg (2009)
Torroni, P., Chesani, F., Mello, P., Montali, M.: Social Commitments in Time: Satisfied or Compensated. In: Baldoni, M., van Riemsdijk, M.B. (eds.) DALT 2009. LNCS (LNAI), vol. 5948, pp. 232–247. Springer, Heidelberg (2009)
Wooldridge, M.: Computationally Grounded Theories of Agency. In: 4th International Conference on Multi-Agent Systems (ICMAS 2000). IEEE Press, Los Alamitos (2000)
Venkatraman, M., Singh, M.P.: Verifying Compliance with Commitment Protocols: Enabling Open Web-Based Multiagent Systems. In: The Autonomous Agents and Multi-Agent Systems, vol. 3, pp. 217–236 (1999)
Verdicchio, M., Colombetti, M.: A Logical Model of Social Commitment for Agent Communication. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol. 2922, pp. 128–145. Springer, Heidelberg (2004)
Yolum, P., Singh, M.P.: Flexible Protocol Specification and Execution: Applying Event Calculus Planning using Commitments. In: 2nd International Joint Confernce on AAMAS, pp. 527–534 (2002)
Yolum, P.: Design Time Analysis of Multi-Agent Protocols. Journal of Data Knowladge Engineering 63(1), 137–154 (2007)
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
El-Menshawy, M., Bentahar, J., Dssouli, R. (2010). Verifiable Semantic Model for Agent Interactions Using Social Commitments. In: Dastani, M., El Fallah Segrouchni, A., Leite, J., Torroni, P. (eds) Languages, Methodologies, and Development Tools for Multi-Agent Systems. LADS 2009. Lecture Notes in Computer Science(), vol 6039. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13338-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-13338-1_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13337-4
Online ISBN: 978-3-642-13338-1
eBook Packages: Computer ScienceComputer Science (R0)