Content deleted Content added
Nick Number (talk | contribs) m repaired link(s) to disambiguation page - (you can help) - Formal semantics |
|||
Line 1:
'''Computational semantics''' is the study of how to automate the process of constructing and reasoning with [[semantics|meaning representations]] of [[natural language]] expressions. It consequently plays an important role in [[natural language processing]] and [[computational linguistics]].
Some traditional topics of interest are: [[semantic analysis (linguistics)|construction of meaning representation]]s, semantic [[underspecification]], [[anaphora (linguistics)|anaphora]] resolution, [[presupposition]] projection, and [[quantifier]] scope resolution. Methods employed usually draw from [[Formal semantics (linguistics)|formal semantics]] or [[statistical semantics]]. Computational semantics has points of contact with the areas of [[lexical semantics]] ([[word sense disambiguation]] and [[semantic role labeling]]), discourse semantics, [[knowledge representation]] and [[automated reasoning]] (in particular, [[automated theorem proving]]). Since 1999 there has been an [[Association for Computational Linguistics|ACL]] special interest group on computational semantics, SIGSEM.
==Further reading==
| |||