Journal of Logic, Language and Information 19 (3):353-381 (2010)
|Abstract||A method is described for inducing a type-logical grammar from a sample of bare sentence trees which are annotated by lambda terms, called term-labelled trees . Any type logic from a permitted class of multimodal logics may be specified for use with the procedure, which induces the lexicon of the grammar including the grammatical categories. A first stage of semantic bootstrapping is performed, which induces a general form lexicon from the sample of term-labelled trees using Fulop’s (J Log Lang Inf 14(1):49–86, 2005) procedure. Next we present a two-stage procedure for performing distributional learning by unifying the lexical types that are initially discovered. The first structural unification algorithm in essence unifies the initial family of sets of types so that the resulting grammar will generate all term-labelled trees that follow the usage patterns evident from the learning sample. Further altering the lexical categories to generate a recursively extended language can be accomplished by a second unification. The combined unification algorithm is shown to yield a new type-logical lexicon that extends the learning sample to a possibly infinite (and possibly context-sensitive) language in a principled fashion. Finally, the complete learning strategy is analyzed from the perspective of algorithmic learning theory; the range of the procedure is shown to be a class of term-labelled tree languages which is finitely learnable from good examples (Lange et al in Algorithmic learning theory, Vol 872 of lecture notes in artificial intelligence, Springer, Berlin, pp 423–437), and so is identifiable in the limit as a corollary.|
|Keywords||Categorial grammar Type-logical grammar Grammar induction Algorithmic learning theory Language acquisition|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Chongli Zou & Nianxi Xia (2008). A Formal Treatment of the Causative Constructions in Chinese. Frontiers of Philosophy in China 3 (2):307-316.
Jacek Marciniec (1997). Infinite Set Unification with Application to Categorial Grammar. Studia Logica 58 (3):339-355.
Emmon Bach, ACTL Semantics: Compositionality and Morphosemantics: II: Words, Morphemes, Constructions, Interpretations.
Chris Barker & Chung-chieh Shan (2006). Types as Graphs: Continuations in Type Logical Grammar. [REVIEW] Journal of Logic, Language and Information 15 (4):331-370.
Daniel Feinstein & Shuly Wintner (2008). Highly Constrained Unification Grammars. Journal of Logic, Language and Information 17 (3):345-381.
Alex Lascarides, Ted Briscoe, Nicholas Asher & Ann Copestake (1996). Order Independent and Persistent Typed Default Unification. Linguistics and Philosophy 19 (1):1 - 90.
Sean A. Fulop (2005). Semantic Bootstrapping of Type-Logical Grammar. Journal of Logic, Language and Information 14 (1):49-86.
Added to index2009-12-19
Total downloads4 ( #188,845 of 722,813 )
Recent downloads (6 months)0
How can I increase my downloads?