Semantic bootstrapping of type-logical grammar

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 (Pinker, Language Learnability and Language Development, Harvard University Press, 1984), 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 (Buszkowski and Penn, 1990, Studia Logica 49, 431–454; Kanazawa, 1998, CSLI Publications and the European Association for Logic, Language and Information) 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)
DOI 10.1007/s10849-005-4509-8
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,719
Through your library
References found in this work BETA
Logische Untersuchungen.Edmund Husserl (ed.) - 1900 - Felix Meiner Verlag.
The Mathematics of Sentence Structure.Joachim Lambek - 1968 - Journal of Symbolic Logic 33 (4):627-628.
Boolean Semantics for Natural Language.Edward L. Keenan & Leonard M. Faltz - 1987 - Journal of Symbolic Logic 52 (2):554-555.
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.

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
A Formal Treatment of the Causative Constructions in Chinese.Zou Chongli & Xia Nianxi - 2008 - Frontiers of Philosophy in China 3 (2):307-316.
Analyzing the Core of Categorial Grammar.Carlos Areces & Raffaella Bernardi - 2004 - Journal of Logic, Language and Information 13 (2):121-137.
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.
Grammar Induction by Unification of Type-Logical Lexicons.Sean A. Fulop - 2010 - Journal of Logic, Language and Information 19 (3):353-381.
Syntactic Calculus with Dependent Types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Added to PP index
2009-01-28

Total downloads
15 ( #325,225 of 2,197,288 )

Recent downloads (6 months)
1 ( #298,964 of 2,197,288 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature