Title :
From structured english to robot motion
Author :
Kress-Gazit, Hadas ; Fainekos, Georgios E. ; Pappas, George J.
Author_Institution :
Univ. of Pennsylvania, Philadelphia
fDate :
Oct. 29 2007-Nov. 2 2007
Abstract :
Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its close relationship with fragments of natural language. In this paper, we take the first steps toward building a natural language interface for LTL planning methods with mobile robots as the application domain. For this purpose, we built a structured English language which maps directly to a fragment of LTL.
Keywords :
control engineering computing; mobile robots; motion control; natural language interfaces; path planning; high-level task; linear temporal logic; mobile robots; motion planning problems; natural language interface; robot motion; structured english; Control systems; Humans; Logic; Mobile robots; Motion planning; Natural languages; Robot motion; Robot sensing systems; Robotics and automation; USA Councils;
Conference_Titel :
Intelligent Robots and Systems, 2007. IROS 2007. IEEE/RSJ International Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
978-1-4244-0912-9
Electronic_ISBN :
978-1-4244-0912-9
DOI :
10.1109/IROS.2007.4398998
