Skip to main content
SpringerLink
Log in

An Interaction-Oriented Agent Framework for Open Environments

  • Conference paper
AI*IA 2011: Artificial Intelligence Around Man and Beyond (AI*IA 2011)

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

Included in the following conference series:

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.

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., 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. Arcos, J.L., Noriega, P., Rodríguez-Aguilar, J.A., Sierra, C.: E4MAS Through Electronic Institutions. In: Weyns, et al. (eds.) [45], pp. 184–202

    Google Scholar 

  3. Artikis, A.: A Formal Specification of Dynamic Protocols for Open Agent Systems. CoRR, abs/1005.4815 (2010)

    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: Proc. of AAMAS, pp. 843–850 (2009)

    Google Scholar 

  5. Baldoni, M., Baroglio, C., Marengo, E.: Behavior-oriented Commitment-based Protocols. In: Proc. of ECAI, pp. 137–142 (2010)

    Google Scholar 

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

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Cherry, C.: Regulative Rules and Constitutive Rules. The Philosophical Quarterly 23(93), 301–315 (1973)

    Article  Google Scholar 

  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. Dastani, M.: 2APL: a Practical Agent Programming Language. Autonomous Agents and Multi-Agent Systems 16(3), 214–248 (2008)

    Article  Google Scholar 

  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. Fornara, N., Viganò, F., Colombetti, M.: Agent Communication and Artificial Institutions. JAAMAS 14(2), 121–142 (2007)

    Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Hübner, J.F., Sichman, J.S., Boissier, O.: Developing Organised Multiagent Systems Using the MOISE. IJAOSE 1(3/4), 370–395 (2007)

    Article  Google Scholar 

  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. 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. 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. 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. McBurney, P., Parsons, S.: Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents. JLLI 11(3), 315–334 (2002)

    Article  MathSciNet  MATH  Google Scholar 

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

    Chapter  Google Scholar 

  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. 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. Singh, M.P.: An Ontology for Commitments in Multiagent Systems. Artif. Intell. Law 7(1), 97–113 (1999)

    Article  MathSciNet  Google Scholar 

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

    Chapter  Google Scholar 

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

  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–140

    Google Scholar 

  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. Ricci, A., Piunti, M., Viroli, M.: Environment Programming in MAS – An Artifact-Based Perspective. JAAMAS

    Google Scholar 

  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. Searle, J.R.: The Construction of Social Reality. Free Press, New York (1995)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  42. Telang, P.R., Singh, M.P.: Abstracting Business Modeling Patterns from RosettaNet. In: SOC: Agents, Semantics, and Engineering (2010)

    Google Scholar 

  43. Verdicchio, M., Colombetti, M.: Communication Languages for Multiagent Systems. Comp. Intel. 25(2), 136–159 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  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. Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.): E4MAS 2006. LNCS (LNAI), vol. 4389. Springer, Heidelberg (2007)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  47. Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing Multiagent Systems: The Gaia Methodology. ACM Trans. Softw. Eng. Methodol. 12(3), 317–370 (2003)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Università degli Studi di Torino, Italy

    Matteo Baldoni, Cristina Baroglio, Elisa Marengo & Viviana Patti

  2. Università degli Studi di Bologna, Italy

    Alessandro Ricci & Andrea Santi

  3. Università degli Studi di Genova, Italy

    Viviana Mascardi

  4. Università degli Studi di Parma, Italy

    Federico Bergenti

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. Federico Bergenti
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Elisa Marengo
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Viviana Mascardi
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Viviana Patti
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Alessandro Ricci
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Andrea Santi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Chemical, Management, Computer, and Mechanical Engineering (DICGIM), University of Palermo, Viale delle Scienze, Edificio 6, 90128, Palermo, Italy

    Roberto Pirrone  & Filippo Sorbello  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baldoni, M. et al. (2011). An Interaction-Oriented Agent Framework for Open Environments. In: Pirrone, R., Sorbello, F. (eds) AI*IA 2011: Artificial Intelligence Around Man and Beyond. AI*IA 2011. Lecture Notes in Computer Science(), vol 6934. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23954-0_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-23954-0_9

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation