Abstract
A two-stage procedure is described which induces type-logical grammar lexicons from sentences annotated with skeletal terms of the simply typed lambda calculus. First, a generalized formulae-as-types correspondence is exploited to obtain all the type-logical proofs of the sample sentences from their lambda terms. The resulting lexicons are then optimally unified. The first stage constitutes the semantic bootstrapping, while the unification procedure of Buszkowski and Penn represents a first attempt at structure-dependent distributional learning of the syntactic and semantic categories. This effort extends earlier induction procedures for classical categorial grammar to at first the non-associative Lambek calculus, and then to a large class of type logics enriched by modal operators and structural rules.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10849-004-4509-0
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,079
Through your library

References found in this work BETA

Logische Untersuchungen.Edmund Husserl (ed.) - 1900 - Felix Meiner Verlag.
A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
Language in Action.Johan Van Benthem - 1991 - Journal of Philosophical Logic 20 (3):225-263.
The Collected Papers of Gerhard Gentzen.G. Kreisel - 1971 - Journal of Philosophy 68 (8):238-265.
Boolean Semantics for Natural Language.Lawrence S. Moss - 1987 - Journal of Symbolic Logic 52 (2):554-555.

View all 10 references / Add more references

Citations of this work BETA

Grammar Induction by Unification of Type-Logical Lexicons.Sean A. Fulop - 2010 - Journal of Logic, Language and Information 19 (3):353-381.

Add more citations

Similar books and articles

Semantic Bootstrapping of Type-Logical Grammar.Sean A. Fulop - 2004 - Journal of Logic, Language and Information 14 (1):49-86.
Grammar Induction by Unification of Type-Logical Lexicons.Sean A. Fulop - 2010 - Journal of Logic, Language and Information 19 (3):353-381.
A Formal Treatment of the Causative Constructions in Chinese.Chongli Zou & Nianxi Xia - 2008 - Frontiers of Philosophy in China 3 (2):307-316.
Type Logical Grammar: Categorial Logic of Signs.G. V. Morrill - 1994 - Dordrecht, Netherland: Springer.
Types as Graphs: Continuations in Type Logical Grammar. [REVIEW]Chris Barker & Chung-Chieh Shan - 2006 - Journal of Logic, Language and Information 15 (4):331-370.
Erratum To: Grammar Induction by Unification of Type-Logical Lexicons. [REVIEW]Sean A. Fulop - 2011 - Journal of Logic, Language and Information 20 (1):135-136.
Parasitic Scope.Chris Barker - 2007 - Linguistics and Philosophy 30 (4):407-444.
The Displacement Calculus.Glyn Morrill, Oriol Valentín & Mario Fadda - 2011 - Journal of Logic, Language and Information 20 (1):1-48.
Continuations and the Nature of Quantification.Chris Barker - 2002 - Natural Language Semantics 10 (3):211-242.
No Bootstrapping Without Semantic Inheritance.Julian Kiverstein - 2010 - Behavioral and Brain Sciences 33 (4):279-280.

Analytics

Added to PP index
2016-02-04

Total views
17 ( #635,925 of 2,506,118 )

Recent downloads (6 months)
1 ( #416,984 of 2,506,118 )

How can I increase my downloads?

Downloads

My notes