Reasoning about Continuous Uncertainty in the Situation Calculus
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 732-737.
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 formalism is quite general, it is restricted to fluents whose 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 densities within a rich theory of action, we provide a very general logical specification of how belief should change after acting and sensing in complex noisy domains.
@inproceedings{ijcai2013p115,
title = {Reasoning about Continuous Uncertainty in the Situation Calculus},
author = {Belle, Vaishak and Levesque, Hector J.},
booktitle = {Proceedings of the Twenty-Third International Joint Conference on
Artificial Intelligence, {IJCAI-13}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Francesca Rossi},
pages = {732--737},
year = {2013},
month = {8},
url = {https://ijcai.org/proceedings/2013/115},
}
TY - CPAPER TI - Reasoning about Continuous Uncertainty in the Situation Calculus AU - Belle, Vaishak AU - Levesque, Hector J. T2 - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2013 SP - 732 EP - 737 UR - https://ijcai.org/proceedings/2013/115 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
