Meta-agent programs

Abstract There are numerous applications where an agent a needs to reason about the beliefs of another agent, as well as about the actions that other agents may take. In [T. Eiter, V.S. Subrahmanian, G. Pick, Heterogeneous Active Agents, I: Semantics, Artificial Intelligence 108(1–2) (1999) 179–255] the concept of an agent program is introduced, and a language within which the operating principles of an agent can be declaratively encoded on top of imperative data structures is defined. In this paper we first introduce certain belief data structures that an agent needs to maintain. Then we introduce the concept of a Meta Agent Program ( map ), that extends the framework of Refs. [T. Eiter, V.S. Subrahmanian, Heterogeneous Active Agents, II: Algorithms and Complexity, Artificial Intelligence 108(1–2) (1999) 257–307; loc. cit.] so as to allow agents to perform metareasoning. We build a formal semantics for map s, and show how this semantics supports not just beliefs agent a may have about agent b 's state, but also beliefs about agents b 's beliefs about agent c 's actions, beliefs about b 's beliefs about agent c 's state, and so on. Finally, we provide a transansation that takes any map as input and converts it into an agent program such that there is a one–one correspondence between the semantics of the map and the semantics of the resulting agent program. This correspondence allows an implementation of map s to be built on top of an implementation of agent programs.

[1]  Sarit Kraus,et al.  Data-Security in Heterogeneous Agent Systems , 1998, CIA.

[2]  Sumit Sarkar,et al.  A probabilistic relational model and algebra , 1996, TODS.

[3]  Floyd Wilder,et al.  A Guide to the Tcp/Ip Protocol Suite , 1931 .

[4]  Curtis E. Dyreson,et al.  Supporting valid-time indeterminacy , 1998, TODS.

[5]  Ronald Fagin,et al.  Uncertainty, belief, and probability , 1989, IJCAI 1989.

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

[7]  P. J. Fitzgerald,et al.  Law and Logic , 1964 .

[8]  V. S. Subrahmanian,et al.  Heterogeneous Active Agents , 1998 .

[9]  Jürgen Dix,et al.  Heterogenous Active Agents , 2000 .

[10]  Jürgen Dix,et al.  Computation of the Semantics of Autoepistemic Belief Theories , 1999, Artif. Intell..

[11]  Robert B. Ross,et al.  IMPACT: the interactive Maryland platform for agents collaborating together , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[12]  Jean-David Sta.  Information filtering: a tool for communication between researchers , 1993, CHI '93.

[13]  R. G. G. Cattell,et al.  The Object Database Standard: ODMG-93 , 1993 .

[14]  David Jordan,et al.  The Object Database Standard: ODMG 2.0 , 1997 .

[15]  Luís Moniz Pereira,et al.  A deliberative and reactive diagnosis agent based on logic programming , 1996, Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence.

[16]  Laks V. S. Lakshmanan,et al.  ProbView: a flexible probabilistic database system , 1997, TODS.

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

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

[19]  V. S. Subrahmanian,et al.  Heterogeneous active agents, III: Polynomially implementable agents , 2000, Artif. Intell..

[20]  V. S. Subrahmanian,et al.  Heterogeneous Multimedia Reasoning , 1995, Computer.

[21]  Suguru Ishizaki,et al.  Multiagent model of dynamic design: visualization as an emergent behavior of active design agents , 1996, CHI.

[22]  Sibel Adali,et al.  A uniform framework for integrating knowledge in heterogeneous knowledge systems , 1995, Proceedings of the Eleventh International Conference on Data Engineering.

[23]  Douglas B. Terry,et al.  Using collaborative filtering to weave an information tapestry , 1992, CACM.

[24]  Robert A. Kowalski,et al.  Using Meta-Logic to Reconcile Reactive with Rational Agents , 1995, PAAM.

[25]  V. S. Subrahmanian,et al.  Heterogeneous Active Agents, II: Algorithms and Complexity , 1999, Artif. Intell..

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

[27]  Ronald Fagin,et al.  Knowledge and implicit knowledge in a distributed environment , 1986 .

[28]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[29]  V. S. Subrahmanian,et al.  Heterogeneous Active Agents, I: Semantics , 1999, Artif. Intell..

[30]  José Júlio Alferes,et al.  Reasoning with Logic Programming , 1996, Lecture Notes in Computer Science.

[31]  Koen V. Hindriks,et al.  Formal Semantics for an Abstract Agent Programming Language , 1997, ATAL.

[32]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[33]  Robert A. Kowalski,et al.  Towards a Unified Agent Architecture that Combines Rationality with Reactivity , 1996, Logic in Databases.

[34]  Christos Faloutsos,et al.  Advanced Database Systems , 1997, Lecture Notes in Computer Science.

[35]  Timothy W. Finin,et al.  Semantics for an Agent Communication Language , 1997, ATAL.

[36]  Ronald Fagin,et al.  Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report , 1988, TARK.

[37]  Vipul Kashyap,et al.  InfoSleuth: agent-based semantic integration of information in open and dynamic environments , 1997, SIGMOD '97.

[38]  Viviana Mascardi,et al.  CaseLP: a Complex Application Specification Environment based on Logic Programming , 1997 .

[39]  Anil Nerode,et al.  Hybrid Knowledge Bases , 1996, IEEE Trans. Knowl. Data Eng..

[40]  Robert B. Ross,et al.  Probabilistic temporal databases, I: algebra , 2001, TODS.

[41]  Jürgen Dix,et al.  On the equivalence of the static and disjunctive well-founded semantics and its computation , 2001, Theor. Comput. Sci..

[42]  V. S. Subrahmanian,et al.  Using hybrid knowledge bases for missile siting problems , 1994, Proceedings of the Tenth Conference on Artificial Intelligence for Applications.

[43]  Craig A. Knoblock,et al.  Retrieving and Integrating Data from Multiple Information Sources , 1993, Int. J. Cooperative Inf. Syst..

[44]  Susan T. Dumais,et al.  Personalized information delivery: an analysis of filtering methods , 1992, CHI '92.

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

[46]  V. S. Subrahmanian,et al.  Temporal Probabilistic Logic Programs , 1999, ICLP.

[47]  Pattie Maes,et al.  Evolving agents for personalized information filtering , 1993, Proceedings of 9th IEEE Conference on Artificial Intelligence for Applications.

[48]  Robert B. Ross,et al.  Impact: a platform for collaborating agents , 1999, IEEE Intell. Syst..

[49]  K. Selçuk Candan,et al.  CHIMP: a framework for supporting distributed multimedia document authoring and presentation , 1997, MULTIMEDIA '96.

[50]  Jennifer Widom,et al.  The TSIMMIS Project: Integration of Heterogeneous Information Sources , 1994, IPSJ.

[51]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[52]  Michael Wooldridge,et al.  A Formal Specification of dMARS , 1997, ATAL.

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

[54]  Daniela Rus,et al.  Digital Digital Transportable Information Agents Transportable Information Agents , 1996 .