Agents dealing with time and uncertainty

Situated agents in the real world need to handle the fact that events occur frequently, as well as the fact that the agent typically has uncertain knowledge about what is true in the world. The ability to reason about both time and uncertainty is therefore very important. In this paper, we develop a formal theory of agents that can reason about both time and uncertainty. The theory extends the notion of agents described in [10, 21] and proposes the notion of temporal probabilistic (or TP) agents. A formal semantics for TP-agents is proposed - this semantics is described via structures called feasible TP-status interpretations (FTPSI's). TP-agents continuously evaluate changes (in the state of the environment they are situated in) and compute appropriate FTPSI's. For a class of TP-agents called positive TP-agents, we develop a provably sound and complete procedure to compute FTPSI's.

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

[2]  Dov M. Gabbay,et al.  METATEM: A Framework for Programming in Temporal Logic , 1989, REX Workshop.

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

[4]  Didier Dubois,et al.  Towards Possibilistic Logic Programming , 1991, ICLP.

[5]  R. K. Shyamasundar,et al.  Introduction to algorithms , 1996 .

[6]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[7]  Gai CarSO A Logic for Reasoning about Probabilities * , 2004 .

[8]  Jürgen Dix,et al.  Temporal agent programs , 2001, Artif. Intell..

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

[10]  Saharon Shelah,et al.  Reasoning with Time and Chance , 1982, Inf. Control..

[11]  J. Carbonell,et al.  Representing Plans Under Uncertainty: A Logic of Time, Chance, and Action , 1994 .

[12]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[13]  George Boole,et al.  The Laws of Thought , 2003 .

[14]  Thomas L. Dean,et al.  Probabilistic Temporal Reasoning , 1988, AAAI.

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

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

[17]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[18]  Sarit Kraus,et al.  Preliminary thoughts on an agent description language , 1991, Int. J. Intell. Syst..

[19]  Keiji Kanazawa,et al.  A Logic and Time Nets for Probabilistic Inference , 1991, AAAI.

[20]  H. Prade,et al.  Possibilistic logic , 1994 .

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

[22]  Jürgen Dix,et al.  Probabilistic agent programs , 1999, TOCL.

[23]  E. Sandewall Features and fluents (vol. 1): the representation of knowledge about dynamical systems , 1995 .

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

[25]  Erik Sandewall Features and fluents : representation of knowledge about dynamical systems , 1994 .