State-of-the-art in Agent-based Services

EU-IST Network of Excellence (NoE) IST-2004-507482 KWEB Deliverable D2.4.3 This deliverable covers the current state-of-the-art in Agent-based services. It consists of two main parts. The first part provides an overview of autonomous agents and multi-agents systems, describing their desired properties and micro (agent-level) and macro (society-level) issues that need to be addressed to build such systems. The second part of the document addresses technical issues of building Agent-based services, describing the FIPA standardization effort, and a list of major publicly available implementations of agent platforms. Finally this delivery presents the Agentcities testbed. Keyword list: Agent, MAS, Services, Collaboration, ACL, FIPA, Agentcities

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

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

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

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

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

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

[7]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[8]  Nigel Gilbert,et al.  Emergence in social simulation , 1995 .

[9]  Pattie Maes,et al.  Designing autonomous agents: Theory and practice from biology to engineering and back , 1990, Robotics Auton. Syst..

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

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

[12]  Eduardo Alonso Fernández,et al.  Rules of encounter: designing conventions for automated negotiation among computers , 1995 .

[13]  Katia Sycara,et al.  Persuasive argumentation in negotiation , 1990 .

[14]  Simon Parsons,et al.  Do the right thing - studies in limited rationality by Stuart Russell and Eric Wefald, MIT Press, Cambridge, MA, £24.75, ISBN 0-262-18144-4 , 1994, The Knowledge Engineering Review.

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

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

[17]  Jörg P. Müller,et al.  A Cooperation Model for Autonomous Agents , 1996, ATAL.

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

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

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

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

[22]  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.

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

[24]  Earl D. Sacerdott.  Planning in a hierarchy of abstraction spaces , 1973, IJCAI 1973.

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

[26]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

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

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

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

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

[31]  David Chapman,et al.  Pengi: An Implementation of a Theory of Activity , 1987, AAAI.

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

[33]  Henry Prakken,et al.  Logics for Defeasible Argumentation , 2001 .

[34]  Edmund H. Durfee,et al.  Distributed Problem Solving and Planning , 2001, EASSS.

[35]  M. Bargh,et al.  Agent technology for designing personalized mobile service brokerage , 2022 .

[36]  Agostino Poggi,et al.  Adding Extensible Synchronization Capabilities to the Agent Model of a FIPA-Compliant Agent Platform , 2009, AOSE.

[37]  Philippe Bretier,et al.  A Rational Agent as the Kernel of a Cooperative Spoken Dialogue System: Implementing a Logical Theory of Interaction , 1996, ATAL.

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

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

[40]  Peter F. Patel-Schneider,et al.  The DARPA Knowledge Sharing Effort: A Progress Report , 1997, KR.

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

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

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

[44]  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.

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

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

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

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

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

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

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

[52]  Sarit Kraus,et al.  Strategic Negotiation in Multiagent Environments , 2001, Intelligent robots and autonomous agents.

[53]  David E. Smith,et al.  Reasoning About Action I: A Possible Worlds Approach , 1987, Artif. Intell..

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

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

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

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

[58]  Earl D. Sacerdoti,et al.  The Nonlinear Nature of Plans , 1975, IJCAI.

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

[60]  Forlano George.  An Experiment in Coöperation , 1932 .

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

[62]  Erann Gat,et al.  Experiences with an architecture for intelligent, reactive agents , 1997, J. Exp. Theor. Artif. Intell..

[63]  Sarit Kraus,et al.  Reaching Agreements Through Argumentation: A Logical Model and Implementation , 1998, Artif. Intell..

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

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

[66]  M. R. Genesereth,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.

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

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

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

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

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

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

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

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

[75]  John R. Searle,et al.  Speech Acts: An Essay in the Philosophy of Language , 1970 .

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

[77]  J. Austin.  How to do things with words , 1962 .