Research output per year
Research output per year
Abstract / Description of output
A central problem in applying logical knowledge representation formalisms to traditional robotics is that the treatment of
belief change is categorical in the former, while probabilistic
in the latter. A typical example is the fundamental capability
of localization where a robot uses its many probabilistic sensors to situate itself in a dynamic world. Domain designers are
then left with the rather unfortunate task of abstracting probabilistic sensors in terms of categorical ones, or more drastically, completely abandoning the inner workings of sensors
to black-box probabilistic tools and then interpreting their
outputs in an abstract way. Building on a first-principles approach by Bacchus, Halpern and Levesque, and a recent continuous extension to it by Belle and Levesque, we provide an
axiomatization that shows how localization can be realized as
a basic action theory, thereby demonstrating how such capabilities can be enabled in a single logical framework.
belief change is categorical in the former, while probabilistic
in the latter. A typical example is the fundamental capability
of localization where a robot uses its many probabilistic sensors to situate itself in a dynamic world. Domain designers are
then left with the rather unfortunate task of abstracting probabilistic sensors in terms of categorical ones, or more drastically, completely abandoning the inner workings of sensors
to black-box probabilistic tools and then interpreting their
outputs in an abstract way. Building on a first-principles approach by Bacchus, Halpern and Levesque, and a recent continuous extension to it by Belle and Levesque, we provide an
axiomatization that shows how localization can be realized as
a basic action theory, thereby demonstrating how such capabilities can be enabled in a single logical framework.
| Original language | English |
|---|---|
| Title of host publication | AAAI Spring Symposium: Knowledge Representation and Reasoning in Robotics |
| Number of pages | 8 |
| Publication status | Published - 2014 |
| Event | Knowledge Representation and Reasoning in Robotics: Symposium at AAAI Spring Symposium Series 2014 - Stanford, United States Duration: 24 Mar 2014 → 26 Mar 2014 http://www.depts.ttu.edu/cs/~smohan/krr_aaai14/ |
Symposium
| Symposium | Knowledge Representation and Reasoning in Robotics |
|---|---|
| Country/Territory | United States |
| City | Stanford |
| Period | 24/03/14 → 26/03/14 |
| Internet address |
Fingerprint
Dive into the research topics of 'A Logical Theory of Robot Localization'. Together they form a unique fingerprint.Research output
- 1 Conference contribution
-
A Logical Theory of Robot Localization
Belle, V. & Levesque, H., 2014, Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, p. 349-356 8 p. (AAMAS '14).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution