An analysis of first-order logics of probability
Artificial Intelligence
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Finite-model theory—a personal perspective
ICDT Selected papers of the 4th international conference on Database theory
Reasoning about knowledge and probability
Journal of the ACM (JACM)
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Reasoning about noisy sensors and effectors in the situation calculus
Artificial Intelligence
Autonomous mobile manipulators managing perception and failures
Proceedings of the fifth international conference on Autonomous agents
Interleaving Planning and Robot Execution for Asynchronous User Requests
Autonomous Robots - Special issue on autonomous agents
Nondeterminism and Uncertainty in the Situation Calculus
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference
Open World Planning in the Situation Calculus
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
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
The domestic robot—a friendly cognitive system takes care of your home
Ambient intelligence
Reasoning about actions with sensing under qualitative and probabilistic uncertainty
ACM Transactions on Computational Logic (TOCL)
Team programming in Golog under partial observability
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Game-theoretic agent programming in Golog under partial observability
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Adaptive multi-agent programming in GTGolog
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
An overview of AI research in Italy
Artificial intelligence
Probabilistic reasoning about actions in nonmonotonic causal theories
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Structure-based causes and explanations in the independent choice logic
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
| Hi-index | 0.00 |
We present a formal framework for treating both incomplete information in the initial database and possible failures during an agent's execution of a course of actions. These two aspects of uncertainty are formalized by two different notions of probability. We introduce also a concept of expected probability, which is obtained by combining the two previous notions. Expected probability accounts for the probability of a sentence on the hypothesis that the sequence of actions needed to make it true might have failed. Expected probability leads to the possibility of comparing courses of actions and verifying which is more safe.