Making Computational Sense of Montague's Intesional Logic.
Abstract
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1976
- Accession Number
- ADA034756
Entities
People
- Jerry R. Hobbs
- Stanley J. Rosenschein
Organizations
- New York University