Stabilization of cooperative information agents in unpredictable environment: a logic programming approach

Stabilization of a system of information agents represents a capability to eventually get correct information. We argue that the stabilization of a system could be understood as the convergence of the behavior of the whole system toward the behavior of a "superagent", who has the sensing and computing capabilities of all agents combined. We give sufficient conditions for stabilization.

[1]  Rodney A. Brooks,et al.  Robot: The Future of Flesh and Machines , 2002 .

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

[3]  Luc Steels,et al.  The artificial life route to artificial intelligence : building embodied , 1995 .

[4]  Shlomi Dolev,et al.  Self Stabilization , 2004, J. Aerosp. Comput. Inf. Commun..

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

[6]  Christian Huitema,et al.  Routing in the Internet (2nd ed.) , 1999 .

[7]  R. Bellman.  Dynamic programming. , 1957, Science.

[8]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[9]  John Moy,et al.  OSPF Version 2 , 1998, RFC.

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

[11]  Charles L. Hedrick,et al.  Routing Information Protocol , 1988, RFC.

[12]  Alan MacLennan,et al.  The artificial life route to artificial intelligence: Building embodied, situated agents , 1996 .

[13]  Leslie Pack Kaelbling,et al.  A Situated View of Representation and Control , 1995, Artif. Intell..

[14]  Edmund H. Durfee,et al.  Trends in Cooperative Distributed Problem Solving , 1989, IEEE Trans. Knowl. Data Eng..

[15]  Evelina Lamma,et al.  Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate , 2004, Annals of Mathematics and Artificial Intelligence.

[16]  Edsger W. Dijkstra,et al.  Self-stabilizing systems in spite of distributed control , 1974, CACM.

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

[18]  Ken Satoh,et al.  Speculative computation with multi-agent belief revision , 2002, AAMAS '02.

[19]  Paolo Torroni,et al.  Dialogues for Negotiation: Agent Varieties and Dialogue Sequences , 2001, ATAL.

[20]  Christian Huitema,et al.  Routing in the Internet , 1995 .

[21]  D. R. Fulkerson,et al.  Flows in Networks. , 1964 .

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

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