Commitments and conventions: The foundation of coordination in multi-agent systems

Distributed Artificial Intelligence systems, in which multiple agents interact to improve their individual performance and to enhance the system’s overall utility, are becoming an increasingly pervasive means of conceptualising a diverse range of applications. As the discipline matures, researchers are beginning to strive for the underlying theories and principles which guide the central processes of coordination and cooperation. Here agent communities are modelled using a distributed goal search formalism and it is argued that commitments (pledges to undertake a specified course of action) and conventions (means of monitoring commitments in changing circumstances) are the foundation of coordination in multi-agent systems. An analysis of existing coordination models which use concepts akin to commitments and conventions is undertaken before a new unifying framework is presented. Finally a number of prominent coordination techniques which do not explicitly involve commitments or conventions are reformulated in these terms to demonstrate their compliance with the central hypothesis of this paper.

[1]  Daniel Rochowiak.  Cooperating intelligent systems , 1989 .

[2]  Moshe Tennenholtz,et al.  On the Synthesis of Useful Social Laws for Artificial Agent Societies (Preliminary Report) , 1992, AAAI.

[3]  Douglas B. Lenat,et al.  On the thresholds of knowledge , 1987, Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications.

[4]  Martha E. Pollack,et al.  The Uses of Plans , 1992, Artif. Intell..

[5]  Carl Hewitt,et al.  Message Passing Semantics. , 1981 .

[6]  Keith S. Decker,et al.  Distributed problem-solving techniques: A survey , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[7]  Philip R. Cohen,et al.  Intentions in Communication , 1992, Language.

[8]  Candace L. Sidner,et al.  Models of Plans to Support Communication: An Initial Report , 1990, AAAI.

[9]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[10]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[11]  Stuart C. Shapiro,et al.  Encyclopedia of artificial intelligence, vols. 1 and 2 (2nd ed.) , 1992 .

[12]  Thomas W. Malone,et al.  Modeling Coordination in Organizations and Markets , 1987 .

[13]  C. L. Callahan,et al.  The quality of life. , 1970, Nursing outlook.

[14]  Alan H. Bond,et al.  Distributed Artificial Intelligence , 1988 .

[15]  Nicholas R. Jennings,et al.  Examples of Cooperative Situations and their Implementation , 1991 .

[16]  Joseph Y. Halpern,et al.  Knowledge and common knowledge in a distributed environment , 1984, JACM.

[17]  Julia Galliers,et al.  A Strategic Framework for Multi-Agent Cooperative Dialogue , 1988, ECAI.

[18]  Hector J. Levesque,et al.  Confirmations and Joint Action , 1991, IJCAI.

[19]  Les Gasser,et al.  An Organizational Approach to Adaptive Production Systems , 1990, AAAI.

[20]  Brad J. Cox,et al.  Planning the software industrial revolution , 1990, IEEE Software.

[21]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[22]  Victor R. Lesser,et al.  The Distributed Vehicle Monitoring Testbed: A Tool for Investigating Distributed Problem Solving Networks , 1983, AI Mag..

[23]  Nicholas R. Jennings,et al.  ARCHON: theory and practice , 1992 .

[24]  Daniel D. Corkill,et al.  Hierarchical Planning in a Distributed Environment , 1979, IJCAI.

[25]  J. Searle.  Intentionality: Name index , 1983 .

[26]  Hector J. Levesque,et al.  On Acting Together , 1990, AAAI.

[27]  Yan-Hong Ng,et al.  Problem Solving in a Dynamic Environment , 1995 .

[28]  Michael P. Georgeff,et al.  Commitment and Effectiveness of Situated Agents , 1991, IJCAI.

[29]  Nicholas R. Jennings,et al.  Specification and Implementation of a Belief Desire-Joint_intention Architecture for Cooperative Problem Solving , 1993, Int. J. Cooperative Inf. Syst..

[30]  Jay R. Galbraith.  Designing Complex Organizations , 1973 .

[31]  S. Brison.  The Intentional Stance , 1989 .

[32]  Nicholas R. Jennings,et al.  Integrating Intelligent Systems into a Cooperating Community for Electricity Distribution Management , 1994 .

[33]  Timos K. Sellis,et al.  An Organizational Framework for Cooperating Intelligent Information Systems , 1992, Int. J. Cooperative Inf. Syst..

[34]  Nicholas R. Jennings,et al.  Towards a Cooperation Knowledge Level For Collaborative Problem Solving , 1992, ECAI.

[35]  Timothy W. Finin,et al.  Enabling Technology for Knowledge Sharing , 1991, AI Mag..

[36]  Randall Steeb,et al.  Strategies of Cooperation in Distributed Problem Solving , 1983, IJCAI.

[37]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[38]  Munindar P. Singh.  Group Intentions , 1990 .

[39]  B A Huberman,et al.  Cooperative Solution of Constraint Satisfaction Problems , 1991, Science.

