Agent-Based Computing

Agent-based computing represents an exciting new synthesis for both Artificial Intelligence and, more generally, Computer Science. It has the potential to improve the theory and the practice of modelling, designing and implementing complex computer systems. Yet, to date, there has been little systematic analysis of what makes the agent-based approach such an appealing and powerful computational model. To rectify this situation, this paper aims to tackle exactly this issue. The standpoint of this analysis is the role of agent-based software in solving complex, realworld problems. In particular, it will be argued that the development of robust and scalable software systems requires autonomous agents that can complete their objectives while situated in a dynamic and uncertain environment, that can engage in rich, high-level interactions, and that can operate within flexible organisational structures.

[1]  J. Huisman.  The Netherlands , 1996, The Lancet.

[2]  Reid G. Smith,et al.  The Contract Net: A Formalism for the Control of Distributed Problem Solving , 1977, IJCAI.

[3]  Peter C. Wayner,et al.  Agents Unleashed: A Public Domain Look at Agent Technology , 1995 .

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

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

[6]  Allen Newell,et al.  GPS, a program that simulates human thought , 1995 .

[7]  S. Rebecca Thomas,et al.  The PLACA Agent Programming Language , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[8]  Rodney A. Brooks,et al.  Intelligence Without Reason , 1991, IJCAI.

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

[10]  C. Sierra,et al.  Automated Negotiation for Provisioning Virtual Private Networks Using FIPA-Compliant Agents , 2000 .

[11]  David E. Wilkins,et al.  Practical planning - extending the classical AI planning paradigm , 1989, Morgan Kaufmann series in representation and reasoning.

[12]  Michael Fisher,et al.  A Survey of Concurrent METATEM - the Language and its Applications , 1994, ICTL.

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

[14]  Barbara Hayes-Roth,et al.  Distributing Intelligence within an Individual , 1988, Distributed Artificial Intelligence.

[15]  Douglas E. Appelt,et al.  Planning English Sentences , 1988, Cogn. Sci..

[16]  Chang-Hyun Jo,et al.  A New Way of Discovery of Belief, Desire and Intention in the BDI Agent-Based Software Modeling , 2004, Journal of Advanced Computational Intelligence and Intelligent Informatics.

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

[18]  J. Galliers.  A theoretical framework for computer models of cooperative dialogue, acknowledging multiagent conflict , 1988 .

[19]  Michael Wooldridge,et al.  Understanding the Emergence of Conventions in Multi-Agent Systems , 1995, ICMAS.

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

[21]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[22]  Innes A. Ferguson.  Integrated Control and Coordinated Behaviour: A Case for Agent Models , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[23]  Michael Wooldridge,et al.  Agent-based software engineering , 1997, IEE Proc. Softw. Eng..

[24]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[25]  David P. Miller,et al.  Experiences with an architecture for intelligent, reactive agents , 1995, J. Exp. Theor. Artif. Intell..

[26]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..

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

[28]  H. V. Parunak.  Chapter 10 – Manufacturing Experience with the Contract Net , 1987 .

[29]  Victor R. Lesser,et al.  Issues in Automated Negotiation and Electronic Commerce: Extending the Contract Net Framework , 1997, ICMAS.

[30]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

[31]  Michael Wooldridge,et al.  Intelligent agents: theory and practice The Knowledge Engineering Review , 1995 .

[32]  Leslie Pack Kaelbling,et al.  An Architecture for Intelligent Reactive Systems , 1987 .

[33]  Mark S. Fox,et al.  COOL: A Language for Describing Coordination in Multi Agent Systems , 1995, ICMAS.

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

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

[36]  Wu Yuan.  A Methodology for Agent-oriented Analysis and Design , 2003 .

[37]  Afsaneh Haddadi,et al.  Generic, Configurable, Cooperation Protocols for Multi-Agent Systems , 1993, MAAMAW.

[38]  Edmund H. Durfee,et al.  Evaluating Research in Cooperative Distributed Problem Solving , 1990, Distributed Artificial Intelligence.

[39]  Mark Klein,et al.  A Computational Model for Conflict Resolution in Cooperative Design Systems , 1990 .

[40]  Nicholas V. Findler,et al.  An examination of distributed planning in the world of air traffic control , 1988 .

