Mechanisms for Automated Negotiation in State Oriented Domains

This paper lays part of the groundwork for a domain theory of negotiation, that is, a way of classifying interactions so that it is clear, given a domain, which negotiation mechanisms and strategies are appropriate. We define State Oriented Domains, a general category of interaction. Necessary and sufficient conditions for cooperation are outlined. We use the notion of worth in an altered definition of utility, thus enabling agreements in a wider class of joint-goal reachable situations. An approach is offered for conflict resolution, and it is shown that even in a conflict situation, partial cooperative steps can be taken by interacting agents (that is, agents in fundamental conflict might still agree to cooperate up to a certain point). A Unified Negotiation Protocol (UNP) is developed that can be used in all types of encounters. It is shown that in certain borderline cooperative situations, a partial cooperative agreement (i.e., one that does not achieve all agents' goals) might be preferred by all agents, even though there exists a rational agreement that would achieve all their goals. Finally, we analyze cases where agents have incomplete information on the goals and worth of other agents. First we consider the case where agents' goals are private information, and we analyze what goal declaration strategies the agents might adopt to increase their utility. Then, we consider the situation where the agents' goals (and therefore stand-alone costs) are common knowledge, but the worth they attach to their goals is private information. We introduce two mechanisms, one "strict," the other "tolerant," and analyze their affects on the stability and efficiency of negotiation outcomes.

[1]  Eithan Ephrati,et al.  The Clarke Tax as a Consensus Mechanism Among Automated Agents , 1991, AAAI.

[2]  Victor R. Lesser,et al.  Functionally Accurate, Cooperative Distributed Systems , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[3]  G. Zlotkin,et al.  Cooperation and conflict resolution via negotiation among autonomous agents in noncooperative domains , 1991, IEEE Trans. Syst. Man Cybern..

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

[5]  R. Bajcsy IJCAI-93 : proceedings of the Thirteenth International Joint Conference on Artificial Intelligence , Chambéry, France, August 28-September 3, 1993 , 1993 .

[6]  Jeffrey S. Rosenschein,et al.  Compromise in Negotiation: Exploiting Worth Functions over States , 1996, Artif. Intell..

[7]  Jeffrey S. Rosenschein,et al.  Incomplete Information and Deception in Multi-Agent Negotiation , 1991, IJCAI.

[8]  Sarit Kraus,et al.  Negotiation in a non-cooperative environment , 1991, J. Exp. Theor. Artif. Intell..

[9]  Kurt Konolige,et al.  Multiple-Agent Planning Systems , 1980, AAAI.

[10]  Henry A. Kautz,et al.  Reasoning about plans , 1991, Morgan Kaufmann series in representation and reasoning.

[11]  Dana S. Nau,et al.  On the Complexity of Blocks-World Planning , 1992, Artif. Intell..

[12]  Roger B. Myerson,et al.  Game theory - Analysis of Conflict , 1991 .

[13]  Reid G. Smith,et al.  A framework for problem solving in a distributed processing environment , 1978 .

[14]  Leora Morgenstern,et al.  A First Order Theory of Planning, Knowledge, and Action , 1986, TARK.

[15]  Anand S. Rao,et al.  A Model-Theoretic Approach to the Verification of Situated Reasoning Systems , 1993, IJCAI.

[16]  M. Georgeff Actions, Processes, and Causality , 1987 .

[17]  Leora Morgenstern,et al.  Knowledge Preconditions for Actions and Plans , 1988, IJCAI.

[18]  Bayesian Rationality,et al.  CORRELATED EQUILIBRIUM AS AN EXPRESSION OF , 1987 .

[19]  Howard Raiffa,et al.  Decision analysis: introductory lectures on choices under uncertainty. 1968. , 1969, M.D.Computing.

[20]  F. Zeuthen Problems of monopoly and economic warfare , 1930 .

[21]  Michael P. Georgeff,et al.  A Theory of Action for MultiAgent Planning , 1984, AAAI.

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

[23]  Eithan Ephrati,et al.  Multi-Agent Planning as a Dynamic Search for Social Consensus , 1993, IJCAI.

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

[25]  Edmund H. Durfee,et al.  Cooperation through communication in a distributed problem-solving network , 1990 .

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

[27]  M. Bacharach Two-person Cooperative Games , 1976 .

[28]  R. Myerson Optimal coordination mechanisms in generalized principal–agent problems , 1982 .

[29]  L. A. Goodman,et al.  Social Choice and Individual Values , 1951 .

[30]  Michael P. Georgeff,et al.  A Model of Events and Processes , 1991, IJCAI.

[31]  Eithan Ephrati,et al.  Constrained Intelligent Action: Planning Under the Influence of a Master Agent , 1992, AAAI.

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

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

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

[35]  Tuomas Sandholm,et al.  An Implementation of the Contract Net Protocol Based on Marginal Cost Calculations , 1993, AAAI.

[36]  Jeffrey S. Rosenschein,et al.  Consenting Agents: Negotiation Mechanisms for Multi-Agent Systems , 1993, IJCAI.

[37]  Victor Lesser,et al.  Multistage negotiation in distributed planning , 1988 .

[38]  Reid G. Smith,et al.  A Framework for Distributed Problem Solving , 1979, IJCAI.

[39]  Sarit Kraus,et al.  Agents Contracting Tasks in Non-Collaborative Environments , 1993, AAAI.

[40]  Leora Morgenstern,et al.  A Formal Theory of Multiple Agent Nonmonotonic Reasoning , 1990, AAAI.

[41]  Bradley P. Allen,et al.  Job-Shop Scheduling: An Investigation in Constraint-Directed Reasoning , 1982, AAAI.

[42]  Edwin P. D. Pednault,et al.  FORMULATING MULTIAGENT, DYNAMIC-WORLD PROBLEMS IN THE CLASSICAL PLANNING FRAMEWORK , 1987 .

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

[44]  Michael P. Wellman A General-Equilibrium Approach to Distributed Transportation Planning , 1992, AAAI.

[45]  R. Aumann Correlated Equilibrium as an Expression of Bayesian Rationality Author ( s ) , 1987 .

[46]  A. Rubinstein,et al.  Bargaining and Markets , 1991 .

[47]  F. Forges,et al.  Five legitimate definitions of correlated equilibrium in games with incomplete information , 1993 .

[48]  K. Konolige A deduction model of belief , 1986 .

[49]  Philip R. Cohen,et al.  Intentions in Communication , 1991, CL.

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

[51]  Jon Doyle Reasoned Assumptions and Pareto Optimality , 1985, IJCAI.

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

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

[54]  Kurt Konolige,et al.  A First-Order Formalization of Knowledge and Action for a Multiagent Planning System. , 1980 .

[55]  Ariel Rubinstein,et al.  The Choice of Conjectures In A Bargaining Game With Incomplete Information , 1983 .

[56]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[57]  Mohamed S. Kamel,et al.  An Object-oriented Multiple Agent Planning System , 1989, Distributed Artificial Intelligence.

[58]  J. Nash THE BARGAINING PROBLEM , 1950, Classics in Game Theory.

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

[60]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[61]  Victor R. Lesser,et al.  An Approach to Analyzing the Need for Meta-Level Communication , 1993, IJCAI.

[62]  Oren Etzioni,et al.  Embedding Decision-Analytic Control in a Learning Architecture , 1991, Artif. Intell..

[63]  Jeffrey S. Rosenschein,et al.  Negotiation with Incomplete Information About Worth: Strict Versus Tolerant Mechanisms , 1992, MAAMAW.

[64]  Eithan Ephrati,et al.  Reaching Agreement through Partial Revelation of Preferences , 1992, ECAI.

[65]  Edmund H. Durfee,et al.  A Logic of Knowledge and Belief for Recursive Modeling: A Preliminary Report , 1992, AAAI.

[66]  Moshe Tennenholtz,et al.  On Social Laws for Artificial Agent Societies: Off-Line Design , 1995, Artif. Intell..

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

[68]  Andrew P. Kosoresow A Fast First-Cut Protocol for Agent Coordination , 1993, AAAI.

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

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

[71]  John C. Harsanyi,et al.  Approaches to the Bargaining Problem before and after the Theory of Games: A Critical Discussion of Zeuthen’s, Hicks’, and Nash’s Theories , 1956 .

[72]  Richard Lindley Lying: Moral Choice in Public and Private Life , 1980 .

[73]  Jeffrey S. Rosenschein,et al.  Negotiation and Task Sharing Among Autonomous Agents in Cooperative Domains , 1989, IJCAI.

[74]  Moshe Tennenholtz,et al.  On Social Laws for Arti cial AgentSocieties : OLine Design , 1995 .

[75]  Jeffrey S. Rosenschein,et al.  A Domain Theory for Task Oriented Negotiation , 1993, IJCAI.

[76]  Jeffrey S. Rosenschein,et al.  Synchronization of Multi-Agent Plans , 1982, AAAI.

[77]  Zimmer,et al.  A First-order Formalization of Knowl- Edge and Action for a Multi-agent Planning System. In , .

[78]  Jeffrey S. Rosenschein,et al.  Coalition, Cryptography, and Stability: Mechanisms for Coalition Formation in Task Oriented Domains , 2018, AAAI.

[79]  Witold Lukaszewicz,et al.  Reasoning about Plans , 1997, IJCAI.

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

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

[82]  A. Rubinstein Perfect Equilibrium in a Bargaining Model , 1982 .

[83]  Edmund H. Durfee,et al.  The Utility of Communication in Coordinating Intelligent Agents , 1991, AAAI.

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

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

[86]  Edmund H. Durfee,et al.  A decision-theoretic approach to coordinating multiagent interactions , 1991, IJCAI 1991.

[87]  Christopher Stuart,et al.  An Implementation of a Multi-Agent Plan Synchronizer , 1985, IJCAI.

[88]  C. Sidner,et al.  Plans for Discourse , 1988 .

[89]  Eithan Ephrati,et al.  Distributed consensus mechanisms for self-interested heterogeneous agents , 1993, [1993] Proceedings International Conference on Intelligent and Cooperative Information Systems.

[90]  Frederick Hayes-Roth,et al.  Distributed Intelligence for Air Fleet Control , 1981 .

[91]  Edmund H. Durfee,et al.  Negotiating Task Decomposition and Allocation Using Partial Global Planning , 1989, Distributed Artificial Intelligence.

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

[93]  Jeffrey S. Rosenschein,et al.  Mechanism Design for Automated Negotiation, and its Application to Task Oriented Domains , 1996, Artif. Intell..

[94]  Matthew J. Katz,et al.  Verifying plans for multiple agents , 1993, J. Exp. Theor. Artif. Intell..

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

[96]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[97]  Mark S. Fox,et al.  An Organizational View of Distributed Systems , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

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

[99]  Victor R. Lesser,et al.  A One-shot Dynamic Coordination Algorithm for Distributed Sensor Networks , 1993, AAAI.

[100]  Kenneth G. Binmore,et al.  Essays on Foundations of Game Theory , 1982 .

[101]  Katia P. Sycara,et al.  Resolving Goal Conflicts via Negotiation , 1988, AAAI.

[102]  Moshe Tennenholtz,et al.  On Cooperation in a Multi-Entity Model , 1989, IJCAI.

[103]  A. Roth Axiomatic models of bargaining , 1979 .

[104]  Jeffrey S. Rosenschein,et al.  Rational interaction: cooperation among intelligent agents , 1986 .

[105]  Sarit Kraus,et al.  The Function of Time in Cooperative Negotiations , 1990, AAAI.

[106]  Grattan StreetCarlton,et al.  Commitment and Eeectiveness of Situated Agents , 1991 .

[107]  Edmund H. Durfee,et al.  Elements of a Utilitarian Theory of Knowledge and Action , 1993, IJCAI.

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

[109]  Victor R. Lesser,et al.  Generalizing the Partial Global Planning Algorithm , 1992, Int. J. Cooperative Inf. Syst..

[110]  Jeffrey S. Rosenschein,et al.  The extent of cooperation in state-oriented domains: negotiation among tidy agents , 1993 .

[111]  Anand S. Rao,et al.  Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics , 1991, IJCAI.

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

[113]  R. Aumann Subjectivity and Correlation in Randomized Strategies , 1974 .

[114]  Daniel D. Corkill,et al.  A framework for organizational self-design in distributed problem solving networks , 1983 .

[115]  Frank von Martial Coordinating Plans of Autonomous Agents , 1992, Lecture Notes in Computer Science.

[116]  V. Lesser,et al.  Negotiation and Its Role in Cooperative Distributed Problem-Solving , 1990 .

[117]  H. Raiffa The art and science of negotiation , 1983 .

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

[119]  Jacques Ferber,et al.  Using reactive multi-agent systems in simulation and problem solving , 1992 .

[120]  Sarit Kraus,et al.  Collaborative Plans for Group Activities , 1993, IJCAI.

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

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

[123]  Thomas W. Malone,et al.  Organizing information processing systems: parallels between human organizations and computer systems , 1990 .