Advertisement

An Interaction-Oriented Agent Framework for Open Environments

  • Matteo Baldoni
  • Cristina Baroglio
  • Federico Bergenti
  • Elisa Marengo
  • Viviana Mascardi
  • Viviana Patti
  • Alessandro Ricci
  • Andrea Santi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6934)

Abstract

The aim of the work is to develop formal models of interaction and of the related support infrastructures, that overcome the limits of the current approaches. We propose to represent explicitly not only the agents but also the computational environment in terms of rules, conventions, resources, tools, and services, that are functional to the coordination and cooperation of the agents. These models will enable the verification of the interaction in the MAS, thanks to the introduction of a novel social semantics of interaction based on commitments and on an explicit account of the regulative rules.

Keywords

Commitment-based protocols High-level environment models Direct and mediated communication Agent-oriented infrastructure 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable Agent Interaction in Abductive Logic Programming: The SCIFF Framework. ACM Trans. Comput. Log. 9(4) (2008)Google Scholar
  2. 2.
    Arcos, J.L., Noriega, P., Rodríguez-Aguilar, J.A., Sierra, C.: E4MAS Through Electronic Institutions. In: Weyns, et al. (eds.) [45], pp. 184–202Google Scholar
  3. 3.
    Artikis, A.: A Formal Specification of Dynamic Protocols for Open Agent Systems. CoRR, abs/1005.4815 (2010)Google Scholar
  4. 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: Proc. of AAMAS, pp. 843–850 (2009)Google Scholar
  5. 5.
    Baldoni, M., Baroglio, C., Marengo, E.: Behavior-oriented Commitment-based Protocols. In: Proc. of ECAI, pp. 137–142 (2010)Google Scholar
  6. 6.
    Baldoni, M., Baroglio, C., Marengo, E., Patti, V.: Constitutive and Regulative Specifications of Commitment Protocols: a Decoupled Approach. In: ACM TIST, Special Issue on Agent Communication (2011)Google Scholar
  7. 7.
    Baldoni, M., Boella, G., van der Torre, L.: Bridging Agent Theory and Object Orientation: Agent-like Communication among Objects. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2006. LNCS (LNAI), vol. 4411, pp. 149–164. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  8. 8.
    Bellifemine, F., Bergenti, F., Caire, G., Poggi, A.: JADE - A Java Agent Development Framework. In: Multi-Agent Progr.: Lang., Plat. and Appl. MAS, Art. Soc., and Sim. Org., vol. 15, pp. 125–147. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  9. 9.
    Bellifemine, F., Caire, G., Poggi, A., Rimassa, G.: JADE: A Software Framework for Developing Multi-agent Applications. Lessons learned. Information & Software Technology 50(1-2), 10–21 (2008)CrossRefGoogle Scholar
  10. 10.
    Bordini, R.H., Hübner, J.F., Vieira, R.: Jason and the Golden Fleece of Agent-Oriented Programming. In: Multi-Agent Progr.: Lang., Plat. and Appl. MAS, Art. Soc., and Sim. Org., vol. 15, pp. 3–37. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  11. 11.
    Braubach, L., Pokahr, A., Lamersdorf, W.: Jadex: A BDI Agent System Combining Middleware and Reasoning. In: Software Agent-Based Applications, Platforms and Development Kits. Birkhauser Book, Basel (2005)Google Scholar
  12. 12.
    Cherry, C.: Regulative Rules and Constitutive Rules. The Philosophical Quarterly 23(93), 301–315 (1973)CrossRefGoogle Scholar
  13. 13.
    Chopra, A.K., Singh, M.P.: An Architecture for Multiagent Systems: An Approach Based on Commitments. In: Braubach, L., Briot, J.-P., Thangarajah, J. (eds.) ProMAS 2009. LNCS, vol. 5919. Springer, Heidelberg (2010)Google Scholar
  14. 14.
    Dastani, M.: 2APL: a Practical Agent Programming Language. Autonomous Agents and Multi-Agent Systems 16(3), 214–248 (2008)CrossRefGoogle Scholar
  15. 15.
    Esteva, M., Rosell, B., Rodríguez-Aguilar, J.A., Arcos, J.L.: AMELI: An Agent-Based Middleware for Electronic Institutions. In: AAMAS, pp. 236–243 (2004)Google Scholar
  16. 16.
    Fornara, N., Viganò, F., Colombetti, M.: Agent Communication and Artificial Institutions. JAAMAS 14(2), 121–142 (2007)Google Scholar
  17. 17.
    Fornara, N., Viganò, F., Verdicchio, M., Colombetti, M.: Artificial Institutions: a Model of Institutional Reality for Open Multiagent Systems. Artif. Intell. Law 16(1), 89–105 (2008)CrossRefGoogle Scholar
  18. 18.
    Hübner, J.F., Boissier, O., Bordini, R.H.: From Organisation Specification to Normative Programming in Multi-agent Organisations. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS (LNAI), vol. 6245, pp. 117–134. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  19. 19.
    Hubner, J.F., Boissier, O., Kitio, R., Ricci, A.: Instrumenting Multi-agent Organisations with Organisational Artifacts and Agents: Giving the Organisational Power Back to the Agents. In: Proc. of AAMAS, vol. 20 (2009)Google Scholar
  20. 20.
    Hübner, J.F., Sichman, J.S., Boissier, O.: Developing Organised Multiagent Systems Using the MOISE. IJAOSE 1(3/4), 370–395 (2007)CrossRefGoogle Scholar
  21. 21.
    Keil, D., Goldin, D.: Modeling Indirect Interaction in Open Computational Systems. In: Proc. of TAPOCS, pp. 355–360. IEEE Press, Los Alamitos (2003)Google Scholar
  22. 22.
    Marengo, E., Baldoni, M., Baroglio, C., Chopra, A.K., Patti, V., Singh, M.P.: Commitments with Regulations: Reasoning about Safety and Control in REGULA. In: Proc. of AAMAS (2011)Google Scholar
  23. 23.
    Marengo, E.: Designing and Programming Commitment-based Service-oriented Architectures on top of Agent and Environment Technologies. Technical Report RT 129/2010, Dip. di Informatica, Univ. di Torino (2010)Google Scholar
  24. 24.
    Masolo, C., Vieu, L., Bottazzi, E., Catenacci, C., Ferrario, R., Gangemi, A., Guarino, N.: Social Roles and their Descriptions. In: Proc. of KR 2004, pp. 267–277. AAAI Press, Menlo Park (2004)Google Scholar
  25. 25.
    McBurney, P., Parsons, S.: Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents. JLLI 11(3), 315–334 (2002)MathSciNetCrossRefMATHGoogle Scholar
  26. 26.
    Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative Specification and Verification of Service Choreographies. ACM TWEB 4(1) (2010)Google Scholar
  27. 27.
    Oliva, E., McBurney, P., Omicini, A.: Co-argumentation Artifact for Agent Societies. In: Rahwan, I., Parsons, S., Reed, C. (eds.) Argumentation in Multi-Agent Systems. LNCS (LNAI), vol. 4946, pp. 31–46. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  28. 28.
    Omicini, A., Ricci, A., Viroli, M.: Artifacts in the A&A Meta-model for Multi-agent Systems. JAAMAS 17(3), 432–456 (2008)Google Scholar
  29. 29.
    Omicini, A., Ricci, A., Viroli, M., Castelfranchi, C., Tummolini, L.: Coordination Artifacts: Environment-Based Coordination for Intelligent Agents. In: Proc. of AAMAS, pp. 286–293 (2004)Google Scholar
  30. 30.
    Singh, M.P.: An Ontology for Commitments in Multiagent Systems. Artif. Intell. Law 7(1), 97–113 (1999)MathSciNetCrossRefGoogle Scholar
  31. 31.
    Pesic, M., van der Aalst, W.M.P.: A Declarative Approach for Flexible Business Processes Management. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 169–180. Springer, Heidelberg (2006)Google Scholar
  32. 32.
    Piunti, M., Ricci, A.: Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments. In: Meyer, J.-J.C., Broersen, J. (eds.) KRAMAS 2008. LNCS, vol. 5605, pp. 114–129. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  33. 33.
    Piunti, M., Ricci, A., Boissier, O., Hübner, J.F.: Embodying Organisations in Multi-agent Work Environments. In: Proc. of IAT, pp. 511–518 (2009)Google Scholar
  34. 34.
    Piunti, M., Ricci, A., Braubach, L., Pokahr, A.: Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents Playing in CARTAGO Environments. In: Proc. of IAT, pp. 207–213. IEEE, Los Alamitos (2008)Google Scholar
  35. 35.
    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)CrossRefGoogle Scholar
  36. 36.
    Ricci, A., Omicini, A., Viroli, M., Gardelli, L., Oliva, E.: Cognitive Stigmergy: Towards a Framework based on Agents and Artifacts. In: [45], pp. 124–140Google Scholar
  37. 37.
    Ricci, A., Piunti, M., Acay, D.L., Bordini, R.H., Hübner, J.F., Dastani, M.: Integrating Heterogeneous Agent Programming Platforms within Artifact-based Environments. In: Proc. of AAMAS, vol. (1), pp. 225–232 (2008)Google Scholar
  38. 38.
    Ricci, A., Piunti, M., Viroli, M.: Environment Programming in MAS – An Artifact-Based Perspective. JAAMASGoogle Scholar
  39. 39.
    Ricci, A., Piunti, M., Viroli, M., Omicini, A.: Environment Programming in CArtAgO. In: Multi-Agent Prog. II: Lang., Plat. and Appl. (2009)Google Scholar
  40. 40.
    Searle, J.R.: The Construction of Social Reality. Free Press, New York (1995)Google Scholar
  41. 41.
    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)CrossRefGoogle Scholar
  42. 42.
    Telang, P.R., Singh, M.P.: Abstracting Business Modeling Patterns from RosettaNet. In: SOC: Agents, Semantics, and Engineering (2010)Google Scholar
  43. 43.
    Verdicchio, M., Colombetti, M.: Communication Languages for Multiagent Systems. Comp. Intel. 25(2), 136–159 (2009)MathSciNetCrossRefMATHGoogle Scholar
  44. 44.
    Weyns, D., Omicini, A., Odell, J.: Environment as a First Class Abstraction in Multiagent Systems. JAAMAS 14(1), 5–30 (2007)Google Scholar
  45. 45.
    Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.): E4MAS 2006. LNCS (LNAI), vol. 4389. Springer, Heidelberg (2007)Google Scholar
  46. 46.
    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)CrossRefGoogle Scholar
  47. 47.
    Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing Multiagent Systems: The Gaia Methodology. ACM Trans. Softw. Eng. Methodol. 12(3), 317–370 (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Matteo Baldoni
    • 1
  • Cristina Baroglio
    • 1
  • Federico Bergenti
    • 4
  • Elisa Marengo
    • 1
  • Viviana Mascardi
    • 3
  • Viviana Patti
    • 1
  • Alessandro Ricci
    • 2
  • Andrea Santi
    • 2
  1. 1.Università degli Studi di TorinoItaly
  2. 2.Università degli Studi di BolognaItaly
  3. 3.Università degli Studi di GenovaItaly
  4. 4.Università degli Studi di ParmaItaly

Personalised recommendations