Thèse soutenue

AGAPE et CHARADE : deux techniques d'apprentissage symbolique appliquées à la construction de bases de connaissances

FR  |  
EN
Auteur / Autrice : Jean-Gabriel Ganascia
Direction : Yves Kodratoff
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1987
Etablissement(s) : Paris 11
Partenaire(s) de recherche : autre partenaire : Université de Paris-Sud. Faculté des sciences d'Orsay (Essonne)
Jury : Président / Présidente : Jacques Pitrat
Examinateurs / Examinatrices : Jacques Pitrat, Jean-Louis Laurière, Pavel Brazdil, Claude Delobel, Edwin Diday, Marie-Claude Gaudel, Yves Kodratoff
Rapporteurs / Rapporteuses : Jean-Louis Laurière

Résumé

FR

Centrée principalement sur l'apprentissage symbolique par détection de corrélations empiriques, cette thèse aborde deux questions: la généralisation de descriptions et la construction de systèmes de règles. La généralisation et la discrimination sont les deux opérations majeures qui pilotent la détection des régularités. Nous montons ici comment un mécanisme général, l'appariement structurel, permet de simuler ces deux opérations tout en intégrant la sémantique de l'univers d'apprentissage. Une fois l'appariement structurel obtenu, les descriptions se ramènent à une conjonction de triplets (<Attribut> <Sélecteur> <Valeur>). Dans ce cadre on est capable d'engendrer des systèmes de règles de production traduisant les corrélations entre descripteurs. De plus, ces systèmes de règles vérifient des propriétés d'ensemble qui les rendent opérationnels sur des moteurs d'inférences classiques. A cette fin on représente l'ensemble d'apprentissage et l'espace des descriptions sur un treillis booléen, le cube de Hilbert. L'apprentissage des règles se ramène alors à une exploration intelligente de l'espace de description. Les-propriétés des règles et du système de règles que l'on désire construire étant traduites sous forme de contraintes de la procédure d'exploration.