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.
| Original language | English (US) |
|---|---|
| Title of host publication | IEEE International Conference on Intelligent Robots and Systems |
| Pages | 2717-2722 |
| Number of pages | 6 |
| DOIs | |
| State | Published - 2007 |
| Externally published | Yes |
| Event | 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2007 - San Diego, CA, United States Duration: Oct 29 2007 → Nov 2 2007 |
Other
| Other | 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2007 |
|---|---|
| Country | United States |
| City | San Diego, CA |
| Period | 10/29/07 → 11/2/07 |
Fingerprint
ASJC Scopus subject areas
- Control and Systems Engineering
Cite this
From structured english to robot motion. / Kress-Gazit, Hadas; Fainekos, Georgios; Pappas, George J.
IEEE International Conference on Intelligent Robots and Systems. 2007. p. 2717-2722 4398998.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - From structured english to robot motion
AU - Kress-Gazit, Hadas
AU - Fainekos, Georgios
AU - Pappas, George J.
PY - 2007
Y1 - 2007
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
SP - 2717
EP - 2722
BT - IEEE International Conference on Intelligent Robots and Systems
ER -