Heterogeneous temporal probabilistic agents

To date, there has been no work on temporal probabilistic agent reasoning on top of heterogeneous legacy databases and software modules. We will define the concept of a heterogeneous temporal probabilistic (HTP) agent. Such agents can be built on top of existing databases, data structures, and software code bases without explicitly accessing the internal code of those systems and can take actions compatible with a policy or operating principles specified by an agent developer. We will develop a formal semantics for such agents through the notion of a feasible temporal probabilistic status interpretation (FTPSI for short). Intuitively, an FTPSI specifies what all an HTP agent is permitted/forbidden/obliged to do at various times t. As changes occur in the environment, the HTP agent must compute a new FTPSI. HTP agents continuously compute FTPSIs in order to determine what they should do and, hence, the problem of computing FTPSIs is very important. We give a sound and complete algorithm to compute FTPSIs for a very large class of HTP agents called strict HTP agents. In a given state, many FTPSIs may exist. These represent alternative courses of action that the HTP agent can take. We provide a notion of an optimal FTPSI that selects an FTPSI optimizing an objective function and give a sound and complete algorithm to compute an optimal FTPSI.

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

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

[3]  Thomas Lukasiewicz,et al.  A data model and algebra for probabilistic complex values , 2001, Annals of Mathematics and Artificial Intelligence.

[4]  Joseph Y. Halpern,et al.  Knowledge, probability, and adversaries , 1993, JACM.

[5]  Catherine Wolfram.  Strategic Bidding in a Multi-Unit Auction: An Empirical Analysis of Bids to Supply Electricity , 1997 .

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

[7]  Chitta Baral,et al.  Reasoning about actions in a probabilistic setting , 2002, AAAI/IAAI.

[8]  Joseph Y. Halpern,et al.  Modeling Belief in Dynamic Systems, Part II: Revisions and Update , 1999, J. Artif. Intell. Res..

[9]  J. M. Larrazabal,et al.  Reasoning about change , 1991 .

[10]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

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

[12]  Craig Boutilier,et al.  Exploiting Structure in Policy Construction , 1995, IJCAI.

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

[14]  Patrick Doherty,et al.  TAL: Temporal Action Logics Language Specification and Tutorial , 1998, Electron. Trans. Artif. Intell..

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

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

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

[18]  Joseph Y. Halpern,et al.  Modeling Belief in Dynamic Systems, Part I: Foundations , 1997, Artif. Intell..

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

[20]  Jean Oh,et al.  Electric Elves: Applying Agent Technology to Support Human Organizations , 2001, IAAI.

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

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

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

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

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

[26]  Craig Boutilier,et al.  Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.

[27]  Didier Dubois,et al.  Processing fuzzy temporal knowledge , 1989, IEEE Trans. Syst. Man Cybern..

[28]  Raghu V. Hudli,et al.  CORBA fundamentals and programming , 1996 .

[29]  V. S. Subrahmanian,et al.  Theory of Generalized Annotated Logic Programming and its Applications , 1992, J. Log. Program..

[30]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[31]  Craig Boutilier,et al.  Decision-Theoretic Planning: Structural Assumptions and Computational Leverage , 1999, J. Artif. Intell. Res..

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

[33]  Peter Haddawy,et al.  Efficient Decision-Theoretic Planning: Techniques and Empirical Analysis , 1995, UAI.

[34]  Ranjeev Mittu,et al.  Building upon the Coalitions Agent Experiment (COAX) - Integration of Multimedia Information in GCCS-M using IMPACT , 2003, Multimedia Information Systems.

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

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

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

[38]  David Madigan,et al.  Probabilistic Temporal Reasoning , 2005, Handbook of Temporal Reasoning in Artificial Intelligence.

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

[40]  Drew McDermott,et al.  Modeling a Dynamic and Uncertain World I: Symbolic and Probabilistic Reasoning About Change , 1994, Artif. Intell..

[41]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

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

[43]  Raymond Reiter,et al.  Sequential, Temporal GOLOG , 1998, KR.

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

[45]  Ronald Fagin,et al.  A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[46]  Timothy J. Rogers,et al.  Fusing Live Sensor Data into Situational Multimedia Views , 2003, Multimedia Information Systems.

[47]  Hector Muñoz-Avila,et al.  IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment , 2003, Annals of Mathematics and Artificial Intelligence.

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

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

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

[51]  David Poole,et al.  The Independent Choice Logic for Modelling Multiple Agents Under Uncertainty , 1997, Artif. Intell..

[52]  Martin L. Puterman,et al.  Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .

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