Bonjour, Vous êtes cordialement invité à venir dans ma soutenance de thèse. La soutenance aura lieu le 3 février à 14h30 au Laboratoire LEIBNIZ. A bientôt. Amicalement, Fernando OSORIO. P.S. I : Pour ceux dont la curiosité les oblige à ne pas attendre jusqu'à la publication officielle de la thèse... La version FINALE est desormais disponible sur le Web en format PostScript (gziped) à l'adresse suivante; ftp://ftp.imag.fr/pub/Mediatheque.IMAG/theses/1998/Osorio.Fernando-Santos/notice-francais.html http://inf.unisinos.br/~osorio/these/these.html ftp://ftp.imag.fr/pub/labo-LEIBNIZ/RESEAUX-D-AUTOMATES/osorio.these.ps.gz P.S. II : Vous pouvez diffuser cet annonce au tour de vous. Merci. ======================================================================= INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE - I N P G S O U T E N A N C E DE T H E S E 1998 Monsieur OSORIO, Fernando Santos soutiendra le 3 février à 14h30 au Laboratoire LEIBNIZ - IMAG, 46 avenue Felix Viallet, Salle C310 une thèse de DOCTORAT de l'INSTITUT NATIONAL POLYTECHNIQUE de GRENOBLE, spécialité : Informatique - Systèmes et Communication, intitulée : "INSS - Un Système Hybride Neuro-Symbolique pour l'Apprentissage Automatique Constructif". Thèse préparée dans le laboratoire LEIBNIZ, sous la direction de Monsieur Philippe JORRAND et sous la co-direction de Monsieur Bernard AMY Résumé Plusieurs méthodes ont été développées par l'Intelligence Artificielle pour reproduire certains aspects de l'intelligence humaine. Ces méthodes permettent de simuler les processus de raisonnement en s'appuyant sur les connaissances de base disponibles. Chaque méthode comporte des points forts, mais aussi des limitations. La réalisation de systèmes hybrides est une démarche courante qui permet de combiner les points forts de chaque approche, et d'obtenir ainsi des performances plus élevées ou un champ d'application plus large. Un autre aspect très important du développement des systèmes hybrides intelligents est leur capacité d'acquérir de nouvelles connaissances à partir de plusieurs sources différentes et de les faire évoluer. Dans cette thèse, nous avons développé des recherches sur les systèmes hybrides neuro-symboliques, et en particulier sur l'acquisition incrémentale de connaissances à partir de connaissances théoriques (règles) et empiriques (exemples). Un nouveau système hybride, nommé système INSS - Incremental Neuro-Symbolic System, a été étudié et réalisé. Ce système permet le transfert de connaissances déclaratives (règles symboliques) d'un module symbolique vers un module connexionniste (réseau de neurones artificiel - RNA) à travers un convertisseur de règles en réseau. Les connaissances du réseau ainsi obtenu sont affinées par un processus d'apprentissage à partir d'exemples. Ce raffinement se fait soit par ajout de nouvelles connaissances, soit par correction des incohérences, grâce à l'utilisation d'un réseau constructif de type Cascade-Correlation. Une méthode d'extraction incrémentale de règles a été intégrée au système INSS, ainsi que des algorithmes de validation des connaissances qui ont permis de mieux coupler les modules connexionniste et symbolique. Le système d'apprentissage automatique INSS a été conçu pour l'acquisition constructive (incrémentale) de connaissances. Le système a été testé sur plusieurs applications, en utilisant des problèmes académiques et des problèmes réels (diagnostic médical, modélisation cognitive et contrôle d'un robot autonome). Les résultats montrent que le système INSS a des performances supérieures et de nombreux avantages par rapport aux autres systèmes hybrides du même type. Mots-Clés : Intelligence Artificielle, Apprentissage Automatique Réseaux de Neurones Artificiels, Système Hybride Neuro-Symbolique, Acquisition Constructive de Connaissances, Réseau Connexionniste Incrémental, Insertion et Extraction de Règles, Cascase-Correlation, INSS. --------------------------------------------------------------------- INSS : A HYBRID NEURO-SYMBOLIC SYSTEM FOR CONSTRUCTIVE MACHINE LEARNING Abstract Various Artificial Intelligence methods have been developed to reproduce intelligent human behaviour. These methods allow to reproduce some human reasoning process using the available knowledge. Each method has its advantages, but also some drawbacks. Hybrid systems combine different approaches in order to take advantage of their respective strengths. These hybrid intelligent systems also present the ability to acquire new knowledge from different sources and so to improve their application performance. This thesis presents our research in the field of hybrid neuro-symbolic systems, and in particular the study of machine learning tools used for constructive knowledge acquisition. We are interested in the automatic acquisition of theoretical knowledge (rules) and empirical knowledge (examples). We present a new hybrid system we implemented: INSS - Incremental Neuro-Symbolic System. This system allows knowledge transfer from the symbolic module to the connectionist module (Artificial Neural Network - ANN), through symbolic rule compilation into an ANN. We can refine the initial ANN knowledge through neural learning using a set of examples. The incremental ANN learning method used, the Cascade-Correlation algorithm, allows us to change or to add new knowledge to the network. Then, the system can also extract modified (or new) symbolic rules from the ANN and validate them. INSS is a hybrid machine learning system that implements a constructive knowledge acquisition method. We conclude by showing the results we obtained with this system in different application domains: ANN artificial problems(The Monk's Problems), computer aided medical diagnosis (Toxic Comas), a cognitive modelling task (The Balance Scale Problem) and autonomous robot control. The results we obtained show the improved performance of INSS and its advantages over others hybrid neuro-symbolic systems. Keywords: Artificial Intelligence, Machine Learning, Artificial Neural Networks, Hybrid Neuro-Symbolic Systems, Constructive Knowledge Acquisition, Incremental ANN, Rule Compilation and Extraction, Cascase-Correlation, INSS. MEMBRES DU JURY Monsieur GRUMBACH Alain, Professeur ENST (Télécom), Paris Monsieur PELLEGRINI Christian, Professeur, Directeur du CUI, Univ. de Genève Monsieur JORRAND Philippe, Directeur de Recherches, Directeur du Laboratoire LEIBNIZ - IMAG/INPG, Grenoble Monsieur AMY Bernard, Ingénieur de Recherche CNRS, Laboratoire LEIBNIZ - IMAG/INPG, Grenoble Monsieur ALEXANDRE Frédéric, Chercheur INRIA, INRIA-Lorraine/CRIN-CNRS, Nancy Monsieur RIALLE Vincent, Maître de Conférences à l'UJF, Grenoble. Laboratoire LEIBNIZ - INPG / IMAG 46, avenue Felix-Viallet 38031 Grenoble CEDEX - France