Mass Terms and Plurals: From Linguistic Theory to Natural Language Processing : an Investigation Into Two Linguistic Theories and Their Potential for Computational Mechanisation |
Contents
Introduction | 4 |
Notation Terminology | 18 |
A Reconstructive Exposition of the Theory | 24 |
8 other sections not shown
Common terms and phrases
ambiguous atomic atomic(u axiomatisation basic carried the piano claret claret is liquid Claret is wine clos closure closure-operator college(y common nouns convene conventionally recognised convkind count nouns CRUZ The University D-ambiguous deduction theorem discussion distr distributive reading entities F. J. Pelletier formal semantics fragment grammar group terms implementation inference engine instance intransitive verb phrases intuitively John and Mary kind of wine lexicon Library The University Link liquid)(µ logical form Mary are students mass expressions mass nouns mass terms masters meaning postulate Mike Gordon natural language inferences Nbar notion noun phrases Pelletier & Schubert plural noun phrases plural-operator problem domain Proof properties quantity rule SANTA CRUZ UNIVERSITY semi-lattice sentence simply singular student john syntactic transitive verbs translation relation two-place predicate University Library UNIVERSITY UNIVERSITY OF CALIFORNIA UNIVERSITY OF CALIFORNIA/SANTA verb phrases wine is liquid wine)(x y II µ wine