Systemes de production et unification connexionnistes

Connectionist unification and production systems

• Auteur / Autrice : YACINE BELALA
• Direction : Gérard Dreyfus
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1992
• Etablissement(s) : Paris 11

Résumé

Le travail de recherche effectue dans le cadre de cette these est consacre a la representation et au traitement de connaissances symboliques par des architectures connexionnistes. La premiere partie de ce travail a ete motivee par la necessite de disposer d'un outil de diagnostic rapide et sur. Suivant ces criteres, nous avons defini un systeme de production ou les regles de production sont distribuees dans un reseau connexionniste. L'approche que nous avons suivie consiste a utiliser une meme unite pour contenir des informations relatives a plusieurs regles et a proposer un moyen d'acceder a chaque regle en particulier. Les regles sont par ailleurs evaluees par plusieurs unites ce qui a pour effet d'accroitre la robustesse du systeme de production. Le second volet de ce memoire aborde de facon restreinte les logiques d'ordre superieur, plus precisement la logique des predicats du premier ordre, et notamment la theorie de l'unification. Une approche connexionniste permettant d'unifier en parallele deux ou plusieurs termes est proposee. L'architecture retenue est une architecture modulaire constituee de reseaux relies entre eux de maniere hierarchique. L'unification des deux termes est realisee par l'intermediaire de la propagation de l'activite entre les unites de ces reseaux