Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

High-Level Robot Control through Logic

Murray ShanahanContact Information and Mark WitkowskiContact Information

(3)  Department of Electrical and Electronic Engineering, Imperial College, Exhibition Road, SW7 2BT London, England
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. The map building program incorporates a rudimentary approach to the formalisation of epistemic fluents, knowledge goals, and knowledge producing actions.

Contact Information Murray Shanahan
Email: m.shanahan@ic.ac.uk

Contact Information Mark Witkowski
Email: m.witkowski@ic.ac.uk
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.107 • Server: mpweb20
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)