In this article we are going to explore the fascinating world of Computational semantics, a topic that has captured the attention of millions of people around the world. From its impact on society to its possible future implications, Computational semantics has generated debates, research and endless conflicting opinions. Throughout these pages, we will delve into its history, explore its different facets, and examine its relevance today. Whether you are familiar with Computational semantics or are discovering its importance for the first time, this article invites you to reflect on a topic that undoubtedly continues to leave its mark on our society.
| Semantics | ||||||||
|---|---|---|---|---|---|---|---|---|
|
||||||||
|
Semantics of programming languages | ||||||||
|
||||||||
Computational semantics is a subfield of computational linguistics.[1] Its goal is to elucidate the cognitive mechanisms supporting the generation and interpretation of meaning in humans. It usually involves the creation of computational models that simulate particular semantic phenomena, and the evaluation of those models against data from human participants. While computational semantics is a scientific field, it has many applications in real-world settings and substantially overlaps with Artificial Intelligence.
Broadly speaking, the discipline can be subdivided into areas that mirror the internal organization of linguistics. For example, lexical semantics and frame semantics have active research communities within computational linguistics.[2] Some popular methodologies are also strongly inspired by traditional linguistics. Most prominently, the area of distributional semantics, which underpins investigations into embeddings and the internals of Large Language Models, has roots in the work of Zellig Harris.[3]
Some traditional topics of interest in computational semantics are: construction of meaning representations, semantic underspecification, anaphora resolution,[4] presupposition projection, and quantifier scope resolution. Methods employed usually draw from 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 ACL special interest group on computational semantics, SIGSEM.