Abstract
Inspired by the success of the distributed computing community in applying logics of knowledge and time to reasoning about distributed protocols, we aim for a similarly powerful and high-level abstraction when reasoning about control problems involving uncertainty. Here we concentrate on robot motion planning, with uncertainty in both control and sensing. This problem has already been well studied within the robotics
community. Our contributions include the following:
• We dene, a new and natural problem in this domain: obtaining a sound and complete termination condition, given initial and goal locations.
· We dene a high-level language, a logic of time and knowledge, to reason about motion plans in the presence of uncertainty, and use it to provide general conditions for the existence of sound and complete termination conditions for a broad class of motion plans.
• We characterize the optimal sound termination conditions for the general problem, relate them to a class of fundamental knowledge based protocols and provide a natural example of knowledge based protocols lacking a canonical implementation.1
community. Our contributions include the following:
• We dene, a new and natural problem in this domain: obtaining a sound and complete termination condition, given initial and goal locations.
· We dene a high-level language, a logic of time and knowledge, to reason about motion plans in the presence of uncertainty, and use it to provide general conditions for the existence of sound and complete termination conditions for a broad class of motion plans.
• We characterize the optimal sound termination conditions for the general problem, relate them to a class of fundamental knowledge based protocols and provide a natural example of knowledge based protocols lacking a canonical implementation.1
Original language | English GB |
---|---|
Title of host publication | Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1994 |
Editors | Ronald Fagin |
Publisher | Morgan Kaufmann Publishers, Inc. |
Pages | 208-224 |
Number of pages | 17 |
State | Published - 1994 |