KeepingItFormal

Project for the Computational Linguistics – 2 course at IIIT Hyderabad. An implementation for Montague's formal semantic system.

TODO

• Enforce stricter type-checking
• Documentation generation
• Parse negation, tenses
• Simplify IL expressions
• Evaluator
• Hardcode model

Legend

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")