Computational semantics: Difference between revisions

Revision as of 07:35, 20 July 2020

Latest revision as of 10:38, 25 June 2025

(10 intermediate revisions by 8 users not shown)

Line 1:

{{Confuse|Semantics (computer science)}}

{{short description|The study of how to automate the process of constructing and reasoning with meaning representations of natural language}}

{{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]] and [[computational linguistics]].

{{Semantics}}

{{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-4527–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]]

Line 15 ⟶ 18:

==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}}.

Line 27 ⟶ 30:

== External links ==

* [http://www.sigsem.org/ Special Interest Group on Computational Semantics (SIGSEM)] of the Association for Computational Linguistics (ACL)

* [https://archive.istoday/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)

* [http://blog.wolfram.com/2016/12/22/the-semantic-representation-of-pure-mathematics/ Wolfram Group] - Semantic Representation of Pure Mathematics

Line 40 ⟶ 42:

{{comp-ling-stub}}

{{semantics-stub}}

{{NLP-stub}}