Exploiting focal points among alternative solutions: Two approaches

Focal points refer to prominent solutions of an interaction, solutions to which agents are drawn. This paper considers how automated agents could use focal points for coordination in communication‐impoverished situations. Coordination is a central theme of Distributed Artificial Intelligence. Much work in this field can be seen as a search for mechanisms that allow agents with differing knowledge and goals to coordinate their actions for mutual benefit. Additionally, one of the main assumptions of the field is that communication is expensive relative to computation. Thus, coordination techniques that minimize communication are of particular importance. Our purpose in this paper is to consider how to model the process of finding focal points from domain‐independent criteria, under the assumption that agents cannot communicate with one another. We consider two alternative approaches for finding focal points, one based on decision theory, the second on step‐logic. The first provides for a more natural integration of agent utilities, while the second more successfully models the difficulty of finding solutions. For both cases, we present simulations over randomly generated domains that suggest that focal points can act as an effective heuristic for coordination.

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

[2]  Michael Bacharach,et al.  The Variable Frame Theory of Focal Points: An Experimental Study , 1997 .

[3]  Sarit Kraus,et al.  Multiagent Negotiation under Time Constraints , 1995, Artif. Intell..

[4]  Sarit Kraus,et al.  Negotiations Over Time in a Multi-Agent Environment: Preliminary Report , 1991, IJCAI.

[5]  V Bhaskar Breaking the Symmetry: Optimal Conventions in Repeated Symmetric Games , 1997 .

[6]  Wolfgang Leiniger,et al.  Games and information: An introduction to game theory: Eric Rasmusen, (Basil Blackwell, Oxford, 1989) , 1991 .

[7]  Jaeho Lee Procedural Agent Model for Plan Recognition , 1995 .

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

[9]  Robert Forsythe,et al.  Selection Criteria in Coordination Games: Some Experimental Results , 1987 .

[10]  Focal points , 1964, IEEE Spectrum.

[11]  Donald Perlis,et al.  Reasoning situated in time I: basic concepts , 1990, J. Exp. Theor. Artif. Intell..

[12]  Donald Perlis,et al.  Step-logic: reasoning situated in time , 1988 .

[13]  R. Rob,et al.  Learning, Mutation, and Long Run Equilibria in Games , 1993 .

[14]  Moshe Tennenholtz,et al.  Off-line Reasoning for On-line Efficiency , 1993, IJCAI.

[15]  Joseph Farrell Meaning and Credibility in Cheap-Talk Games , 1993 .

[16]  Eric R. Ziegel,et al.  Probability and Statistics for Engineering and the Sciences , 2004, Technometrics.

[17]  Jon Doyle,et al.  Rational Belief Revision , 1991, KR.

[18]  H. Young An Evolutionary Model of Bargaining , 1993 .

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

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

[21]  Henry A. Kautz,et al.  Generalized Plan Recognition , 1986, AAAI.

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

[23]  Jay L. Devore,et al.  Probability and statistics for engineering and the sciences , 1982 .

[24]  R. Sugden,et al.  Focal points in pure coordination games: An experimental investigation , 1994 .

[25]  Moses Moshe TennenholtzFaculty Oo-line Reasoning for On-line Eeciency: Knowledge Bases , 1996 .

[26]  M. Benda,et al.  On Optimal Cooperation of Knowledge Sources , 1985 .

[27]  Liam Aspin Focal Points, Preferences and the Generation of Meaning , 1997 .

[28]  Henry A. Kautz A formal theory of plan recognition , 1987 .

[29]  F. Huddle Coordination , 1966, Open Knowledge Institutions.

[30]  Eric Horvitz,et al.  Reflection and Action Under Scarce Resources: Theoretical Principles and Empirical Study , 1989, IJCAI.

[31]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[32]  Peter Secretan Learning , 1965, Mental Health.

[33]  R. Reiter,et al.  Embedding decision-analytic control in a learning architecture , 1992 .

[34]  Edmund H. Durfee,et al.  Deciding When to Commit to Action During Observation-Based Coordination , 1995, ICMAS.

[35]  N. S. Sridharan,et al.  The Plan Recognition Problem: An Intersection of Psychology and Artificial Intelligence , 1978, Artif. Intell..

[36]  R. Sugden A Theory of Focal Points , 1995 .

