Translating structured english to robot controllers

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

Research output: Contribution to journalArticle

77 Scopus citations

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)
Pages (from-to)1343-1359
Number of pages17
JournalAdvanced Robotics
Volume22
Issue number12
DOIs
StatePublished - Oct 1 2008
Externally publishedYes

Keywords

  • Motion planning
  • Structured english
  • Task planning
  • Temporal logic

ASJC Scopus subject areas

  • Software
  • Control and Systems Engineering
  • Human-Computer Interaction
  • Hardware and Architecture
  • Computer Science Applications

Fingerprint Dive into the research topics of 'Translating structured english to robot controllers'. Together they form a unique fingerprint.

  • Cite this