Skip to main content
SpringerLink
Log in

Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS

  • Conference paper
Declarative Agent Languages and Technologies VIII (DALT 2010)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6619))

Included in the following conference series:

Abstract

Commitment-based interaction protocols are a flexible way of representing the interaction of a set of agents, that is well-known and widely accepted by the research community. Normally these protocols consist of sets of actions with a shared meaning. From the point of view of an agent, however, the meaning of an action is completed by the context in which it is used: the context shapes the behavior of the agent in that the agent decides which actions to take depending on it. Indeed, since the seminal work of Searle (supported by other authors), two components of interaction protocols have been identified, constitutive rules and regulative rules, which altogether define the meaning of the interaction. Commitment-based protocols usually do not account for the latter. In this work we introduce a representation that explicitly includes regulative rules as constraints on commitments and, in the light of the work by Singh and Chopra [38], report the first steps in the analysis of the advantages brought by such introduction.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alberti, M., Daolio, D., Torroni, P., Gavanelli, M., Lamma, E., Mello, P.: Specification and Verification of Agent Interaction Protocols in a Logic-based System. In: Haddad, H., Omicini, A., Wainwright, R.L., Liebrock, L.M. (eds.) Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 2004, pp. 72–78. ACM, New York (2004)

    Chapter  Google Scholar 

  2. Alur, R., Henzinger, T.A., Kupferman, O., Vardi, M.Y.: Alternating Refinement Relations. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 163–178. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  3. Astefanoaei, L., de Boer, F.S.: Model-checking Agent Refinement. In: Padgham, et al [29], pp. 705–712

    Google Scholar 

  4. Baldoni, M., Baroglio, C., Chopra, A.K., Desai, N., Patti, V., Singh, M.P.: Choice, Interoperability, and Conformance in Interaction Protocols and Service Choreographies. In: Sierra, et al [34], pp. 843–850

    Google Scholar 

  5. Baldoni, M., Baroglio, C., Marengo, E.: Behavior-Oriented Commitment-based Protocols. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) Proc. of 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 2010. Frontiers in Artificial Intelligence and Applications, vol. 215, pp. 137–142. IOS Press, Amsterdam (2010)

    Google Scholar 

  6. Baldoni, M., Baroglio, C., Marengo, E.: Constraints among Commitments: Regulative Specification of Interaction Protocols. In: Artikis, A., Bentahar, J., Chopra, A.K., Dignum, F. (eds.) Proc. of International Workshop on Agent Communication (AC 2010), held in conjuction with AAMAS 2010, Toronto, Canada, pp. 2–18 (May 2010)

    Google Scholar 

  7. Baldoni, M., Baroglio, C., Patti, V., Schifanella, C.: Conservative Re-use Ensuring Matches for Service Selection. In: Klugl, F., Padget, J. (eds.) Proc. of Sixth European Workshop on Multi-Agent Systems (EUMAS 2008), Bath, UK, Seneca Edizioni (December 2008)

    Google Scholar 

  8. Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.): DALT 2009. LNCS, vol. 5948. Springer, Heidelberg (2010)

    Google Scholar 

  9. Boella, G., van der Torre, L.W.N.: Regulative and Constitutive Norms in Normative Multiagent Systems. In: Dubois, D., Welty, C.A., Williams, M.-A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004), Whistler, Canada, June 2004, pp. 255–266. AAAI Press, Menlo Park (2004)

    Google Scholar 

  10. Bravetti, M., Zavattaro, G.: A Theory of Contracts for Strong Service Compliance. Mathematical Structures in Computer Science 19(3), 601–638 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  11. Castelfranchi, C.: Commitments: From Individual Intentions to Groups and Organizations. In: Lesser, V.R., Gasser, L. (eds.) Proceedings of the First International Conference on Multiagent Systems (ICMAS), San Francisco, California, USA, June 1995, pp. 41–48. The MIT Press, Cambridge (1995)

    Google Scholar 

  12. Cherry, C.: Regulative Rules and Constitutive Rules. The Philosophical Quarterly 23(93), 301–315 (1973)

    Article  Google Scholar 

  13. Chesani, F., Mello, P., Montali, M., Riguzzi, F., Sebastianis, M., Storari, S.: Checking compliance of execution traces to business rules. In: Ardagna, D., Mecella, M., Yang, J. (eds.) Business Process Management Workshops. LNBIP, vol. 17, pp. 134–145. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  14. Chesani, F., Mello, P., Montali, M., Torroni, P.: Verifying A-Priori the Composition of Declarative Specified Services. In: Baldoni, M., Baroglio, C., Bentahar, J., Boella, G., Cossentino, M., Dastani, M., Dunin-Keplicz, B., Fortino, G., Gleizes, M.P., Leite, J., Mascardi, V., Padget, J.A., Pavón, J., Polleres, A., Fallah-Seghrouchni, A.E., Torroni, P., Verbrugge, R. (eds.) Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), Turin, Italy, September 2009. CEUR Workshop Proceedings, vol. 494. CEUR-WS.org (2009)

    Google Scholar 

  15. Chopra, A.K.: Commitment Alignment: Semantics, Patterns, and Decision Procedures for Distributed Computing. PhD thesis, North Carolina State University, Raleigh, NC (2009)

    Google Scholar 

  16. 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)

    Chapter  Google Scholar 

  17. Chopra, A.K., Singh, M.P.: Contextualizing Commitment Protocol. In: Nakashima, H., Wellman, M.P., Weiss, G., Stone, P. (eds.) 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 2006, pp. 1345–1352. ACM, New York (2006)

    Chapter  Google Scholar 

  18. Chopra, A.K., Singh, M.P.: Constitutive interoperability. In: Padgham, et al [29], pp. 797–804

    Google Scholar 

  19. Chopra, A.K., Singh, M.P.: Multiagent Commitment Alignment. In: Sierra, et al [34], pp. 937–944

    Google Scholar 

  20. Cox, B., Doug Tygar, J., Sirbu, M.: NetBill Security and Transaction Protocol. In: First USENIX Workshop on Electronic Commerce (WOEC 1995), pp. 77–88 (July 1995)

    Google Scholar 

  21. Allen Emerson, E.: Temporal and Modal Logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Sematics, vol. B, pp. 995–1072. North-Holland Pub. Co./MIT Press (1990)

    Google Scholar 

  22. Fornara, N.: Interaction and Communication among Autonomous Agents in Multiagent Systems. PhD thesis, Università della Svizzera italiana, Facoltà di Scienze della Comunicazione (December 2003)

    Google Scholar 

  23. Fornara, N., Colombetti, M.: A Commitment-Based Approach To Agent Communication. Applied Artificial Intelligence 18(9-10), 853–866 (2004)

    Article  Google Scholar 

  24. Giordano, L., Martelli, A., Schwind, C.: Specifying and Verifying Interaction Protocols in a Temporal Action Logic. Journal of Applied Logic 5(2), 214–234 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  25. Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Communication of the ACM 21(7), 558–565 (1978)

    Article  MATH  Google Scholar 

  26. Mallya, A.U., Singh, M.P.: Introducing Preferences into Commitment Protocols. In: Dignum, F., van Eijk, R.M., Flores, R.A. (eds.) AC 2005. LNCS (LNAI), vol. 3859, pp. 136–149. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  27. Montali, M.: Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach. LNBIP, vol. 56. Springer, Heidelberg (2010)

    MATH  Google Scholar 

  28. Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative Specification and Verification of Service Choreographiess. ACM Transactions on the Web (TWEB) 4(1) (2010)

    Google Scholar 

  29. Padgham, L., Parkes, D.C., Müller, J.P., Parsons, S. (eds.): 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, vol. 2. IFAAMAS (2008)

    Google Scholar 

  30. Pesic, M., van der Aalst, W.M.P.: A Declarative Approach for Flexible Business Processes Management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169–180. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  31. Rajamani, S.K., Rehof, J.: Conformance Checking for Models of Asynchronous Message Passing Software. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 166–179. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  32. Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Series in Artificial Intelligence. Prentice-Hall, Englewood Cliffs (2003)

    MATH  Google Scholar 

  33. Searle, J.: Speech Acts. Cambridge University Press, Cambridge (1969)

    Book  Google Scholar 

  34. Sierra, C., Castelfranchi, C., Decker, K.S., Sichman, J.S. (eds.): 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, vol. 2. IFAAMAS (2009)

    Google Scholar 

  35. Singh, M.P.: An Ontology for Commitments in Multiagent Systems. Artificial Intelligence and Law 7(1), 97–113 (1999)

    Article  MathSciNet  Google Scholar 

  36. Singh, M.P.: A Social Semantics for Agent Communication Languages. In: Dignum, F., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916, pp. 31–45. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  37. Singh, M.P.: Distributed Enactment of Multiagent Workflows: Temporal Logic for Web Service Composition. In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2003), Melbourne, Victoria, Australia, July 2003, pp. 907–914. ACM, New York (2003)

    Chapter  Google Scholar 

  38. Singh, M.P., Chopra, A.K.: Correctness Properties for Multiagent Systems. In: Baldoni, et al [8], pp. 192–207

    Google Scholar 

  39. Torroni, P., Chesani, F., Mello, P., Montali, M.: Social Commitments in Time: Satisfied or Compensated. In: Baldoni, et al [8], pp. 228–243

    Google Scholar 

  40. van Riemsdijk, M.B.: Cognitive Agent Programming, a Semantic Approach. PhD thesis, Dutch Research School for Information and Knowledge Systems, Utrecht University, the Netherlands (2006)

    Google Scholar 

  41. Winikoff, M., Liu, W., Harland, J.: Enhancing Commitment Machines. In: Leite, J.A., Omicini, A., Torroni, P., Yolum, P. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 198–220. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  42. Wooldridge, M.J.: An Introduction to MultiAgent Systems. John Wiley & Sons, Chichester (2002)

    Google Scholar 

  43. Yolum, P., Singh, M.P.: Commitment Machines. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 235–247. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  44. Yolum, P., Singh, M.P.: Designing and Executing Protocols using the Event Calculus. In: Proceedings of the Fifth International Conference on Autonomous Agents, pp. 27–28 (2001)

    Google Scholar 

  45. Zaremski, A.M., Wing, J.M.: Specification Matching of Software Components. ACM Transactions on Software Engineering and Methodology (TOSEM) 6(4), 333–369 (1997)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università degli Studi di Torino, c.so Svizzera 185, I-10149, Torino, Italy

    Matteo Baldoni, Cristina Baroglio & Elisa Marengo

Authors
  1. Matteo Baldoni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Cristina Baroglio
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Elisa Marengo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Alma Mater Studiorum Università di Bologna a Cesena, via Venezia 52, 47023, Cesena, Italy

    Andrea Omicini

  2. School of Computer Science and Information Technology, RMIT University, Melbourne, Australia

    Sebastian Sardina

  3. Department of Computing Science, University of Aberdeen, AB24 3UE, Aberdeen, UK

    Wamberto Vasconcelos

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baldoni, M., Baroglio, C., Marengo, E. (2011). Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds) Declarative Agent Languages and Technologies VIII. DALT 2010. Lecture Notes in Computer Science(), vol 6619. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20715-0_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-20715-0_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-20714-3

  • Online ISBN: 978-3-642-20715-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation