Difference between revisions of "Computational Semantics"

From ACL Wiki
Jump to navigation Jump to search
m (Reverted edits by Creek (talk) to last revision by Ioan)
 
(13 intermediate revisions by 5 users not shown)
Line 1: Line 1:
== Introduction ==
+
'''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,
 
 
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  
 
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,
 
lexical semantics (word sense disambiguation and role labelling), discourse semantics,
formal semantics, knowledge representation and automated reasoning. Since 1999 there is an ACL special interest group on computational semantics [http://www.aclweb.org/sigsem SIGSEM].
+
formal semantics, knowledge representation and automated reasoning. Since 1999 there is an ACL special interest group on computational semantics [http://www.sigsem.org/ SIGSEM].
  
 
== Books ==
 
== Books ==
Line 10: Line 8:
 
* Bunt, H. and R. Muskens (1999): Computing Meaning Volume 1. Dordrecht: Kluwer. ISBN 1402002904.  
 
* Bunt, H. and R. Muskens (1999): Computing Meaning Volume 1. Dordrecht: Kluwer. ISBN 1402002904.  
 
* Bunt, H., Muskens, R. and E. Thijsse (2001): Computing Meaning Volume 2. Dordrecht: Kluwer. ISBN 1402001754.
 
* Bunt, H., Muskens, R. and E. Thijsse (2001): Computing Meaning Volume 2. Dordrecht: Kluwer. ISBN 1402001754.
 +
* Bunt, H. and Muskens, R. (2007): Computing Meaning Volume 3. Springer. ISBN 1402059566.
 +
* 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. Charniak (1976): Computational Semantics. An Introduction to Artificial Intelligence and Natural Language Understanding. Amsterdam: North-Holland. ISBN 0444111107.
 
* Wilks, Y. and E. Charniak (1976): Computational Semantics. An Introduction to Artificial Intelligence and Natural Language Understanding. Amsterdam: North-Holland. ISBN 0444111107.
  
Line 15: Line 15:
 
* [http://let.uvt.nl/research/ti/sigsem/iwcs/ IWCS] - International Workshop on Computational Semantics
 
* [http://let.uvt.nl/research/ti/sigsem/iwcs/ IWCS] - International Workshop on Computational Semantics
 
* [http://staff.science.uva.nl/~mdr/ICoS/ ICoS] - Inference in Computational Semantics
 
* [http://staff.science.uva.nl/~mdr/ICoS/ ICoS] - Inference in Computational Semantics
 +
* [http://ixa2.si.ehu.es/starsem/ *SEM] - Joint Conference on Lexical and Computational Semantics
  
== Software ==
+
== Software, Tools and Corpora ==
*[http://svn.ask.it.usyd.edu.au/trac/candc/wiki/ Boxer] - wide-coverage semantics based on DRT (Discourse Representation Theory)
+
* [http://svn.ask.it.usyd.edu.au/trac/candc/wiki/ Boxer] - wide-coverage semantics based on DRT (Discourse Representation Theory)
*[http://www.coli.uni-saarland.de/projects/salsa/shal/ Shalmaneser] - shallow semantic parser
+
* [http://www.coli.uni-saarland.de/projects/salsa/shal/ Shalmaneser] - shallow semantic parser
*[http://www.coli.uni-saarland.de/projects/chorus/utool/ utool] - scope underspecification
+
* [http://www.coli.uni-saarland.de/projects/chorus/utool/ utool] - scope underspecification
 +
* [http://gmb.let.rug.nl Groningen Meaning Bank] - annotated corpus (based on CCG and DRT)
  
 
== See also ==
 
== See also ==
 
* [[Statistical Semantics]]
 
* [[Statistical Semantics]]
 +
* [[Textual Entailment]]
 +
 +
[[Category:Research]]
 +
[[Category:Semantics]]

Latest revision as of 05:14, 25 June 2012

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 special interest group on computational semantics SIGSEM.

Books

  • Blackburn, P. and J. Bos (2005): Representation and Inference for Natural Language. A First Course in Computational Semantics. CSLI publications. ISBN 1575864967.
  • Bunt, H. and R. Muskens (1999): Computing Meaning Volume 1. Dordrecht: Kluwer. ISBN 1402002904.
  • Bunt, H., Muskens, R. and E. Thijsse (2001): Computing Meaning Volume 2. Dordrecht: Kluwer. ISBN 1402001754.
  • Bunt, H. and Muskens, R. (2007): Computing Meaning Volume 3. Springer. ISBN 1402059566.
  • 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. Charniak (1976): Computational Semantics. An Introduction to Artificial Intelligence and Natural Language Understanding. Amsterdam: North-Holland. ISBN 0444111107.

Conferences

  • IWCS - International Workshop on Computational Semantics
  • ICoS - Inference in Computational Semantics
  • *SEM - Joint Conference on Lexical and Computational Semantics

Software, Tools and Corpora

See also