[37]  Kurt Konolige,et al.  Ascribing Plans to Agents , 1989, IJCAI.

[38]  M. Janssen Rationalizing Focal Points , 2001 .

[39]  J. McCarthy Circumscription|a Form of Nonmonotonic Reasoning , 1979 .

[40]  H. Young,et al.  The Evolution of Conventions , 1993 .

[41]  John C. Harsanyi,et al.  Общая теория выбора равновесия в играх / A General Theory of Equilibrium Selection in Games , 1989 .

[42]  Jon Doyle,et al.  Doyle See Infer Choose Do Perceive Act , 2009 .

[43]  J. Nash Two-Person Cooperative Games , 1953 .

[44]  Les Gasser,et al.  Representing and using organizational knowledge in DAI systems , 1989 .

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

[46]  Robert P. Goldman,et al.  A Bayesian Model of Plan Recognition , 1993, Artif. Intell..

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

[48]  F. Kramarz,et al.  Dynamic focal points in N-person coordination games , 1996 .

[49]  Håkan J. Holm,et al.  The 17th Arne Ryde Symposium, "Focal Points - Coordination, Complexity, and Communication in Strategic Contexts" , 2000, Games Econ. Behav..

[50]  V. Crawford,et al.  Learning How to Cooperate: Optimal Play in Repeated Coordination Games , 1990 .

[51]  Mark S. Boddy,et al.  An Analysis of Time-Dependent Planning , 1988, AAAI.

[52]  Jeffrey S. Rosenschein,et al.  Cooperation without Communication , 1986, AAAI.

[53]  Sarit Kraus,et al.  The role of representation in interaction (abstract): discovering focal points among alternative solutions , 1992, SIGO.

[54]  Eric Horvitz,et al.  Reasoning under Varying and Uncertain Resource Constraints , 1988, AAAI.

[55]  Nicholas R. Jennings,et al.  Coordination techniques for distributed artificial intelligence , 1996 .

[56]  Stuart J. Russell,et al.  Principles of Metareasoning , 1989, Artif. Intell..

[57]  Sandra Carberry,et al.  Incorporating Default Inferences Into Plan Recognition , 1990, AAAI.

[58]  Katia P. Sycara,et al.  Argumentation: Planning Other Agents' Plans , 1989, IJCAI.

[59]  T. Schelling The Strategy of Conflict , 1963 .

[60]  Larry M. Stephens,et al.  Agent Organization as an Effector of DAI System Performance , 1989 .

[61]  Sarit Kraus,et al.  Formal Real-Time Imagination , 1995, Fundam. Informaticae.

[62]  Sarit Kraus,et al.  How to (Plan to) Meet a Deadline between Now and Then , 1997, J. Log. Comput..

[63]  Edmund H. Durfee,et al.  Partial global planning: a coordination framework for distributed hypothesis formation , 1991, IEEE Trans. Syst. Man Cybern..

[64]  Sarit Kraus,et al.  Coordination without Communication: Experimental Validation of Focal Point Techniques , 1997, ICMAS.

[65]  J. Huyck,et al.  Tacit Coordination Games, Strategic Uncertainty, and Coordination Failure , 1990 .

[66]  Edmund H. Durfee,et al.  Using Partial Global Plans to Coordinate Distributed Problem Solvers , 1987, IJCAI.

[67]  Jeffrey S. Rosenschein,et al.  Negotiation and Conflict Resolution in Non-Cooperative Domains , 1990, AAAI.

[68]  Tom Michael Mitchell,et al.  Explanation-based generalization: A unifying view , 1986 .

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

[70]  Robert P. Goldman,et al.  A Probabilistic Model of Plan Recognition , 1991, AAAI.

[71]  Donald Perlis,et al.  Stop the world—I want to think , 1990, Int. J. Intell. Syst..

[72]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[73]  Ronald C. Arkin,et al.  Cooperation without communication: Multiagent schema-based robot navigation , 1992, J. Field Robotics.

[74]  Jeffrey S. Rosenschein,et al.  A game theoretic approach to distributed artificial intelligence and the pursuit problem (abstract) , 1992, SIGO.

[75]  E. Rasmussen Games and Information , 1989 .

[76]  R. Sugden,et al.  The Nature of Salience: An Experimental Investigation of Pure Coordination Games , 1994 .