The problem of logical-form equivalence
Computational Linguistics - Special issue on using large corpora: I
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Natural language based inference procedures applied to schubert's steamroller
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
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 or our previously proposed taxonomic syntax. This observation may provide a functional explanation for some of the syntactic structure of English.