A Model for Verifiable Grounding and Execution of Complex Natural Language Instructions

TitleA Model for Verifiable Grounding and Execution of Complex Natural Language Instructions
Publication TypeConference Paper
Year of Publication2016
AuthorsBoteanu, A, Howard, T, Arkin, J, Kress-Gazit, H
Conference NameIEEE IROS 2016, Proceedings of
Abstract
Current methods of grounding natural language
instructions do not include reactive or temporal components,
making these methods unsuitable for instructions describing
tasks as sets of conditional instructions. We introduce the
Verifiable Distributed Correspondence Graph (V-DCG) model,
which enables the validation of natural language instructions
by using Linear Temporal Logic (LTL) specifications together
with physical world groundings. We demonstrate the V-DCG
model on a physical robot and provide examples of the output
our system produces for natural language instructions.