Translating structured english to robot controllers

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

Research output: Contribution to journalArticle

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

Fingerprint

Temporal logic
Robots
Controllers
Mobile robots
Motion planning
Planning

Keywords

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

ASJC Scopus subject areas

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

Cite this

Translating structured english to robot controllers. / Kress-Gazit, Hadas; Fainekos, Georgios; Pappas, George J.

In: Advanced Robotics, Vol. 22, No. 12, 01.10.2008, p. 1343-1359.

Research output: Contribution to journalArticle

Kress-Gazit, Hadas ; Fainekos, Georgios ; Pappas, George J. / Translating structured english to robot controllers. In: Advanced Robotics. 2008 ; Vol. 22, No. 12. pp. 1343-1359.
@article{778d17d477b84928ae46717950ae4bc6,
title = "Translating structured english to robot controllers",
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.",
keywords = "Motion planning, Structured english, Task planning, Temporal logic",
author = "Hadas Kress-Gazit and Georgios Fainekos and Pappas, {George J.}",
year = "2008",
month = "10",
day = "1",
doi = "10.1163/156855308X344864",
language = "English (US)",
volume = "22",
pages = "1343--1359",
journal = "Advanced Robotics",
issn = "0169-1864",
publisher = "Taylor and Francis Ltd.",
number = "12",

}

TY - JOUR

T1 - Translating structured english to robot controllers

AU - Kress-Gazit, Hadas

AU - Fainekos, Georgios

AU - Pappas, George J.

PY - 2008/10/1

Y1 - 2008/10/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.

KW - Motion planning

KW - Structured english

KW - Task planning

KW - Temporal logic

UR - http://www.scopus.com/inward/record.url?scp=69549084933&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=69549084933&partnerID=8YFLogxK

U2 - 10.1163/156855308X344864

DO - 10.1163/156855308X344864

M3 - Article

VL - 22

SP - 1343

EP - 1359

JO - Advanced Robotics

JF - Advanced Robotics

SN - 0169-1864

IS - 12

ER -