Computational semantics: Difference between revisions

Revision as of 16:58, 17 January 2007

Latest revision as of 10:38, 25 June 2025

(60 intermediate revisions by 35 users not shown)

Line 1:

{{Confuse|Semantics (computer science)}}

== Introduction ==

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

Computational Semantics is the study of how to automate the process of constructing and reasoning with meaning representations of [[natural language]] expressions. Some traditional topics of interest are: construction of meaning representations, semantic underspecification,

anaphora resolution, presupposition projection, and quantifier scope resolution. Computational semantics has points of contact with the areas of

lexical semantics (word sense disambiguation and role labelling), discourse semantics,

[[formal semantics]], knowledge representation and automated reasoning. Since 1999 there is an ACL ([[Association for Computational Linguistics]]) special interest group on computational semantics [http://www.aclweb.org/sigsem SIGSEM].

==See Books also==

* [[Discourse representation theory]]

* Blackburn, P. and J. Bos (2005): Representation and Inference for Natural Language. A First Course in Computational Semantics. CSLI publications. ISBN 1575864967.

* [[Formal semantics (natural language)]]

* Bunt, H. and R. Muskens (1999): Computing Meaning Volume 1. Dordrecht: Kluwer. ISBN 1402002904.

* [[Minimal recursion semantics]]

* Bunt, H., Muskens, R. and E. Thijsse (2001): Computing Meaning Volume 2. Dordrecht: Kluwer. ISBN 1402001754.

* [[Natural-language understanding]]

* Wilks, Y. and E. Charniak (1976): Computational Semantics. An Introduction to Artificial Intelligence and Natural Language Understanding. Amsterdam: North-Holland. ISBN 0444111107.

* [[Semantic compression]]

* [[Semantic parsing]]

* [[Semantic Web]]

* [[SemEval]]

* [[WordNet]]

==Further Conferences reading==

* Blackburn, P., and Bos, J. Bos (2005):, ''Representation and Inference for Natural Language.: A First Course in Computational Semantics.'', CSLI publicationsPublications. {{ISBN 1575864967|1-57586-496-7}}.

* [http://let.uvt.nl/research/ti/sigsem/iwcs/ IWCS] - International Workshop on Computational Semantics

* Bunt, H., and Muskens, R. Muskens (1999):, ''Computing Meaning, Volume 1.'', Kluwer Publishing, Dordrecht: Kluwer. {{ISBN 1402002904|1-4020-0290-4}}.

* [http://staff.science.uva.nl/~mdr/ICoS/ ICoS] - Inference in Computational Semantics

* Bunt, H., Muskens, R., and Thijsse, E. Thijsse (2001):, ''Computing Meaning, Volume 2.'', Kluwer Publishing, Dordrecht: Kluwer. {{ISBN 1402001754|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 E.[[Eugene Charniak|Charniak, E.]] (1976):, ''Computational Semantics.: An Introduction to Artificial Intelligence and Natural Language Understanding. Amsterdam:'', North-Holland, Amsterdam. {{ISBN 0444111107|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)

[[Category:Computational linguistics]]

[[Category:Natural language processing]]

[[Category:Semantics]]

[[Category:Computational fields of study]]

{{comp-ling-stub}}

{{semantics-stub}}

{{NLP-stub}}