Sequence-to-Sequence Language Grounding of Non-Markovian Task Specifications

Autor:	Nakul Gopalan, Stefanie Tellex, Lawson L. S. Wong, Dilip Arumugam
Rok vydání:	2018
Předmět:	Sequence Ground Programming language Computer science Markov process English language computer.software_genre Task (project management) symbols.namesake TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Linear temporal logic symbols Robot computer Natural language
Zdroj:	Robotics: Science and Systems
DOI:	10.15607/rss.2018.xiv.067
Popis:	A method includes enabling a robot to learn a mapping between English language commands and Linear Temporal Logic (LTL) expressions, wherein neural sequence-to-sequence learning models are employed to infer a LTL sequence corresponding to a given natural language command.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::a10c33175525c43f2b10929e025dad0b https://doi.org/10.15607/rss.2018.xiv.067 Zobrazit plný text záznamu