Notes on Formalizing Coordination

This paper concerns with 2-agents coordination games--we call them paradigms of coordination. To coordinate, agents' behaviour must eventually stabilize to a set of basic formulas that express a suitable part of agents' "nature". Four paradigms are advanced and discussed. Several new perspectives are provided to coordinating agents. Coordination via belief revision and cooperation by team work are two.

[1]  Sandip Sen,et al.  Learning to Coordinate without Sharing Information , 1994, AAAI.

[2]  Ray J. Solomonoff,et al.  A Formal Theory of Inductive Inference. Part I , 1964, Inf. Control..

[3]  Elliott Mendelson.  Introduction to Mathematical Logic, Third Edition , 1987 .

[4]  Manuel Blum,et al.  Toward a Mathematical Theory of Inductive Inference , 1975, Inf. Control..

[5]  Conventions , 1961 .

[6]  David Lewis.  Convention: A Philosophical Study , 1986 .

[7]  Luís Torgo,et al.  Panel: Learning in Distributed Systems and Multi-Agent Environments , 1991, EWSL.

[8]  Kevin T. Kelly.  The Logic of Reliable Inquiry , 1996 .

[9]  Y. Gurevich.  On Finite Model Theory , 1990 .

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

[11]  Clark Glymour.  Inductive inference in the limit , 1985 .

[12]  E. Mark Gold,et al.  Language Identification in the Limit , 1967, Inf. Control..

[13]  Hilary Putnam,et al.  Trial and error predicates and the solution to a problem of Mostowski , 1965, Journal of Symbolic Logic.

[14]  Gerhard Weiß,et al.  Adaptation and Learning in Multi-Agent Systems: Some Remarks and a Bibliography , 1995, Adaption and Learning in Multi-Agent Systems.

[15]  Moshe Tennenholtz,et al.  Emergent Conventions in Multi-Agent Systems: Initial Experimental Results and Observations (Preliminary Report) , 1992, KR.

[16]  Daniel N. Osherson,et al.  Systems That Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists , 1990 .

[17]  Nicholas R. Jennings,et al.  Agent Theories, Architectures, and Languages: A Survey , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[18]  Carl H. Smith,et al.  The Power of Pluralism for Automatic Program Synthesis , 1982, JACM.

[19]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

[20]  Gerhard Weiss,et al.  Learning to Coordinate Actions in Multi-Agent-Systems , 1993, IJCAI.

[21]  Enric Plaza,et al.  Cooperative Case-Based Reasoning , 1996, ECAI Workshop LDAIS / ICMAS Workshop LIOME.

[22]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[23]  Daniel N. Osherson,et al.  Elements of Scientific Inquiry , 1998 .

[24]  Arthur C. Graesser,et al.  Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents , 1996, ATAL.

[25]  Ray J. Solomonoff,et al.  A Formal Theory of Inductive Inference. Part II , 1964, Inf. Control..

[26]  Karl Ernst Osthaus.  Van de Velde , 1920 .

[27]  Scott Weinstein,et al.  Formal Learning Theory , 1997, Handbook of Logic and Language.

[28]  Daniel N. Osherson,et al.  Identification in the limit of first order structures , 1986, Journal of Philosophical Logic.

[29]  Daniel N. Osherson,et al.  Scientific discovery based on belief revision , 1997, Journal of Symbolic Logic.

[30]  Ehud Shapiro,et al.  Inductive Inference of Theories from Facts , 1991, Computational Logic - Essays in Honor of Alan Robinson.

[31]  Daniel N. Osherson,et al.  A universal inductive inference machine , 1991, Journal of Symbolic Logic.