Learning discrete categorial grammars from structures

Jérôme Besombes (1) , Jean-Yves Marion (2)

1 ONERA - The French Aerospace Lab [Toulouse]
2 CARTE - Theoretical adverse computations, and safety

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.

Mots clés: Classical categorial grammar; grammatical inference; gold's identification in the limit; types; positive examples

Domaines: Logique en informatique [cs.LO]; Apprentissage [cs.LG]

Jérôme Besombes, Jean-Yves Marion. Learning discrete categorial grammars from structures. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2008, 42 (1), pp.165-182. ⟨10.1051/ita:2007055⟩. ⟨hal-00342331⟩