<?xml version="1.0" encoding="UTF-8"?><?xml-stylesheet type="text/xsl" href="static/style.xsl"?><OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd"><responseDate>2026-09-20T07:01:09Z</responseDate><request verb="GetRecord" identifier="oai:dspace.mit.edu:1721.1/113294" metadataPrefix="dim">https://dspace.mit.edu/server/oai/request</request><GetRecord><record><header><identifier>oai:dspace.mit.edu:1721.1/113294</identifier><datestamp>2026-06-06T00:56:16Z</datestamp><setSpec>com_1721.1_7582</setSpec><setSpec>com_1721.1_7581</setSpec><setSpec>col_1721.1_131023</setSpec></header><metadata><dim:dim xmlns:dim="http://www.dspace.org/xmlns/dspace/dim" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:doc="http://www.lyncode.com/xoai" xsi:schemaLocation="http://www.dspace.org/xmlns/dspace/dim http://www.dspace.org/schema/dim.xsd">
   <dim:field mdschema="dc" element="contributor" qualifier="advisor" lang="en_US">Julie A. Shah.</dim:field>
   <dim:field mdschema="dc" element="contributor" qualifier="author" lang="en_US">Sturla, Giancarlo (Giancarlo F.)</dim:field>
   <dim:field mdschema="dc" element="contributor" qualifier="other" lang="en_US">Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science.</dim:field>
   <dim:field mdschema="dc" element="contributor" qualifier="department">Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science</dim:field>
   <dim:field mdschema="dc" element="date" qualifier="accessioned">2018-01-25T18:51:48Z</dim:field>
   <dim:field mdschema="dc" element="date" qualifier="available">2018-01-25T18:51:48Z</dim:field>
   <dim:field mdschema="dc" element="date" qualifier="copyright" lang="en_US">2017</dim:field>
   <dim:field mdschema="dc" element="date" qualifier="issued" lang="en_US">2017</dim:field>
   <dim:field mdschema="dc" element="identifier" qualifier="uri">http://hdl.handle.net/1721.1/113294</dim:field>
   <dim:field mdschema="dc" element="identifier" qualifier="oclc" lang="en_US">1016164771</dim:field>
   <dim:field mdschema="dc" element="description" lang="en_US">Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2017.</dim:field>
   <dim:field mdschema="dc" element="description" lang="en_US">This electronic version was submitted by the student author.  The certified thesis is available in the Institute Archives and Special Collections.</dim:field>
   <dim:field mdschema="dc" element="description" lang="en_US">Cataloged from student-submitted PDF version of thesis.</dim:field>
   <dim:field mdschema="dc" element="description" lang="en_US">Includes bibliographical references (pages 53-56).</dim:field>
   <dim:field mdschema="dc" element="description" qualifier="abstract" lang="en_US">Natural language is an intuitive medium for a human to communicate with a robot. Additionally, there are many tasks in areas such as manufacturing, military, and disaster response where communication is limited among the agents performing these tasks. Due to this limited communication, we focus on a protocol where most of the communication is done before and after the mission execution. As a first step in analyzing the effectiveness of this protocol, this thesis presents a two-phased approach to parsing natural language into an arbitrary formal logic. In the first phase, we aim to learn the generic structure of the logical expression associated with a natural language utterance. For example, if the sentence "Approach the target from the west" were to be parsed into the expression Approach(target;west), then the first phase would output a generic structure such as f(c0; c1), where f, c0, and c1 are placeholders for the actual values Approach, target, and west, respectively. In the second phase, we aim the learn how to assign the intended values to these placeholders. The method developed in this thesis is able to achieve an accuracy of 46% and 78% for the first and second phase of our natural language parser, respectively. With the help of our natural language parser, we can use the outputted logical expressions in future work to help in the analysis of the mission execution's success or failure.</dim:field>
   <dim:field mdschema="dc" element="description" qualifier="statementofresponsibility" lang="en_US">by Giancarlo Sturla.</dim:field>
   <dim:field mdschema="dc" element="description" qualifier="degree" lang="en_US">M.Eng.</dim:field>
   <dim:field mdschema="dc" element="format" qualifier="extent" lang="en_US">56 pages</dim:field>
   <dim:field mdschema="dc" element="language" qualifier="iso" lang="en_US">eng</dim:field>
   <dim:field mdschema="dc" element="publisher" lang="en_US">Massachusetts Institute of Technology</dim:field>
   <dim:field mdschema="dc" element="rights" lang="en_US">MIT theses are protected by copyright. They may be viewed, downloaded, or printed from this source but further reproduction or distribution in any format is prohibited without written permission.</dim:field>
   <dim:field mdschema="dc" element="rights" qualifier="uri" lang="en_US">http://dspace.mit.edu/handle/1721.1/7582</dim:field>
   <dim:field mdschema="dc" element="subject" lang="en_US">Electrical Engineering and Computer Science.</dim:field>
   <dim:field mdschema="dc" element="title" lang="en_US">A two-phased approach for natural language parsing into formal logic</dim:field>
   <dim:field mdschema="dc" element="type" lang="en_US">Thesis</dim:field>
   <dim:field mdschema="dc" element="format" qualifier="mimetype">application/pdf</dim:field>
   <dim:field mdschema="dspace" element="entity" qualifier="type">Publication</dim:field>
   <dim:field mdschema="others" element="access-status">unknown</dim:field>
   <dim:field mdschema="others" element="access-status">unknown</dim:field>
   <dim:field mdschema="cerif" element="openaire" authority="" confidence="-1">&lt;Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="edcc580e-efbf-42ac-8fb9-1e53c3eb4cb2">
	&lt;Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843&lt;/Type>
	&lt;Language>eng&lt;/Language>
   	&lt;Title>A two-phased approach for natural language parsing into formal logic&lt;/Title>
   	&lt;PublishedIn>
    	&lt;Publication>
      	&lt;/Publication>
   	&lt;/PublishedIn>
   	&lt;PublicationDate>2017&lt;/PublicationDate>
   	&lt;Authors>
      	&lt;Author>
        	&lt;DisplayName>Sturla, Giancarlo (Giancarlo F.)&lt;/DisplayName>
         	&lt;Affiliation>
         		&lt;OrgUnit>
         		&lt;/OrgUnit>
         	&lt;/Affiliation>
      	&lt;/Author>
	&lt;/Authors>
   	&lt;Editors>
	&lt;/Editors>
    &lt;Publishers>
        &lt;Publisher>
            &lt;DisplayName>Massachusetts Institute of Technology&lt;/DisplayName>
            &lt;OrgUnit />
        &lt;/Publisher>
    &lt;/Publishers>
    &lt;License>http://dspace.mit.edu/handle/1721.1/7582&lt;/License>
    &lt;Keyword>Electrical Engineering and Computer Science.&lt;/Keyword>
   	&lt;Abstract>Natural language is an intuitive medium for a human to communicate with a robot. Additionally, there are many tasks in areas such as manufacturing, military, and disaster response where communication is limited among the agents performing these tasks. Due to this limited communication, we focus on a protocol where most of the communication is done before and after the mission execution. As a first step in analyzing the effectiveness of this protocol, this thesis presents a two-phased approach to parsing natural language into an arbitrary formal logic. In the first phase, we aim to learn the generic structure of the logical expression associated with a natural language utterance. For example, if the sentence &amp;quot;Approach the target from the west&amp;quot; were to be parsed into the expression Approach(target;west), then the first phase would output a generic structure such as f(c0; c1), where f, c0, and c1 are placeholders for the actual values Approach, target, and west, respectively. In the second phase, we aim the learn how to assign the intended values to these placeholders. The method developed in this thesis is able to achieve an accuracy of 46% and 78% for the first and second phase of our natural language parser, respectively. With the help of our natural language parser, we can use the outputted logical expressions in future work to help in the analysis of the mission execution&amp;apos;s success or failure.&lt;/Abstract>
	&lt;Access xmlns="http://purl.org/coar/access_right" 
    >
    &lt;/Access>
&lt;/Publication>
</dim:field>
</dim:dim>
</metadata></record></GetRecord></OAI-PMH>