Computational semantics: Difference between revisions

Revision as of 16:14, 10 November 2016

Latest revision as of 10:38, 25 June 2025

(24 intermediate revisions by 16 users not shown)

Line 1:

{{Confuse|Semantics (computer science)}}

'''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]].

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

Line 11 ⟶ 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}}.

* Copestake, A., Flickinger, D. P., Sag, I. A., & Pollard, C. (2005). [httphttps://wwwweb.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/~mdr%7Emdr/ICoS/ ICoS] - Inference in Computational Semantics (endorsed by SIGSEM)

Line 30 ⟶ 40:

{{compucomp-ling-stub}}

{{semantics-stub}}

{{NLP-stub}}