Abstract and Keywords
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 (DRT). 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.
Access to the complete content on Oxford Handbooks Online requires a subscription or purchase. Public users are able to search the site and view the abstracts and keywords for each book and chapter without a subscription.
If you have purchased a print title that contains an access token, please see the token for information about how to register your code.