An Interaction-Oriented Agent Framework for Open Environments

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.

[1]  Rafael H. Bordini,et al.  Integrating heterogeneous agent programming platforms within artifact-based environments , 2008, AAMAS.

[2]  Nicola Guarino,et al.  Social Roles and their Descriptions , 2004, KR.

[3]  Munindar P. Singh,et al.  Commitment Machines , 2001, ATAL.

[4]  Andrea Omicini,et al.  Coordination artifacts: environment-based coordination for intelligent agents , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[5]  Matthias Klusch,et al.  Software agent-based applications, platforms and development kits , 2005 .

[6]  Pablo Noriega,et al.  E4MAS Through Electronic Institutions , 2006, E4MAS.

[7]  Olivier Boissier,et al.  Instrumenting multi-agent organisations with organisational artifacts and agents , 2010, Autonomous Agents and Multi-Agent Systems.

[8]  Trevor J. M. Bench-Capon,et al.  On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks , 2013, CLIMA.

[9]  Milind Tambe,et al.  Intelligent Agents VIII , 2002, Lecture Notes in Computer Science.

[10]  Jakob Rehof,et al.  Conformance Checking for Models of Asynchronous Message Passing Software , 2002, CAV.

[11]  Alessandro Ricci,et al.  Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents Playing in CARTAGO Environments , 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

[12]  Cristina Baroglio,et al.  Constitutive and regulative specifications of commitment protocols: A decoupled approach , 2013, TIST.

[13]  Olivier Boissier,et al.  From Organisation Specification to Normative Programming in Multi-Agent Organisations , 2010, CLIMA.

[14]  E. Krabbe.  Games that agents play: A formal framework for dialogues between autonomous agents , 2001 .

[15]  Marco Colombetti,et al.  Agent communication and artificial institutions , 2007, Autonomous Agents and Multi-Agent Systems.

[16]  Paola Mello,et al.  Declarative specification and verification of service choreographiess , 2010, TWEB.

[17]  Alessandro Ricci,et al.  Implementing Over-Sensing in Heterogeneous Multi-Agent Systems on Top of Artifact-Based Environments , 2009, MATES.

[18]  Marco Colombetti,et al.  Artificial institutions: a model of institutional reality for open multiagent systems , 2008, Artificial Intelligence and Law.

[19]  Marc Esteva,et al.  AMELI: an agent-based middleware for electronic institutions , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[20]  Guido Boella,et al.  Bridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects , 2006, PROMAS.

[21]  Andrea Omicini,et al.  Environment Programming in CArtAgO , 2009, Multi-Agent Programming, Languages, Tools and Applications.

[22]  Andrea Omicini,et al.  Environment as a first class abstraction in multiagent systems , 2007, Autonomous Agents and Multi-Agent Systems.

[23]  Edgar A. Whitley,et al.  The Construction of Social Reality , 1999 .

[24]  Munindar P. Singh,et al.  Choice, interoperability, and conformance in interaction protocols and service choreographies , 2009, AAMAS.

[25]  Alessandro Ricci,et al.  Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments , 2009, PROMAS.

[26]  Stefania Bandini,et al.  Environments for Multi-Agent Systems II , 2005, Lecture Notes in Computer Science.

[27]  Christopher Cherry,et al.  Regulative Rules and Constitutive Rules , 1973 .

[28]  Munindar P. Singh,et al.  Commitments with regulations: reasoning about safety and control in REGULA , 2011, AAMAS.

[29]  Alessandro Ricci,et al.  Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments , 2008, KRAMAS.

[30]  Iyad Rahwan,et al.  Argumentation in Multi-Agent Systems , 2011, Lecture Notes in Computer Science.

[31]  Andrea Omicini,et al.  Co-argumentation Artifact for Agent Societies , 2007, ArgMAS.

[32]  Evelina Lamma,et al.  Verifiable agent interaction in abductive logic programming: The SCIFF framework , 2008, TOCL.

[33]  Agostino Poggi,et al.  JADE - A Java Agent Development Framework , 2005, Multi-Agent Programming.

[34]  Olivier Boissier,et al.  Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels , 2007, Int. J. Agent Oriented Softw. Eng..

[35]  Munindar P. Singh,et al.  Elements of a Business-Level Architecture for Multiagent Systems , 2009, PROMAS.

[36]  Rafael H. Bordini,et al.  Jason and the Golden Fleece of Agent-Oriented Programming , 2005, Multi-Agent Programming.

[37]  Olivier Boissier,et al.  Embodying Organisations in Multi-agent Work Environments , 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.

[38]  Munindar P. Singh,et al.  Abstracting and Applying Business Modeling Patterns from RosettaNet , 2010, ICSOC.

[39]  Alessandro Ricci,et al.  Environment programming in multi-agent systems: an artifact-based perspective , 2011, Autonomous Agents and Multi-Agent Systems.

[40]  Agostino Poggi,et al.  JADE: A software framework for developing multi-agent applications. Lessons learned , 2008, Inf. Softw. Technol..

[41]  Munindar P. Singh.  A Social Semantics for Agent Communication Languages , 2000, Issues in Agent Communication.

[42]  Andrea Omicini,et al.  Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts , 2006, E4MAS.

[43]  Marco Colombetti,et al.  COMMUNICATION LANGUAGES FOR MULTIAGENT SYSTEMS , 2009, Comput. Intell..

[44]  Mehdi Dastani,et al.  2APL: a practical agent programming language , 2008, Autonomous Agents and Multi-Agent Systems.

[45]  Wil M.P. van der Aalst,et al.  Declarative Specification and Verification of Service Choreographies , 2009 .

[46]  Andrea Omicini,et al.  Artifacts in the A&A meta-model for multi-agent systems , 2008, Autonomous Agents and Multi-Agent Systems.

[47]  Cristina Baroglio,et al.  Behavior-Oriented Commitment-based Protocols , 2010, ECAI.

[48]  Wil M. P. van der Aalst,et al.  A Declarative Approach for Flexible Business Processes Management , 2006, Business Process Management Workshops.

[49]  Franco Zambonelli,et al.  Developing multiagent systems: The Gaia methodology , 2003, TSEM.

[50]  Munindar P. Singh,et al.  An Architecture for Multiagent Systems An Approach Based on Commitments , 2009 .

[51]  Frank Dignum,et al.  Issues in Agent Communication , 2000, Lecture Notes in Computer Science.

[52]  Alexander Artikis.  A Formal Specification of Dynamic Protocols for Open Agent Systems , 2010, ArXiv.

[53]  John-Jules Ch. Meyer,et al.  Knowledge Representation for Agents and Multi-Agent Systems , 2009 .

[54]  Dina Q. Goldin,et al.  Modeling indirect interaction in open computational systems , 2003, WET ICE 2003. Proceedings. Twelfth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2003..

[55]  Munindar P. Singh,et al.  Abstracting Business Modeling Patterns from RosettaNet , 2010 .

[56]  Winfried Lamersdorf,et al.  Jadex: A BDI-Agent System Combining Middleware and Reasoning , 2005 .

[57]  Munindar P. Singh.  An ontology for commitments in multiagent systems: , 1999, Artificial Intelligence and Law.