Project for the Computational Linguistics – 2 course at IIIT Hyderabad. An implementation for Montague's formal semantic system.
- Enforce stricter type-checking
- Documentation generation
- Parse negation, tenses
- Simplify IL expressions
- Evaluator
- Hardcode model
The types used in the description of English syntax and their symbols are:
CN: common nouns ("man", "unicorn")Tm: terms i.e. complete NPs ("the man", "John", "he")IV: intransitive verbs ("walk", "talk")Det: determiners ("every", "the", "a"/"an")IAV: adverbs for intrans. verbs ("slowly", "rapidly")TV: transitive verbs ("see", "like")T: sentences (yeah I don't know Montague said it)StV: sentence-taking verb ("believe", "think")ItV: intransitive verb-taking verbs ("try")SmA: sentence-modifying adverbs ("necessarily", "possibly")Prep: prepositions ("in", "about")