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 | Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2007 |
| Pages | 2717-2722 |
| Number of pages | 6 |
| DOIs | |
| State | Published - Dec 1 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 |
Publication series
| Name | IEEE International Conference on Intelligent Robots and Systems |
|---|
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 |
ASJC Scopus subject areas
- Control and Systems Engineering
- Software
- Computer Vision and Pattern Recognition
- Computer Science Applications
Fingerprint Dive into the research topics of 'From structured english to robot motion'. Together they form a unique fingerprint.
Cite this
Kress-Gazit, H., Fainekos, G. E., & Pappas, G. J. (2007). From structured english to robot motion. In Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2007 (pp. 2717-2722). [4398998] (IEEE International Conference on Intelligent Robots and Systems). https://doi.org/10.1109/IROS.2007.4398998