David Beaver
University of Texas at Austin
Formal semantics is the study of linguistic meaning using precise mathematical characterizations; this chapter introduces formal semantics to scholars and students of natural-language processing. We give simple logical representations of English sentences, and show how meanings are composed in a grammar. We then consider two more advanced issues that arise in processing texts, anaphora and temporality, using Discourse Representation Theory. Finally we discuss the relationship between deep logic-based methods for semantic analysis and shallower distributional methods that have been used in much recent NLP work, introducing some limitations of distributional methods, and hence motivating deeper or hybrid approaches.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/oxfordhb/9780199573691.013.29
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,379
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles


Added to PP index

Total views
169 ( #70,446 of 2,519,678 )

Recent downloads (6 months)
3 ( #205,238 of 2,519,678 )

How can I increase my downloads?


My notes