Inférence de langages réguliers

Bernard Bel (1)

1 GRTC - Groupe Représentation et Traitement des Connaissances

Cet exposé présente une méthode générale d'acquisition de connaissances dans un domaine formalisé à l'aide d'automates finis (langages réguliers). A partir d'un échantillon d'exemples le système construit un automate "presque minimal" qui n'est pas nécessairement déterministe. Cette construction peut être contrainte par des connaissances sur la segmentation des exemples que le système peut acquérir en questionnant l'informateur. Dans une deuxième phase, le système généralise l'automate à partir de propriétés connues du langage ou(et) à partir d'hypothèses validées à l'aide d'oracles. Une liste non exhaustive d'heuristiques générales est proposée. La démonstration s'appuie sur un cas réel de modélisation d'apprentissage de schémas d'improvisation musicale.

Mots clés: inférence grammaticale; inférence inductive; automates finis; langages formels; classification

Domaines: Intelligence artificielle [cs.AI]; Apprentissage [cs.LG]; Musique, musicologie et arts de la scène; Anthropologie sociale et ethnologie; Linguistique

Bernard Bel. Inférence de langages réguliers. Journées Françaises de l'Apprentissage, 1990, Lannion, France. pp.5-27. ⟨hal-00275789v2⟩