Information invariants in robotics. II. Sensors and computation

BR Donald - … IEEE International Conference on Robotics and …, 1993 - ieeexplore.ieee.org
[1993] Proceedings IEEE International Conference on Robotics and …, 1993ieeexplore.ieee.org
A theory of information invariance that includes sensors and computation is suggested. The
author's results generalize the work of M. Blum and D. Kozen (1978). Detailed yet abstract
models of physical autonomous mobile robots are considered together with generalizations
and variations on compasses and orientation sensors. A generalized and stratified theory of
the power of such sensory-computational devices is developed. It is hoped that information
invariants can serve as a framework in which to measure the capabilities of robot systems, to …
A theory of information invariance that includes sensors and computation is suggested. The author's results generalize the work of M. Blum and D. Kozen (1978). Detailed yet abstract models of physical autonomous mobile robots are considered together with generalizations and variations on compasses and orientation sensors. A generalized and stratified theory of the power of such sensory-computational devices is developed. It is hoped that information invariants can serve as a framework in which to measure the capabilities of robot systems, to quantify their power, and to reduce their fragility with respect to assumptions that are engineered into the control system or the environment. The authors believe that the equivalences that can be derived between communication, internal state, external state, computation, and sensors, can prove valuable in determining what information is required to solve a task, and how to direct a robot's actions to acquire that information to solve it.< >
ieeexplore.ieee.org
Showing the best result for this search. See all results