Achieving Expressive Completeness and Computational Efficiency for Underspecified Scope Representations
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, 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)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Expressiveness and Complexity in Underspecified Semantics.Chris Fox & Shalom Lappin - 2010 - Linguistic Analysis 36:385--417.
Achieving Expressive Completeness and Computational Efficiency for Underspecified Scope Representations.Shalom Lappin - unknown
Doing Natural Language Semantics in an Expressive First-Order Logic with Flexible Typing.Chris Fox & Shalom Lappin - unknown
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the IGPL 12 (2):135-168.
Finite H-Dimension Does Not Imply Expressive Completeness.Ian Hodkinson - 1994 - Journal of Philosophical Logic 23 (5):535 - 573.
First-Order, Curry-Typed Logic for Natural Language Semantics.Chris Fox, Shalom Lappin & Carl Pollard - unknown
A Novel Interpretation of Plato's Theory of Forms.P. X. Monaghan - 2010 - Metaphysica 11 (1):63-78.
Doing Natural Language Semantics in an Expressive First-Order Logic with Flexible Typing.Shalom Lappin & C. Fox - unknown
Representation and Inference for Natural Language: A First Course in Computational Semantics.Patrick Blackburn - 2005 - Center for the Study of Language and Information.
Added to index2010-12-22
Total downloads20 ( #247,178 of 2,168,220 )
Recent downloads (6 months)1 ( #346,758 of 2,168,220 )
How can I increase my downloads?