tailieunhanh - Báo cáo khoa học: "RESOLUTION OF COLLECTIVE-DISTRIBUTIVE USING MODEL-BASED REASONING"

Following Link [14, 13] and Roberts [15], I present a semantic analysis of collective- distributivity comes from either an explicit quantifidistributive ambiguity, and resolution of such am- cational operator like each or an implicit distributive biguity by model-based reasoning. This approach operator called the D o p e r a t o r . The D operator goes beyond Scha and Stallard [17], whose reasoning was motivated by the equivalence in the semantics capability was limited to checking semantic types. of the following sentences. My semantic analysis is based on Link [14, 13] and Roberts [15], where distributivity comes. | RESOLUTION OF COLLECTIVE-DISTRIBUTIVE AMBIGUITY USING MODEL-BASED REASONING Chinatsu Aone 1 MCC 3500 West Balcones Center Dr. Austin TX 78759 aone@ Abstract I present a semantic analysis of collectivedistributive ambiguity and resolution of such ambiguity by model-based reasoning. This approach goes beyond Scha and Stallard 17 whose reasoning capability was limited to checking semantic types. My semantic analysis is based on Link 14 13 and Roberts 15 where distributivity comes uniformly from a quantificational operator either explicit . each or implicit . the D operator . I view the semantics module of the natural language system as a hypothesis generator and the reasoner in the pragmatics module as a hypothesis filter cf. Simmons and Davis 18 . The reasoner utilizes a model consisting of domain-dependent constraints and domain-independent axioms for disambiguation. There are two kinds of constraints type constraints and numerical constraints and they are associated with predicates in the knowledge base. Whenever additional information is derived from the model the Contradiction Checker is invoked to detect any contradiction in a hypothesis using simple mathematical knowledge. CDCL Collective-Distributive Constraint Language is used to represent hypotheses constraints and axioms in a way isomorphic to diagram representations of collective-distributive ambiguity. 1 Semantics of Collective-Distributive Ambiguity Collective-distributive ambiguity can be illustrated by the following sentence. 1 Two students moved a desk upstairs. 1 means either that two students TOGETHER moved one desk a collective reading or that each The work described in this paper was done as a part of the author s doctoral dissertation at The University of Texas at Austin. of them moved a desk SEPARATELY a distributive reading . Following Link 14 13 and Roberts 15 distributivity comes from either an explicit quantifi-cational operator like each or an implicit distributive operator .