Making Computational Sense of Montague's Intensional Logic.

摘要

A simplified version of Montague's intensional logic is presented and explicated in terms of computational analogues. Several examples are presented in which Montague's formalism is coupled with a procedural interpretation. A natural translation is given from intensional logic into LISP. The relevance of this research to composition of meaning, knowledge representation, context and expectation is discussed. (Author)