[41]  Afsaneh Haddadi,et al.  Communication and Cooperation in Agent Systems , 1995, Lecture Notes in Computer Science.

[42]  Daniel S. Weld,et al.  Intelligent Agents on the Internet: Fact, Fiction, and Forecast , 1995, IEEE Expert.

[43]  C. Butler,et al.  An experiment in cooperation. , 1969, Nursing outlook.

[44]  Rodney A. Brooks,et al.  A Robust Layered Control Syste For A Mobile Robot , 2022 .

[45]  Claudia V. Goldman,et al.  Emergent Coordination through the Use of Cooperative State-Changing Rules , 1994, AAAI.

[46]  Fred P. Brooks,et al.  The Mythical Man-Month , 1975, Reliable Software.

[47]  Michael R. Genesereth,et al.  Software agents , 1994, CACM.

[48]  Michael Wooldridge,et al.  Coherent Social Action , 1994, ECAI.

[49]  Nicholas R. Jennings,et al.  Applying agent technology , 1995, Appl. Artif. Intell..

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

[51]  Devika Subramanian,et al.  Provably Bounded Optimal Agents , 1993, IJCAI.

[52]  N. Gilbert,et al.  Artificial Societies: The Computer Simulation of Social Life , 1995 .

[53]  Nicholas R. Jennings.  On Agent-Based Software Engineering" Artificial Intelligence , 2000 .

[54]  Rodney A. Brooks,et al.  Elephants don't play chess , 1990, Robotics Auton. Syst..

[55]  C. Raymond Perrault,et al.  Elements of a Plan-Based Theory of Speech Acts , 1979, Cogn. Sci..

[56]  Hector J. Levesque,et al.  Rational interaction as the basis for communication , 2003 .

[57]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[58]  Robert Weihmayer,et al.  Conflict-resolution Strategies for Nonhierarchical Distributed Agents , 1989, Distributed Artificial Intelligence.

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

[60]  Timothy W. Bickmore,et al.  A basic agent , 1990, Comput. Intell..

[61]  B. Habibi,et al.  Pengi : An Implementation of A Theory of Activity , 1998 .

[62]  N. R. Jennings,et al.  To appear in: Int Journal of Group Decision and Negotiation GDN2000 Keynote Paper Automated Negotiation: Prospects, Methods and Challenges , 2022 .

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

[64]  Nicholas R. Jennings,et al.  Using similarity criteria to make issue trade-offs in automated negotiations , 2002, Artif. Intell..

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

[66]  Chang-Hyun Jo,et al.  A Process for BDI Agent-Based Software Construction , 2003, Software Engineering Research and Practice.

[67]  Michael Wooldridge,et al.  Production Sequencing as Negotiation , 1996, PAAM.

[68]  Michael Fisher,et al.  Representing and Executing Agent-Based Systems , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[69]  Agostino Poggi,et al.  DAISY: An Object-Oriented System for Distributed Artificial Intelligence , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[70]  Nicholas R. Jennings,et al.  Agent-based control systems , 2003 .

[71]  Randall W. Hill,et al.  Coordinated Problem Solvers , 1990 .

[72]  Michael Wooldridge,et al.  The logical modelling of computational multi-agent systems , 1992 .

[73]  Victor R. Lesser,et al.  Distributed Interpretation: A Model and Experiment , 1980, IEEE Transactions on Computers.

[74]  Nicholas R. Jennings,et al.  Negotiation decision functions for autonomous agents , 1998, Robotics Auton. Syst..

[75]  Pattie Maes,et al.  Agents that reduce work and information overload , 1994, CACM.

[76]  Luc Steels,et al.  Cooperation between distributed agents through self-organisation , 1990, EEE International Workshop on Intelligent Robots and Systems, Towards a New Frontier of Applications.

[77]  Timothy W. Finin,et al.  Evaluation of KQML as an Agent Communication Language , 1995, ATAL.

[78]  Anand S. Rao,et al.  Design of a Concurrent Agent-Oriented Language , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[79]  Daniel Marcu,et al.  Foundations of a Logical Approach to Agent Programming , 1995, ATAL.

[80]  Pattie Maes,et al.  Situated agents can have goals , 1990, Robotics Auton. Syst..

