From structured english to robot motion

Hadas Kress-Gazit, Georgios Fainekos, George J. Pappas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

21 Citations (Scopus)

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 languageEnglish (US)
Title of host publicationIEEE International Conference on Intelligent Robots and Systems
Pages2717-2722
Number of pages6
DOIs
StatePublished - 2007
Externally publishedYes
Event2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2007 - San Diego, CA, United States
Duration: Oct 29 2007Nov 2 2007

Other

Other2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2007
CountryUnited States
CitySan Diego, CA
Period10/29/0711/2/07

Fingerprint

Temporal logic
Robots
Mobile robots
Motion planning
Planning

ASJC Scopus subject areas

  • Control and Systems Engineering

Cite this

Kress-Gazit, H., Fainekos, G., & Pappas, G. J. (2007). From structured english to robot motion. In IEEE International Conference on Intelligent Robots and Systems (pp. 2717-2722). [4398998] https://doi.org/10.1109/IROS.2007.4398998

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 proceedingConference contribution

Kress-Gazit, H, Fainekos, G & Pappas, GJ 2007, From structured english to robot motion. in IEEE International Conference on Intelligent Robots and Systems., 4398998, pp. 2717-2722, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2007, San Diego, CA, United States, 10/29/07. https://doi.org/10.1109/IROS.2007.4398998
Kress-Gazit H, Fainekos G, Pappas GJ. From structured english to robot motion. In IEEE International Conference on Intelligent Robots and Systems. 2007. p. 2717-2722. 4398998 https://doi.org/10.1109/IROS.2007.4398998
Kress-Gazit, Hadas ; Fainekos, Georgios ; Pappas, George J. / From structured english to robot motion. IEEE International Conference on Intelligent Robots and Systems. 2007. pp. 2717-2722
@inproceedings{36335350f4ac45d287124fbb1a30e77d,
title = "From structured english to robot motion",
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.",
author = "Hadas Kress-Gazit and Georgios Fainekos and Pappas, {George J.}",
year = "2007",
doi = "10.1109/IROS.2007.4398998",
language = "English (US)",
isbn = "1424409128",
pages = "2717--2722",
booktitle = "IEEE International Conference on Intelligent Robots and Systems",

}

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 -