Achieving Expressive Completeness and Computational Efficiency for Underspecified Scope Representations
Graduate studies at Western
|Abstract||The tension between expressive power and computational tractability poses an acute problem for theories of underspeciﬁed semantic representation. In previous work we have presented an account of underspeciﬁed scope representations within Property Theory with Curry Typing (PTCT), an intensional ﬁrst-order theory for natural language semantics. Here we show how ﬁlters applied to the underspeciﬁed-scope terms of PTCT permit both expressive completeness and the reduction of computational complexity in a signiﬁcant class of non-worst case scenarios.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Shalom Lappin, Achieving Expressive Completeness and Computational Efficiency for Underspecified Scope Representations.
Chris Fox & Shalom Lappin, Doing Natural Language Semantics in an Expressive First-Order Logic with Flexible Typing.
Chris Fox & Shalom Lappin, An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.
Ian Hodkinson (1994). Finite H-Dimension Does Not Imply Expressive Completeness. Journal of Philosophical Logic 23 (5):535 - 573.
Chris Fox, Shalom Lappin & Carl Pollard, First-Order, Curry-Typed Logic for Natural Language Semantics.
Chris Fox (2005). Foundations of Intensional Semantics. Blackwell Pub..
P. X. Monaghan (2010). A Novel Interpretation of Plato's Theory of Forms. Metaphysica 11 (1):63-78.
Shalom Lappin & C. Fox, Doing Natural Language Semantics in an Expressive First-Order Logic with Flexible Typing.
William J. Rapaport (2006). How Helen Keller Used Syntactic Semantics to Escape From a Chinese Room. Minds and Machines 16 (4):381-436.
Patrick Blackburn (2005). Representation and Inference for Natural Language: A First Course in Computational Semantics. Center for the Study of Language and Information.
Sorry, there are not enough data points to plot this chart.
Added to index2010-12-22
Recent downloads (6 months)0
How can I increase my downloads?