资源论文Reasoning about Continuous Uncertainty in the Situation Calculus

Reasoning about Continuous Uncertainty in the Situation Calculus

2019-11-11 | |  64 |   48 |   0

Abstract Among the many approaches for reasoning about degrees of belief in the presence of noisy sensing and acting, the logical account proposed by Bacchus, Halpern, and Levesque is perhaps the most expressive. While their for malism is quite general, it is restricted to fluents who values are drawn from discrete countable domains, as opposed to the continuous domains seen in many robotic applications. In this paper, we show how this limitation in their approach can be lifted. By dealing seamlessly with both discrete distributions and continuous densitie within a rich theory of action, we provide a very genera logical specification of how belief should change after acting and sensing in complex noisy domains.

上一篇:Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems

下一篇:Syntactic Computation of Hybrid Possibilistic Conditioning under Uncertain Inputs

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...