DocumentCode
2333373
Title
From structured english to robot motion
Author
Kress-Gazit, Hadas ; Fainekos, Georgios E. ; Pappas, George J.
Author_Institution
Univ. of Pennsylvania, Philadelphia
fYear
2007
fDate
Oct. 29 2007-Nov. 2 2007
Firstpage
2717
Lastpage
2722
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/IROS.2007.4398998
Filename
4398998
Link To Document