[81]  Nicholas R. Jennings,et al.  On agent-based software engineering , 2000, Artif. Intell..

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

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

[84]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[85]  NICHOLAS R. JENNINGS,et al.  An agent-based approach for building complex software systems , 2001, CACM.

[86]  Michael Luck,et al.  Formalising the Contract Net as a Goal-Directed System , 1996, MAAMAW.

[87]  Gerald W. Both,et al.  Object-oriented analysis and design with applications , 1994 .

[88]  Russell Smith.  The contract net protocol , 1980 .

[89]  Hans-Dieter Burkhard,et al.  Agent-Oriented Programming for Open Systems , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[90]  Sarah Rebecca Thomas,et al.  PLACA, an agent oriented programming language , 1993 .

[91]  Anand S. Rao,et al.  A Methodology and Modelling Technique for Systems of BDI Agents , 1996, MAAMAW.

[92]  Victor R. Lesser,et al.  Designing a Family of Coordination Algorithms , 1997, ICMAS.

[93]  StartNewDiagnosis,et al.  Developing Industrial Multi-Agent Systems † , 2022 .

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

[95]  Leslie Pack Kaelbling,et al.  The Synthesis of Digital Machines With Provable Epistemic Properties , 1986, TARK.

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

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

[98]  Chang-Hyun Jo,et al.  A seamless approach to the agent development , 2001, SAC.

[99]  R. James Firby,et al.  An Investigation into Reactive Planning in Complex Domains , 1987, AAAI.

[100]  Sam Steel,et al.  Integrating Planning, Execution and Monitoring , 1988, AAAI.

[101]  J PetrieCharles.  Agent-Based Engineering, the Web, and Intelligence , 1996 .

[102]  Nicholas R. Jennings,et al.  Efficient mechanisms for the supply of services in multi-agent environments , 1998, ICE '98.

[103]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

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

[105]  Innes A. Ferguson.  TouringMachines: an architecture for dynamic, rational, mobile agents , 1992 .

[106]  Pattie Maes,et al.  The agent network architecture (ANA) , 1991, SGAR.

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

[108]  Qiang Yang,et al.  A catalog of agent coordination patterns , 1999, AGENTS '99.

[109]  Jeffrey S. Rosenschein,et al.  Time and the Prisoner's Dilemma , 2007, ICMAS.

[110]  Chang-Hyun Jo,et al.  The Agent-based Programming Language: APL , 2002, SAC '02.

[111]  Victor Lesser,et al.  Conflict Resolution Strategies for Cooperating Expert Agents , 1991 .

[112]  Stuart J. Russell,et al.  Do the right thing - studies in limited rationality , 1991 .

[113]  Michael Graham,et al.  Roles, Skills and Behaviour: A Situated Action Approach to Orgenising Systems of Interacting Agents , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[114]  Jeffrey S. Rosenschein,et al.  Rules of Encounter - Designing Conventions for Automated Negotiation among Computers , 1994 .

[115]  David Chapman,et al.  Planning for Conjunctive Goals , 1987, Artif. Intell..

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

[117]  Nicholas R. Jennings,et al.  Software Engineering with Agents: Pitfalls and Pratfalls , 1999, IEEE Internet Comput..

[118]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[119]  Les Gasser,et al.  AI on the WWW : Supply and Demand Agents , 1995, IEEE Expert.

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

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

[122]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[123]  M. Georgeff,et al.  Formal Models and Decision Procedures for Multi-Agent Systems , 1995 .

[124]  Chang-Hyun Jo,et al.  A new approach to the BDI agent-based modeling , 2004, SAC '04.

[125]  Gul Agha,et al.  Research directions in concurrent object-oriented programming , 1993 .

[126]  Michael Wooldridge,et al.  Formalizing the Cooperative Problem Solving Process , 1994 .

[127]  Joseph Y. Halpern,et al.  “Sometimes” and “not never” revisited: on branching versus linear time temporal logic , 1986, JACM.

[128]  Nicholas R. Jennings,et al.  Applied Artificial Intelligence: An International Journal , 2022 .

[129]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[130]  Michael Wooldridge,et al.  Agent technology: foundations, applications, and markets , 1998 .

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

[132]  Hector J. Levesque,et al.  Communicative Actions for Artificial Agents , 1997, ICMAS.