[40]  Michael E. Bratman,et al.  Two Faces of Intention , 1984 .

[41]  Nicholas R. Jennings,et al.  Cooperating Intelligent Systems for Electricity Distribution , 1992 .

[42]  Mark Stefik,et al.  The Next Knowledge Medium , 1986, AI Mag..

[43]  Jay M. Tenenbaum,et al.  An intelligent agent framework for enterprise integration , 1991, IEEE Trans. Syst. Man Cybern..

[44]  P. Kline.  Models of man , 1986, Nature.

[45]  Jeffrey S. Rosenschein,et al.  Deals Among Rational Agents , 1985, IJCAI.

[46]  Victor R. Lesser,et al.  A retrospective view of FA/C distributed problem solving , 1991, IEEE Trans. Syst. Man Cybern..

[47]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[48]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[49]  Nicholas R. Jennings,et al.  Using Joint Responsibility to Coordinate Collaborative Problem Solving in Dynamic Environments , 1992, AAAI.

[50]  M. Georgeff,et al.  Social Plans: A Preliminary Report , 1992 .

[51]  Bernardo A. Huberman,et al.  The ecology of computation , 1988, Digest of Papers. COMPCON Spring 89. Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage.

[52]  Randall Davis,et al.  Frameworks for Cooperation in Distributed Problem Solving , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[53]  J. Searle.  Intentionality: An Essay in the Philosophy of Mind , 1983 .

[54]  Douglas B. Lenat,et al.  BEINGS: Knowledge as Interacting Experts , 1975, IJCAI.

[55]  Margaret Gilbert.  On Social Facts , 1989 .

[56]  Gil Tidhar,et al.  Planned Team Activity , 1992, MAAMAW.

[57]  Cathleen Stasz,et al.  Network Structures for Distributed Situation Assessment , 1980, IEEE Transactions on Systems, Man, and Cybernetics.

[58]  Robert Liebendorfer.  Mind, self and society , 1960 .

[59]  H. Simon,et al.  Models of Man. , 1957 .

[60]  A. White.  Essays on Actions and Events. , 1981 .

[61]  Munindar P. Singh.  A Critical Examination of Use Cohen-Levesque Theory of Intentions , 1992, ECAI.

[62]  Richard Fikes.  A Commitment-Based Framework for Describing Informal Cooperative Work , 1982, Cogn. Sci..

[63]  Nicholas M. Avouris,et al.  Distributed artificial intelligence: theory and praxis , 1992 .

[64]  John P. McDermott,et al.  Developing Software is like Talking to Eskimos about Snow , 1990, AAAI.

[65]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[66]  Edmund H. Durfee,et al.  Trends in Cooperative Distributed Problem Solving , 1989, IEEE Trans. Knowl. Data Eng..

[67]  Michael E. Bratman,et al.  What is intention , 1987 .

[68]  Les Gasser.  DAI approaches to coordination , 1992 .

[69]  Jerry R. Hobbs.  Artificial Intelligence and Collective Intentionality , 1990 .

[70]  Eric Werner,et al.  Cooperating Agents: A Unified Theory of Communication and Social Structure , 1989, Distributed Artificial Intelligence.

[71]  Alan H. Bond,et al.  Readings in Distributed Artificial Intelligence , 1988 .

[72]  Les Gasser,et al.  An overview of DAI , 1992 .

[73]  Edmund H. Durfee,et al.  Coherent Cooperation Among Communicating Problem Solvers , 1987, IEEE Transactions on Computers.

[74]  Luis Eduardo Castillo Hern.  On distributed artificial intelligence , 1988, The Knowledge Engineering Review.

[75]  Michael P. Georgeff,et al.  Communication and interaction in multi-agent planning , 1983, AAAI 1983.

[76]  Les Gasser,et al.  Social Conceptions of Knowledge and Action: DAI Foundations and Open Systems Semantics , 1991, Artif. Intell..

[77]  G. Reeke.  The society of mind , 1991 .

[78]  James A. Hendler,et al.  A Validation-Structure-Based Theory of Plan Modification and Reuse , 1992, Artif. Intell..

[79]  N. R. Jennings,et al.  GRATE: a general framework for co-operative problem solving , 1992 .

[80]  Victor R. Lesser,et al.  The Use of Meta-Level Control for Coordination in a Distributed Problem Solving Network , 1983, IJCAI.

[81]  H. Becker.  Notes on the Concept of Commitment , 1960, American Journal of Sociology.

[82]  Edmund H. Durfee,et al.  Coordination as distributed search in a hierarchical behavior space , 1991, IEEE Trans. Syst. Man Cybern..

[83]  Joseph Y. Halpern.  Reasoning About Knowledge: An Overview , 1986, TARK.

[84]  Edmund H. Durfee,et al.  Coordination of distributed problem solvers , 1988 .

[85]  Kurt Sundermeyer,et al.  Cooperative problem-solving guided by intentions and perception (abstract) , 1992, SIGO.