Multiagent systems and societies of agents

Agents operate and exist in some environment, which typically is both computational and physical. The environment might be open or closed, and it might or might not contain other agents. Although there are situations where an agent can operate usefully by itself, the increasing interconnection and networking of computers is making such situations rare, and in the usual state of aaairs the agent interacts with other agents. Whereas the previous chapter deened the structure and characteristics of an individual agent, the focus of this chapter is on systems with multiple agents. At times, the number of agents may be too numerous to deal with them individually, and it is then more convenient to deal with them collectively, as a society of agents. In this chapter, we will learn how to analyze, describe, and design environments in which agents can operate eeectively and interact with each other productively. The environments will provide a computational infrastructure for such interactions to take place. The infrastructure will include protocols for agents to communicate and protocols for agents to interact. Communication protocols enable agents to exchange and understand messages. Interaction protocols enable agents to have conversations, which for our purposes are structured exchanges of messages. As a concrete example of these, a communication protocol might specify that the following types of messages can be exchanged between two agents: Propose a course of action Accept a course of action Reject a course of action Retract a course of action Disagree with a proposed course of action Counterpropose a course of action Based on these message types, the following conversation|an instance of an

[1]  Munindar P. Singh Commitments Among Autonomous Agents in Information-Rich Environments , 1997, MAAMAW.

[2]  Diane J. Cook,et al.  Flexible Social Laws , 1995, IJCAI.

[3]  Timothy W. Finin,et al.  A semantics approach for KQML—a general purpose communication language for software agents , 1994, CIKM '94.

[4]  Michael N. Huhns,et al.  An Ontology Tool for Distributed Information Environments , 1997 .

[5]  Michael P. Wellman A computational market model for distributed configuration design , 1994, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[6]  Richard Fikes,et al.  The Ontolingua Server: a tool for collaborative ontology construction , 1997, Int. J. Hum. Comput. Stud..

[7]  Timothy W. Finin,et al.  An Overview of KQML: A Knowledge Query and Manipulation Language , 1991 .

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

[9]  Jeffrey S. Rosenschein,et al.  Designing Conventions for Automated Negotiation , 1994, AI Mag..

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

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

[12]  Frederick H. Lochovsky,et al.  Knowledge Communication in Intelligent Information Systems , 1992, Int. J. Cooperative Inf. Syst..

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

[14]  Randall Davis,et al.  Negotiation as a Metaphor for Distributed Problem Solving , 1988, Artif. Intell..

[15]  Eric Horvitz,et al.  Time-Dependent Utility and Action Under Uncertainty , 1991, UAI.

[16]  Afsaneh Haddadi Towards a Pragmatic Theory of Interactions , 1995, ICMAS.

[17]  Edmund H. Durfee,et al.  A Hierarchical Protocol for Coordinating Mulitagent Behaviors , 1990, AAAI.

[18]  Gio Wiederhold,et al.  Mediators in the architecture of future information systems , 1992, Computer.

[19]  C. Badcock,et al.  Simulating Societies: The Computer Simulation of Social Phenomena , 1995 .

[20]  Peter Haddawy,et al.  Believing change and changing belief , 1996, IEEE Trans. Syst. Man Cybern. Part A.

[21]  Michael N. Huhns,et al.  Chapter 9 – DAI for Document Retrieval: The MINDS Project , 1987 .

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

[23]  R. Conte,et al.  Cognitive and social action , 1995 .

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

[25]  Carl Hewitt,et al.  Open Information Systems Semantics for Distributed Artificial Intelligence , 1991, Artif. Intell..

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

[27]  Daniel D. Corkill,et al.  GBB: A Generic Blackboard Development System , 1986, AAAI.

[28]  A. Koller,et al.  Speech Acts: An Essay in the Philosophy of Language , 1969 .

[29]  Munindar P. Singh,et al.  A mediated approach to open, large-scale information management , 1995, Proceedings International Phoenix Conference on Computers and Communications.

[30]  Cristiano Castelfranchi,et al.  Commitments: From Individual Intentions to Groups and Organizations , 1995, ICMAS.

[31]  Nicholas R. Jennings,et al.  Commitments and conventions: The foundation of coordination in multi-agent systems , 1993, The Knowledge Engineering Review.

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

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

[34]  Man Kit Chang,et al.  Sanp : a communication level protocol for supporting machine-to-machine negotiation in organization , 1991 .

[35]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[36]  Michael N. Huhns,et al.  Multiagent truth maintenance , 1991, IEEE Trans. Syst. Man Cybern..

[37]  J. Müller,et al.  A communication architecture for cooperating agents , 1993 .