Information invariants in robotics. II. Sensors and computation

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.<<ETX>>

[1]  Manuel Blum,et al.  On the power of the compass (or, why mazes are easier to search than graphs) , 1978, 19th Annual Symposium on Foundations of Computer Science (sfcs 1978).

[2]  Dexter Kozen,et al.  Automata and planar graphs , 1979, International Symposium on Fundamentals of Computation Theory.

[3]  Russell H. Taylor,et al.  Automatic Synthesis of Fine-Motion Strategies for Robots , 1984 .

[4]  Matthew T. Mason,et al.  Mechanics and Planning of Manipulator Pushing Operations , 1986 .

[5]  Michael A. Erdmann,et al.  On probabilistic strategies for robot tasks , 1989 .

[6]  Michael A. Erdmann,et al.  Towards Task-Level Planning: Action-Based Sensor Design , 1992 .

[7]  Bruce Randall Donald,et al.  Constructive recognizability for task-directed robot programming , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[8]  Bruce Randall Donald,et al.  Program mobile robots in Scheme , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[9]  Bruce Randall Donald,et al.  Constructive recognizability for task-directed robot programming , 1992, Robotics Auton. Syst..

[10]  Bruce Randall Donald.  Information invariants in robotics. I. State, communication, and side-effects , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.