Loading...
Please wait, while we are loading the content...
Similar Documents
Quantification and reference in incremental processing (2002).
| Content Provider | CiteSeerX |
|---|---|
| Author | Eijck, Jan Van Nouwen, Rick |
| Abstract | This paper shows how polymorphic type theory can be used for a compositional incremental natural language semantics that can handle singular and plural reference and quantification, in a setting where context gets dynamically extended. We focus on the treatment of quantifiers and anaphoric reference in dynamic semantics, and for ease of exposition we limit ourselves to distributive readings of plurals. The approach is illustrated with a fragment implemented in the functional programming language Haskell. The paper contains the complete Haskell code of our implementation, in `literate programming style'. Keywords: Dynamic predicate logic, discourse semantics, discourse representation, anaphora, natural language meaning, salience, pronoun resolution, quantification, reference, distributive plurals. MSC codes: 03B60, 03B65, 68S05, 68Q65. 1 Point of Departure: Incremental Dynamics Our starting point is an incremental logic for NL semantics called Incremental Dynamics (henceforth ID). ID (see [10, 8] for background) can be viewed as the one-variable version of sequence semantics for dynamic predicate logic proposed in [33]. We will propose a format for compositional incremental NL semantics based on polymorphic type theory. The format can handle dynamic context extension, singular and plural reference and quantification. For ease of exposition we focus on the distributive readings of plurals. Assume a first order model M = (D, I). We will use contexts c D # , and replace variables by indices into contexts. The set of terms of the language is N. We use for the length of context c. Given a model M = (D, I) and a context c = c[0] c[n - 1], where n = (the length of the context), we interpret terms of the language by means of [[i]] c = c[i]. A snag is that [[i]] c is ... |
| File Format | |
| Publisher Date | 2002-01-01 |
| Access Restriction | Open |
| Subject Keyword | Incremental Processing Incremental Dynamic Polymorphic Type Theory Plural Reference Distributive Reading Dynamic Predicate Logic Compositional Incremental Nl Semantics Dynamic Semantics First Order Model Dynamic Context Extension Nl Semantics Anaphoric Reference Pronoun Resolution Discourse Representation Incremental Logic Discourse Semantics Functional Programming Language Haskell Sequence Semantics One-variable Version Msc Code Distributive Plural Henceforth Id Literate Programming Style Complete Haskell Code Natural Language Meaning Compositional Incremental Natural Language Semantics |
| Content Type | Text |
| Resource Type | Article |
