Catalogue of Artificial Intelligence Techniques


Jump to: Top | Entry | References | Comments

View Maths as: Images | MathML

Montague Semantics

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.



Add Comment

No comments.