Probabilistic agent programs

Agents are small programs that autonomously take actions based on changes in their environment or “state”. Over the last few years, there has been an increasing number of efforts to build agents that can interact and/or collaborate with other agents. In one of these efforts Eiter et al. [1999] have shown how agents may be built on top of legacy code. However, their framework assumes that agent states are completely determined, and there is no uncertainty in an agent's state. Thus, their framework allows an agent developer to specify how his agents will react when the agent is 100% sure about what is true/false in the world state. In this paper, we propose the concept of a probabilistic agent program and show how, given an arbitrary program written in any imperative language, we may build a declarative “probabilistic” agent program on top of it which supports decision making in the presence of uncertainty. We provide two alternative semantics for probabilitic programs. We provide sound and complete algorithms to compute the semantics of positive agent programs.

[1]  V. S. Subrahmanian.  On the Semantics of Quantitative Logic Programs , 1987, SLP.

[2]  Peter Haddawy,et al.  Representing Plans Under Uncertainty , 1994, Lecture Notes in Computer Science.

[3]  Thomas Lukasiewicz,et al.  Probabilistic Logic Programming , 1998, ECAI.

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

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

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

[7]  Sarit Kraus,et al.  Knowledge, Belief and Time , 1986, Theor. Comput. Sci..

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

[9]  V. S. Subrahmanian,et al.  Hybrid probabilistic logic programs , 1997 .

[10]  Moti Schneider,et al.  A stochastic model of actions and plans for anytime planning under uncertainty , 1995, Int. J. Intell. Syst..

[11]  L. Morgenstern,et al.  Foundations of a logic of knowledge, action, and communication , 1988 .

[12]  László Györfi,et al.  A Probabilistic Theory of Pattern Recognition , 1996, Stochastic Modelling and Applied Probability.

[13]  Stuart J. Russell,et al.  Image Segmentation in Video Sequences: A Probabilistic Approach , 1997, UAI.

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

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

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

[17]  Munindar P. Singh.  A Customizable Coordination Service for Autonomous Agents , 1997, ATAL.

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

[19]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[20]  V. S. Subrahmanian,et al.  Probabilistic Logic Programming , 1992, Inf. Comput..

[21]  Nicholas Kushmerick,et al.  An Algorithm for Probabilistic Planning , 1995, Artif. Intell..

[22]  Narendra Karmarkar,et al.  A new polynomial-time algorithm for linear programming , 1984, Comb..

[23]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

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

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

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

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

[28]  Ingemar J. Cox,et al.  PicHunter: Bayesian relevance feedback for image retrieval , 1996, Proceedings of 13th International Conference on Pattern Recognition.

[29]  Alex Pentland,et al.  Beyond eigenfaces: probabilistic matching for face recognition , 1998, Proceedings Third IEEE International Conference on Automatic Face and Gesture Recognition.

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

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

[32]  Andrew B. Lippman,et al.  Embedded mixture modeling for efficient probabilistic content-based indexing and retrieval , 1998, Other Conferences.

[33]  L. Khachiyan.  Polynomial algorithms in linear programming , 1980 .

[34]  AnHai Doan,et al.  Modeling Probabilistic Actions for Practical Decision-Theoretic Planning , 1996, AIPS.

[35]  Leslie Pack Kaelbling,et al.  Planning and Acting in Partially Observable Stochastic Domains , 1998, Artif. Intell..

[36]  Daphne Koller.  Structured Probabilistic Models: Bayesian Networks and Beyond , 1998, AAAI/IAAI.

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

[38]  Glenn Shafer,et al.  Readings in Uncertain Reasoning , 1990 .

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

[40]  Anil K. Jain,et al.  Bayesian framework for semantic classification of outdoor vacation images , 1998, Electronic Imaging.

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

[42]  David B. Cooper,et al.  Computationally fast Bayesian recognition of complex objects based on mutual algebraic invariants , 1995, Proceedings., International Conference on Image Processing.

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

[44]  Jürgen Dix,et al.  Meta-agent programs , 2000, J. Log. Program..

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

[46]  J. van Leeuwen,et al.  Logic Programming , 2002, Lecture Notes in Computer Science.

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

[48]  L. G. H. Cijan.  A polynomial algorithm in linear programming , 1979 .

[49]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

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

[51]  Stuart J. Russell,et al.  Object Identification: A Bayesian Analysis with Application to Traffic Surveillance , 1998, Artif. Intell..