Catalogue of Artificial Intelligence Techniques
Keywords: possible worlds
Categories: Natural Language
Author(s): John Beavan
A truth-conditional model-theoretical semantics for natural language, developed by Richard Montague, which attempts to formalise semantics as explicitly as the syntax usually is. The logic used is based on the Lambda Calculus and uses the notion of possible worlds.
- Dowty, D.R., Wall, R.E. and Peters, S., Introduction to Montague Semantics
, D. Reidel Publishing Co., Dordrecht, 1981.