Accession Number : ADA259603


Title :   Natural Language Based Inference Procedures Applied to Schubert's Steamroller


Descriptive Note : Memorandum rept.


Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB


Personal Author(s) : Givan, Robert ; McAllester, David ; Shalaby, Sameer


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a259603.pdf


Report Date : Dec 1991


Pagination or Media Count : 14


Abstract : We have previously argued that the syntactic structure of natural language can be exploited to construct powerful polynomial time inference procedures. This paper supports the earlier arguments by demonstrating that a natural language based polynomial time procedure can solve Schubert's steamroller in a single step.


Descriptors :   *LOGIC , *SYNTAX , *NATURAL LANGUAGE , TIME , POLYNOMIALS , THEOREMS


Subject Categories : Linguistics
      Voice Communications


Distribution Statement : APPROVED FOR PUBLIC RELEASE