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
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
Distribution Statement : APPROVED FOR PUBLIC RELEASE