Minds and Machines 3 (4):421-451 (1993)
We describe a knowledge representation and inference formalism, based on an intensional propositional semantic network, in which variables are structures terms consisting of quantifier, type, and other information. This has three important consequences for natural language processing. First, this leads to an extended, more natural formalism whose use and representations are consistent with the use of variables in natural language in two ways: the structure of representations mirrors the structure of the language and allows re-use phenomena such as pronouns and ellipsis. Second, the formalism allows the specification of description subsumption as a partial ordering on related concepts (variable nodes in a semantic network) that relates more general concepts to more specific instances of that concept, as is done in language. Finally, this structured variable representation simplifies the resolution of some representational difficulties with certain classes of natural language sentences, namely, donkey sentences and sentences involving branching quantifiers. The implementation of this formalism is called ANALOG (A NAtural LOGIC) and its utility for natural language processing tasks is illustrated
|Keywords||Natural Language Processing Knowledge Representation and Reasoning Semantic Networks Subsumption Quantifier Scoping Logic ANALOG|
|Categories||categorize this paper)|
References found in this work BETA
Generalized Quantifiers and Natural Language.Jon Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.
Introduction to Montague Semantics.David R. Dowty, Robert Eugene Wall & Stanley Peters - 1981 - Springer.
Citations of this work BETA
No citations found.
Similar books and articles
Representation and Inference for Natural Language: A First Course in Computational Semantics.Patrick Blackburn - 2005 - Center for the Study of Language and Information.
Logical Foundations for Belief Representation.William Rapaport - 1986 - Cognitive Science 10 (4):371-422.
Logical Reasoning in Natural Language: It is All About Knowledge. [REVIEW]Lucja Iwańska - 1993 - Minds and Machines 3 (4):475-510.
Predicate Logic with Flexibly Binding Operators and Natural Language Semantics.Peter Pagin & Dag Westerståhl - 1993 - Journal of Logic, Language and Information 2 (2):89-128.
Semantic Underdetermination and the Cognitive Uses of Language.Agustín Vicente & Fernando MartínezManrique - 2005 - Mind and Language 20 (5):537–558.
Computational Semantics in Discourse: Underspecification, Resolution, and Inference.Johan Bos - 2004 - Journal of Logic, Language and Information 13 (2):139-157.
Added to index2009-01-28
Total downloads34 ( #151,070 of 2,168,526 )
Recent downloads (6 months)2 ( #187,094 of 2,168,526 )
How can I increase my downloads?