View source for Computational semantics

{{Confuse|Semantics (computer science)}}
{{Short description|Meaning represented by natural language}}
{{Semantics}}
'''Computational semantics''' is the study of how to automate the process of constructing and reasoning with [[semantics|meaning representations]] of [[natural language]] expressions.<ref>Blackburn, Patrick, and Johan Bos. "[https://dialnet.unirioja.es/descarga/articulo/499187.pdf Computational semantics]." Theoria: An International Journal for Theory, History and Foundations of Science (2003): 27–45.</ref> It consequently plays an important role in [[natural language processing|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,<ref>Basile, Valerio, et al. "[https://scholar.google.com/scholar?q=%22meaning+representation%22+%22computational+semantics%22+%22underspecification%22+%22anaphora%22+%22scope+resolution%22&btnG=&hl=en&as_sdt=0%2C47# Developing a large semantically annotated corpus]." LREC 2012, Eighth International Conference on Language Resources and Evaluation. 2012.</ref> [[presupposition]] projection, and [[Quantifier (linguistics)|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.

==See also==
* [[Discourse representation theory]]
* [[Formal semantics (natural language)]]
* [[Minimal recursion semantics]]
* [[Natural-language understanding]]
* [[Semantic compression]]
* [[Semantic parsing]]
* [[Semantic Web]]
* [[SemEval]]
* [[WordNet]]

==Further reading==
* Blackburn, P., and Bos, J. (2005), ''Representation and Inference for Natural Language: A First Course in Computational Semantics'', CSLI Publications. {{ISBN|1-57586-496-7}}.
* Bunt, H., and Muskens, R. (1999), ''Computing Meaning, Volume 1'', Kluwer Publishing, Dordrecht. {{ISBN|1-4020-0290-4}}.
* Bunt, H., Muskens, R., and Thijsse, E. (2001), ''Computing Meaning, Volume 2'', Kluwer Publishing, Dordrecht. {{ISBN|1-4020-0175-4}}.
* Copestake, A., Flickinger, D. P., Sag, I. A., & Pollard, C. (2005). [https://web.archive.org/web/20120717034844/http://lingo.stanford.edu/sag/papers/copestake.pdf Minimal Recursion Semantics. An introduction]. In Research on Language and Computation. 3:281–332.
* Eijck, J. van, and C. Unger (2010): Computational Semantics with Functional Programming. Cambridge University Press. {{ISBN|978-0-521-75760-7}}
* Wilks, Y., and [[Eugene Charniak|Charniak, E.]] (1976), ''Computational Semantics: An Introduction to Artificial Intelligence and Natural Language Understanding'', North-Holland, Amsterdam. {{ISBN|0-444-11110-7}}.

==References==
{{reflist}}

== External links ==
* [http://www.sigsem.org/ Special Interest Group on Computational Semantics (SIGSEM)] of the Association for Computational Linguistics (ACL)
* [https://archive.today/20130222210222/http://let.uvt.nl/research/ti/sigsem/iwcs/ IWCS] - International Workshop on Computational Semantics (endorsed by SIGSEM)
* [https://web.archive.org/web/20070119150136/http://staff.science.uva.nl/%7Emdr/ICoS/ ICoS] - Inference in Computational Semantics (endorsed by SIGSEM)


[[Category:Computational linguistics]]
[[Category:Natural language processing]]
[[Category:Semantics]]
[[Category:Computational fields of study]]


{{comp-ling-stub}}
{{semantics-stub}}
{{NLP-stub}}