Graduate studies at Western
Minds and Machines 3 (4):421-451 (1993)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Patrick Blackburn (2005). Representation and Inference for Natural Language: A First Course in Computational Semantics. Center for the Study of Language and Information.
Martha Stone Palmer (2006). Semantic Processing for Finite Domains. Cambridge University Press.
Agustín Vicente & Fernando MartínezManrique (2005). Semantic Underdetermination and the Cognitive Uses of Language. Mind and Language 20 (5):537–558.
Peter Pagin & Dag Westerståhl (1993). Predicate Logic with Flexibly Binding Operators and Natural Language Semantics. Journal of Logic, Language and Information 2 (2):89-128.
Samuel W. K. Chan & James Franklin (1998). Symbolic Connectionism in Natural Language Disambiguation. IEEE Transactions on Neural Networks 9:739-755.
Lucja Iwańska (1993). Logical Reasoning in Natural Language: It is All About Knowledge. [REVIEW] Minds and Machines 3 (4):475-510.
Chris Fox (2005). Foundations of Intensional Semantics. Blackwell Pub..
Patrick Blackburn & Johan Bos (2003). Computational Semantics. Theoria 18 (1):27-45.
Johan Bos (2004). Computational Semantics in Discourse: Underspecification, Resolution, and Inference. Journal of Logic, Language and Information 13 (2):139-157.
Added to index2009-01-28
Total downloads3 ( #214,631 of 751,540 )
Recent downloads (6 months)1 ( #63,000 of 751,540 )
How can I increase my downloads?