Planning using situation calculus, prolog and a mobile robot.

Abstract

This paper presents a system that controls the behavior of a mobile robot. The system is based on situation calculus, the initial state is described and a goal is given, Prolog produces an answer to this goal and we use an interface in Visual Basic to interpret the answer given by it. After of interpreting the given actions in response we send commands to the mobile robot through a serial port from a computer. This is a tool aimed at researchers and instructors in cognitive robotic.