David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Logic, Language and Information 13 (2):139-157 (2004)
In this paper I introduce a formalism for natural language understandingbased on a computational implementation of Discourse RepresentationTheory. The formalism covers a wide variety of semantic phenomena(including scope and lexical ambiguities, anaphora and presupposition),is computationally attractive, and has a genuine inference component. Itcombines a well-established linguistic formalism (DRT) with advancedtechniques to deal with ambiguity (underspecification), and isinnovative in the use of first-order theorem proving techniques.The architecture of the formalism for natural language understandingthat I advocate consists of three levels of processing:underspecification, resolution, andinference. Each of these levels has a distinct function andtherefore employs a different kind of semantic representation. Themappings between these different representations define the interfacesbetween the levels.
|Keywords||Philosophy Logic Artificial Intelligence Semantics|
|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
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Chris Fox (2005). Foundations of Intensional Semantics. Blackwell Pub..
Syed S. Ali & Stuart C. Shapiro (1993). Natural Language Processing Using a Propositional Semantic Network with Structured Variables. Minds and Machines 3 (4):421-451.
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.
Martha Stone Palmer (2006). Semantic Processing for Finite Domains. Cambridge University Press.
Nicholas Asher & Hajime Wada (1988). A Computational Account of Syntactic, Semantic and Discourse Principles for Anaphora Resolution. Journal of Semantics 6 (1):309-344.
Alex Lascarides (1998). The Semantics and Pragmatics of Presupposition. Journal of Semantics 15 (3):239-300.
Markus Egg, Alexander Koller & Joachim Niehren (2001). The Constraint Language for Lambda Structures. Journal of Logic, Language and Information 10 (4):457-485.
Patrick Saint-Dizier & Evelyne Viegas (eds.) (1995). Computational Lexical Semantics. Cambridge University Press.
Added to index2009-01-28
Total downloads26 ( #79,354 of 1,692,473 )
Recent downloads (6 months)1 ( #184,284 of 1,692,473 )
How can I increase my downloads?