NLDB 2002: Natural Language Processing and Information Systems pp 109-122 | Cite as
Replicating Quantified Noun Phrases in Database Semantics
Abstract
Predicate calculus treats determiner-noun sequences like the man, every man, or several men as ‘quantified noun phrases.’ This analysis in terms of quantifiers, variables, and connectives creates a major structural difference compared to the handling of proper names. The modeling of natural language communication in database semantic (DBS), in contrast, treats the functor-argument structure as primary, regardless of whether an argument is of the sign type symbol (determiner-noun sequence), name, or indexical (pronoun). The meanings carried by different determiners are reanalyzed as controlling the matching between nominal symbols and individuals, or sets of individuals, at the level of context
Preview
Unable to display preview. Download preview PDF.
References
- Bochenski, I. (1961) A History of Formal Logic, University of Notre Dame Press.Google Scholar
- Davidson, D. & J. Hintikka (eds.) (1969) Words and Objections, Essays on the Work ofW. V.Quine, Reidel, Dordrecht.Google Scholar
- Geach, P. T. (1969) “Quine’s Syntactical Insights,” in Davidson & Hintikka (eds.).Google Scholar
- Hausser, R. (1999/2001) Foundations of Computational Linguistics, Human-Computer Communication in Natural Language, Berlin, New York: Springer-Vcrlag.Google Scholar
- Hausser, R. (2001) “Database Semantics for Natural Language,” Artificial Intelligence, Vol. 130.1:27–74, Eisevier, Dordrecht.CrossRefGoogle Scholar
- Hausser, R. (2002a) “A Hypothesis on the Origin of the Sign Types,” in A. Gelbukh (ed.) Computational Linguistics and Intelligent Text Processing, Lecture Notes in Computer Science, Berlin-New York: Springer-Verlag.Google Scholar
- Hausser, R. (2002b) “Reconstructing Propositional Calculus in Database Semantics,” to appear.Google Scholar
- Hopcroft, J. E. & Ullman, J. D. (1979) Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, Mass.MATHGoogle Scholar
- Kamp, J. A. W. & U. Reyle (1993) From Discourse to Logic, Kluwer, Dordrecht.Google Scholar
- Montague, R. (1974) Formal Philosophy, Yale U. Press, New Haven.Google Scholar
- Russell, B. (1905) “On Denoting,” Mind 14:479–493.CrossRefGoogle Scholar