TY - GEN
T1 - From structured english to robot motion
AU - Kress-Gazit, Hadas
AU - Fainekos, Georgios E.
AU - Pappas, George J.
PY - 2007/12/1
Y1 - 2007/12/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=51349122021&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=51349122021&partnerID=8YFLogxK
U2 - 10.1109/IROS.2007.4398998
DO - 10.1109/IROS.2007.4398998
M3 - Conference contribution
AN - SCOPUS:51349122021
SN - 1424409128
SN - 9781424409129
T3 - IEEE International Conference on Intelligent Robots and Systems
SP - 2717
EP - 2722
BT - Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2007
T2 - 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2007
Y2 - 29 October 2007 through 2 November 2007
ER -