Hostname: page-component-cd9895bd7-mkpzs Total loading time: 0 Render date: 2024-12-27T08:29:24.342Z Has data issue: false hasContentIssue false
  • English
  • Français

Learning discrete categorial grammars from structures

Published online by Cambridge University Press:  18 January 2008

Jérôme Besombes  and
Jean-Yves Marion
Jérôme Besombes
Affiliation:
ONERA/DTIM (Traitement de l'Information et Modélisation); [email protected]
Jean-Yves Marion
Affiliation:
Nancy-Université, Loria-INPL-ENSMN; [email protected]
Get access

Abstract

We define the class of discrete classical categorial grammars, similar in the spirit to the notion of reversible class of languages introduced by Angluin and Sakakibara. We show that the class of discrete classical categorial grammars is identifiable from positive structured examples. For this, we provide an original algorithm, which runs in quadratic time in the size of the examples. This work extends the previous results of Kanazawa. Indeed, in our work, several types can be associated to a word and the class is still identifiable in polynomial time. We illustrate the relevance of the class of discrete classical categorial grammars with linguistic examples.

Keywords

Classical categorial grammargrammatical inferencegold's identification in the limittypespositive examples
Type
Research Article
Information
RAIRO - Theoretical Informatics and Applications , Volume 42 , Issue 1: A nonstandard spirit among computer scientists:a tribute to Serge Grigorieff at the occasion of his 60th birthday , January 2008 , pp. 165 - 182
Copyright
© EDP Sciences, 2007

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Angluin, D., Inference of reversible languages. J. ACM 29 (1982) 741–765. CrossRef
Y. Bar-Hillel, C. Gaifman, and E. Shamir, On categorial and phrase structure grammars. Bulletin of Research Council of Israel F(9) (1960) 1–16.
R. Bonato and C. Retoré, Learning rigid lambek grammars and minimalist grammars from structured sentences, in Third Learning Language in Logic Workshop (LLL2001) (2001).
Buszkowski, W. and Penn, G., Categorial grammars determined from linguistic data by unification. Studia Logica 49 (1990) 431–454. CrossRef
C. Costa Florêncio, Consistent identification in the limit of any of the classes -valued is np-hard, in Logical Aspects of Computational Linguistics, edited by C. Retoré, P. de Groote, G. Morrill. Lect. Notes Comput. Sci. (2001) 125–138.
D. Dudau-Sofronie, Apprentissage de Grammaires Catégorielles pour simuler l'acquisition du Langage Naturel à l'aide d'informations sémantiques. Ph.D. thesis, Lille I University (2004).
Gold, M.E., Language identification in the limit. Inform. Control 10 (1967) 447–474. CrossRef
M. Kanazawa, Learnable classes of Categorial Grammars. CSLI (1998).
Yannick Le Nir, Structures des analyses syntaxiques catégorielles. Application à l'inférence grammaticale. Ph.D. thesis, Rennes 1 University (2003).
M. Moortgat, Categorial type logics, in Handbook of Logic and Language. North-Holland, J. van Benthem and A. ter Meulen edition (1996).
Moortgat, M., Structural equations in language learning, in Logical Aspects of Computational Linguistics, edited by C. Retoré, P. de Groote, G. Morrill. Lect. Notes Comput. Sci. 2099 (2001) 1–16. CrossRef
G.V. Morril, Type Logical Grammar: categorial logic of signs. Kluwer (1994).
C. Rétoré, The logic of categorial grammars. Technical Report 5703, INRIA (2005). http://www.inria.fr/rrrt/rr-5703.html
Sakakibara, Y., Efficient learning of context free grammars from positive structural examples. Inform. Comput. 97 (1992) 23–60. CrossRef
I. Tellier, Modéliser l'acquisition de la syntaxe du langage naturel via l'hypothése de la primauté du sens. Ph.D. thesis, Lille I University (2005).
Tiede, H.J., Lambek calculus proofs and tree automata. Lect. Notes Comput. Sci. 2014 (2001) 251–265. CrossRef