<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="darlington-1963-translating">
    <titleInfo>
        <title>Translating ordinary language into symbolic logic</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Jared</namePart>
        <namePart type="given">L</namePart>
        <namePart type="family">Darlington</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>1963-25-26 aug</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Proceedings of the Annual meeting of the Association for Machine Translation and Computational Linguistics</title>
        </titleInfo>
        <originInfo>
            <place>
                <placeTerm type="text">Denver, Colorado</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <abstract>The paper describes a computer program, written in COMIT, for translating ordinary English into the notation of propositional logic and first-order functional logic. The program is designed to provide an ordinary language input to a COMIT program for the David-Putnam proof-procedure algorithm. The entire set of operations which are performed on an input sentence or argument are divided into three stages. In Stage I, an input sentence ‘S’, such as “The composer who wrote ‘Alcina’ wrote some operas in English,” is rewritten in a quasi-logical notation, “The X/A such that X/A is a composer and X/A wrote Alcina wrote some X/B such that X/B is an opera and X/B is in English.” The quasi-logical notation serves as an intermediate language between logic and ordinary English. In Stage II, S is translated into the logical notation of propositional functions and quantifiers, or of propositional logic, whichever is appropriate. In Stage III, S is run through the proof-procedure program and evaluated. (The sample sentence quoted is of course ‘invalid’, i.e. nontautological.) The COMIT program for Stage III is complete, that for Stage II is almost complete, and that for Stage I is incomplete. The paper describes the work done to date on the programs for Stages I and II.</abstract>
    <identifier type="citekey">darlington-1963-translating</identifier>
    <location>
        <url>https://aclanthology.org/1963.earlymt-1.6</url>
    </location>
    <part>
        <date>1963-25-26 aug</date>
    </part>
</mods>
</modsCollection>

%0 Conference Proceedings
%T Translating ordinary language into symbolic logic
%A Darlington, Jared L.
%S Proceedings of the Annual meeting of the Association for Machine Translation and Computational Linguistics
%D 1963
%8 25 26 aug
%C Denver, Colorado
%F darlington-1963-translating
%X The paper describes a computer program, written in COMIT, for translating ordinary English into the notation of propositional logic and first-order functional logic. The program is designed to provide an ordinary language input to a COMIT program for the David-Putnam proof-procedure algorithm. The entire set of operations which are performed on an input sentence or argument are divided into three stages. In Stage I, an input sentence ‘S’, such as “The composer who wrote ‘Alcina’ wrote some operas in English,” is rewritten in a quasi-logical notation, “The X/A such that X/A is a composer and X/A wrote Alcina wrote some X/B such that X/B is an opera and X/B is in English.” The quasi-logical notation serves as an intermediate language between logic and ordinary English. In Stage II, S is translated into the logical notation of propositional functions and quantifiers, or of propositional logic, whichever is appropriate. In Stage III, S is run through the proof-procedure program and evaluated. (The sample sentence quoted is of course ‘invalid’, i.e. nontautological.) The COMIT program for Stage III is complete, that for Stage II is almost complete, and that for Stage I is incomplete. The paper describes the work done to date on the programs for Stages I and II.
%U https://aclanthology.org/1963.earlymt-1.6

Markdown (Informal)

[Translating ordinary language into symbolic logic](https://aclanthology.org/1963.earlymt-1.6) (Darlington, EarlyMT 1963)

• Translating ordinary language into symbolic logic (Darlington, EarlyMT 1963)

ACL

• Jared L. Darlington. 1963. Translating ordinary language into symbolic logic. In Proceedings of the Annual meeting of the Association for Machine Translation and Computational Linguistics, Denver, Colorado.