"Robot Navigation and Map Building with the Event Calculus"
Murray Shanahan and Mark Witkowski
IJCAI-99 Robot Planning Workshop, July 1999, Stockholm
ABSTRACT
This paper presents a programmable logic-based agent control system that interleaves planning, plan execution and perception. In this system, a program is a collection of logical formulae describing the agent's relationship to its environment. Two such programs for a mobile robot are described - one for navigation and one for map-building - that share much of their code.