David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Jon Barwise (1979). On Branching Quantifiers in English. Journal of Philosophical Logic 8 (1):47 - 80.
Jon Barwise & Robin Cooper (1981). Generalized Quantifiers and Natural Language. Linguistics and Philosophy 4 (2):159--219.
Daniel G. Bobrow & Terry Winograd (1977). An Overview of KRL, a Knowledge Representation Language. Cognitive Science 1 (1):3-46.
Ronald J. Brachman & James G. Schmolze (1985). An Overview of the KL‐ONE Knowledge Representation System. Cognitive Science 9 (2):171-216.
David R. Dowty, Robert Eugene Wall & Stanley Peters (1981). Introduction to Montague Semantics. Springer.
Citations of this work BETA
No citations found.
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.
Patrick Blackburn & Johan Bos (2003). Computational Semantics. Theoria 18 (1):27-45.
Chris Fox (2005). Foundations of Intensional Semantics. Blackwell Pub..
W. Rapaport (1986). Logical Foundations for Belief Representation. Cognitive Science 10 (4):371-422.
Lucja Iwańska (1993). Logical Reasoning in Natural Language: It is All About Knowledge. [REVIEW] Minds and Machines 3 (4):475-510.
Samuel W. K. Chan & James Franklin (1998). Symbolic Connectionism in Natural Language Disambiguation. IEEE Transactions on Neural Networks 9:739-755.
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.
Agustín Vicente & Fernando MartínezManrique (2005). Semantic Underdetermination and the Cognitive Uses of Language. Mind and Language 20 (5):537–558.
Martha Stone Palmer (2006). Semantic Processing for Finite Domains. Cambridge University Press.
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 downloads4 ( #247,771 of 1,096,955 )
Recent downloads (6 months)1 ( #273,368 of 1,096,955 )
How can I increase my downloads?