Reinventing Shakey

Murray Shanahan

Abstract

This paper describes the logical foundations of an implemented system which employs resolution-based theorem proving techniques for high-level robot control. The paper offers complementary logical characterisations of perception and planning, and shows how sensing, planning and acting are interleaved to control a real robot.