Identification of Atomic Propositions in English Instructions for Flexible Translation to Robot Planning Representations

Creating human-interactive problem-solving robots involves interfacing natural-language instructions into formal representations. This formal representation should contain all the verifiable constituent units (ideally atomic propositions) which are present in the natural language instruction. Howeve...

Full description

Bibliographic Details
Main Author: Gandhi, Rujul
Other Authors: Fan, Chuchu
Format: Thesis
Published: Massachusetts Institute of Technology 2023
Online Access:https://hdl.handle.net/1721.1/152706