Grammatical Inference as Unification

Jacques Nicolas 1
1 AIDA - Modeling and Machine Learning for Data Interpretation and Decision Assistance
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : We propose to set the grammatical inference problem in a logical framework. The search for admissible solutions in a given class of languages is reduced to the problem of unifying a set of terms. This point of view has been already developed in the particular context of categorial grammars, a type of lexicalized grammar. We present the state of the art in this domain and propose several improvements. The case of regular grammars is studied in a second part. We show that rational unification allows to infer such grammars. We give corresponding Prolog programs in both cases. Indeed, one of the aim of this work is to show that "lean" programs are possible for grammatical inference. This approach has been successful in the field of automated theorem proving and we expect to observe the same benefits in grammatical inference : efficiency and extendibility.
Type de document :
Rapport
[Research Report] RR-3632, INRIA. 1999
Liste complète des métadonnées

https://hal.inria.fr/inria-00073042
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 11:40:56
Dernière modification le : mercredi 16 mai 2018 - 11:23:02
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:32:19

Fichiers

Identifiants

  • HAL Id : inria-00073042, version 1

Citation

Jacques Nicolas. Grammatical Inference as Unification. [Research Report] RR-3632, INRIA. 1999. 〈inria-00073042〉

Partager

Métriques

Consultations de la notice

229

Téléchargements de fichiers

144