Towards an organizational model for agent societies using contracts

ABSTRACT

The development of multi-agent systems calls for modeling primitives that are able to represent communication, interaction, roles and other concepts that characterize multi-agent systems. Such modeling primitives are usually not provided by (single) agent languages. Furthermore, models of organizations must incorporate the collective characteristics of the domain. We propose a conceptual framework for agent societies, consisting of three interrelated models, that distinguishes between organizational and operational aspects of the domain. Contract rules specify commitments between agents and society concerning role enactment, and commitments between agents concerning interaction.

REFERENCES

• 1: L. Andrade , J. L. Fiadeiro , M. Wermelinger, Enforcing Business Policies Through Automated Reconfiguration, Proceedings of the 16th IEEE international conference on Automated software engineering, p.426, November 26-29, 2001
• 2: Alexander Artikis , Jeremy Pitt, A formal model of open agent societies, Proceedings of the fifth international conference on Autonomous agents, p.192-193, May 2001, Montreal, Quebec, Canada [doi>10.1145/375735.376108]
• 3: Dellarocas, C.: Contractual Agent Societies: Negotiated shared context and social control in open multi-agent systems. Proc. WS on Norms and Institutions in Multi-Agent Systems, Autonomous Agents-2000, Barcelona (2000)
• 4: Virginia Dignum , Frank Dignum, Modelling Agent Societies: Co-ordination Frameworks and Institutions, Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, p.191-204, December 17-20, 2001
• 5: Dignum, V., Meyer, J-J., Weigand, H., Dignum, F.: An Organizational-Oriented Model for Agent Societies. Workshop on Regulated Agent-based Social Systems: Theories and Applications. AAMAS'02, Bologna, (2002)
• 6: Jürgen Lind, Issues in agent-oriented software engineering, First international workshop, AOSE 2000 on Agent-oriented software engineering, p.45-58, January 2001, Limerick, Ireland
• 7: Morciniec, M., Salle, M., Monahan, B.: Towards Regulating Electronic Communities with Contracts, Proceedings of 2nd Workshop on Norms and Institutions in MAS, Autonomous Agents 2001, Montreal, (2001)

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence
            Subjects: Multiagent systems

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques

  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.1 Mathematical Logic
          Subjects: Modal logic

General Terms:
Design, Theory