Foundations of a functional approach to knowledge representation.
Artificial Intelligence
Decision procedures and expressiveness in the temporal logic of branching time
Journal of Computer and System Sciences
Using backprojections for fine motion planning with uncertainty
International Journal of Robotics Research
Formal theories of knowledge in AI and robotics
New Generation Computing
The complexity of reasoning about knowledge and time
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
Sensor-based manipulation planning as a game with nature
Proceedings of the 4th international symposium on Robotics Research
Error detection and recovery in robotics
Error detection and recovery in robotics
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
Knowledge and common knowledge in a byzantine environment: crash failures
Information and Computation
Robot motion planning with uncertainty in control and sensing
Artificial Intelligence
On information invariants in robotics
Artificial Intelligence - Special volume on computational research on interaction and agency, part 1
Reasoning about knowledge
Reasoning about uncertainty in robot motion planning
Reasoning about uncertainty in robot motion planning
Robot Motion Planning
Knowledge Considerations in Robotics
RUR '95 Proceedings of the International Workshop on Reasoning with Uncertainty in Robotics
Knowledge as a tool in motion planning under uncertainty
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
A Program Refinement Framework Supporting Reasoning about Knowledge and Time
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
International Journal of Robotics Research
Bounded model checking for knowledge and real time
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Bounded model checking for knowledge and real time
Artificial Intelligence
A logic for knowledge, correctness, and real time
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Model checking knowledge in pursuit evasion games
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Integrated task and motion planning in belief space
International Journal of Robotics Research
Hi-index | 0.00 |
Inspired by the success of the distributed computing community in apply 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. This paper concentrates on robot motion planning with uncertainty in both control and sensing, a problem that has already been well studied within the robotics community. First, a new and natural problem in this domain is defined: does there exists a sound and complete termination condition for a motion, given initial and goal locations? If yes, how to construct it? Then we define a high-level language, a logic of time and knowledge, which we use to reason about termination conditions and to state general conditions for the existence of sound and complete termination conditions in a broad domain. Finally, we show that sound termination conditions that are optimal in a precise sense provide a natural example of knowledge-based programs with multiple implementations.