Natural Language Syntax and First Order Preference
Author(s)
McAllester, David; Givan, Robert
DownloadAIM-1176.ps (2.115Mb)
Additional downloads
Metadata
Show full item recordAbstract
We have argued elsewhere that first order inference can be made more efficient by using non-standard syntax for first order logic. In this paper we show how a fragment of English syntax under Montague semantics provides the foundation of a new inference procedure. This procedure seems more effective than corresponding procedures based on either classical syntax of our previously proposed taxonomic syntax. This observation may provide a functional explanation for some of the syntactic structure of English.
Date issued
1989-10-01Other identifiers
AIM-1176
Series/Report no.
AIM-1176