Foundations of logic programming
Foundations of logic programming
Introduction to algorithms
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Representing plans under uncertainty: a logic of time, chance, and action
Representing plans under uncertainty: a logic of time, chance, and action
Modeling a dynamic and uncertain world I: symbolic and probabilistic reasoning about change
Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Reasoning about knowledge
COBRA fundamentals and programming
COBRA fundamentals and programming
The independent choice logic for modelling multiple agents under uncertainty
Artificial Intelligence - Special issue on economic principles of multi-agent systems
ProbView: a flexible probabilistic database system
ACM Transactions on Database Systems (TODS)
Modeling belief in dynamic systems, part I: foundations
Artificial Intelligence
Heterogeneous active agents, I: semantics
Artificial Intelligence
Heterogeneous active agents, III: polynomially implementable agents
Artificial Intelligence
ACM Transactions on Computational Logic (TOCL)
Artificial Intelligence
Markov Decision Processes: Discrete Stochastic Dynamic Programming
Markov Decision Processes: Discrete Stochastic Dynamic Programming
Object Database Standard: ODMG-93
Object Database Standard: ODMG-93
A data model and algebra for probabilistic complex values
Annals of Mathematics and Artificial Intelligence
IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment
Annals of Mathematics and Artificial Intelligence
Electric Elves: Applying Agent Technology to Support Human Organizations
Proceedings of the Thirteenth Conference on Innovative Applications of Artificial Intelligence Conference
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
METATEM: A Framework for Programming in Temporal Logic
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Reasoning about actions in a probabilistic setting
Eighteenth national conference on Artificial intelligence
Modeling belief in dynamic systems part II: revision and update
Journal of Artificial Intelligence Research
Exploiting structure in policy construction
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Efficient decision-theoretic planning: techniques and empirical analysis
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
A stochastic language for modelling opponent agents
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Reasoning about actions with sensing under qualitative and probabilistic uncertainty
ACM Transactions on Computational Logic (TOCL)
Quantitative logic programming revisited
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Annotated probabilistic temporal logic
ACM Transactions on Computational Logic (TOCL)
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Logical implementation of uncertain agents
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Annotated Probabilistic Temporal Logic: Approximate Fixpoint Implementation
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |
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.