Natural Language Syntax and First Order Preference
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...
Main Authors: | McAllester, David, Givan, Robert |
---|---|
Language: | en_US |
Published: |
2004
|
Online Access: | http://hdl.handle.net/1721.1/6524 |
Similar Items
-
Taxonomic Syntax for First-Order Inference
by: McAllester, David, et al.
Published: (2004) -
Natural Language Based Inference Procedures Applied to Schubert's Steamroller
by: Givan, Robert, et al.
Published: (2004) -
Tractable Inference Relations
by: Givan, Robert, et al.
Published: (2004) -
Automatic Recognition of Tractability in Inference Relations
by: McAllester, David
Published: (2004) -
Grammar Rewriting
by: McAllester, David
Published: (2004)