Planning using situation calculus, prolog and a mobile robot

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.

• Type: Conference
• Year: 2007
• Where: LANMR
• Authors: Pilar Pozos Parra, Edgardo Yescas, Jacob Vásquez
• Keywords: Initial State, LANMR 2007, Logical Reasoning, Mobile Robot, Situation Calculus