A game theoretic approach to contracts in multiagent systems

Contracts are used to create new interaction possibilities among agents, and therefore play an important role in the game theoretic analysis of agent interaction. We use normative multiagent systems to model both the contracts and the interactions. In particular, we formalize contracts as systems of regulative and constitutive norms within a larger rule-governed setting and, using recursive modeling, we develop a game theory wherein agents make contracts. We show how agents can modify the behavior of normative systems by means of constitutive rules in the contract changing these systems, and we illustrate how agents use the game theory within contract negotiation in organizations

[1]  Franco Zambonelli,et al.  Engineering Societies in the Agent World, First International Workshop, ESAW 2000, Berlin, Germany, August 21, 2000, Revised Papers , 2000, ESAW.

[2]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[3]  D. Dennett.  The Intentional Stance. , 1987 .

[4]  Guido Boella,et al.  Permissions and obligations in hierarchical normative systems , 2003, ICAIL.

[5]  John R. Searle,et al.  Speech Acts: An Essay in the Philosophy of Language , 1970 .

[6]  Jaap Gordijn.  A Design Methodology for Trust and Value Exchanges in Business Models , 2003, Bled eConference.

[7]  Dick W. P. Ruiter.  A Basic Classification of Legal Institutions , 1997 .

[8]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[9]  Hans Weigand,et al.  Towards an organizational model for agent societies using contracts , 2002, AAMAS '02.

[10]  Andrew J. I. Jones,et al.  Deontic Logic and Contrary-to-Duties , 2002 .

[11]  Jordi Sabater-Mir,et al.  Skeleton-based agent development for electronic institutions , 2002, AAMAS '02.

[12]  Olga Pacheco,et al.  A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction , 2003, Autonomous Agents and Multi-Agent Systems.

[13]  Liz Sonenberg,et al.  Investigating Commitment Flexibility in Multi-Agent Contracts , 2002 .

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

[15]  Guido Boella,et al.  Attributing mental attitudes to normative systems , 2003, AAMAS '03.

[16]  Zoran Milosevic,et al.  On expressing and monitoring behaviour in contracts , 2002, Proceedings. Sixth International Enterprise Distributed Object Computing.

[17]  Mehdi Dastani,et al.  Goal generation in the BOID architecture , 2002 .

[18]  C. Sierra,et al.  Verifying Norm Consistency in Electronic Institutions , 2004 .

[19]  Mark Klein,et al.  Chapter 5 CONTRACTUAL AGENT SOCIETIES Negotiated shared context and social control in open multi-agent systems , 2001 .

[20]  Moshe Tennenholtz,et al.  On the Emergence of Social Conventions: Modeling, Analysis, and Simulations , 1997, Artif. Intell..

[21]  Mark Klein,et al.  Contractual Agent Societies , 2001 .

[22]  T. S. E. Maibaum,et al.  Towards electronic contract performance , 2001, 12th International Workshop on Database and Expert Systems Applications.

[23]  Leon van der Torre,et al.  Utilitarian Desires , 2002, Autonomous Agents and Multi-Agent Systems.

[24]  Ronald M. Lee.  Documentary Petri Nets: A Modeling Representation for Electronic Trade Procedures , 2000, Business Process Management.

[25]  L. Taylor.  Strategic Interaction , 1972 .

[26]  Mehdi Dastani,et al.  How to decide what to do? , 2005, Eur. J. Oper. Res..

[27]  Jeffrey S. Rosenschein and Gilad Zlotkin.  Rules of Encounter , 1994 .

[28]  Alan Ross Anderson.  Comments on Von Wright’s ‘Logic and Ontology of Norms’ , 1969 .

[29]  Cristiano Castelfranchi,et al.  Engineering Social Order , 2000, ESAW.

[30]  Michael P. Wellman,et al.  Automated Negotiation from Declarative Contract Descriptions , 2002, Comput. Intell..

[31]  Guido Boella,et al.  Regulative and Constitutive Norms in Normative Multiagent Systems , 2004, KR.

[32]  Yao-Hua Tan,et al.  Designing Control Mechanisms for Value Exchanges in Network Organisations , 2005 .

[33]  Eugenio Bulygin,et al.  A Model for Normative Systems , 1971 .

[34]  Guido Boella,et al.  Local policies for the control of virtual communities , 2003, Proceedings IEEE/WIC International Conference on Web Intelligence (WI 2003).

[35]  Victor R. Lesser,et al.  Issues in Automated Negotiation and Electronic Commerce: Extending the Contract Net Framework , 1997, ICMAS.

[36]  Guido Boella,et al.  Rational norm creation: attributing mental attitudes to normative systems, part 2 , 2003, ICAIL.

[37]  R. Tuomela.  The Importance of Us: A Philosophical Study of Basic Social Notions , 1995 .

[38]  Jeffrey S. Rosenschein,et al.  Rules of Encounter - Designing Conventions for Automated Negotiation among Computers , 1994 .

[39]  Guido Boella,et al.  Contracts as legal institutions in organizations of autonomous agents , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[40]  Zoran Milosevic,et al.  Conversation-oriented protocols for contract negotiations , 2003, Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings..

[41]  Leon van der Torre,et al.  Input/Output Logics , 2000, J. Philos. Log..

[42]  Edmund H. Durfee,et al.  A Rigorous, Operational Formalization of Recursive Modeling , 1995, ICMAS.

[43]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[44]  P. D. V. Marsh.  Contract Negotiation Handbook , 1974 .