Macro-opérateurs en Programmation Logique Inductive : théorie et algorithmes

Macro-operator in Inductive Logic Programming : theory and algorithms

• Auteur / Autrice : Erick Alphonse
• Direction : Céline Rouveirol
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2003
• Etablissement(s) : Paris 11
• Partenaire(s) de recherche : Laboratoire : Laboratoire de recherche en informatique (Orsay, Essonne ; 1998-2020)
• Partenaire(s) de recherche : autre partenaire : Université de Paris-Sud. Faculté des sciences d'Orsay (Essonne)
• Jury : Président / Présidente : Marie-Christine Rousset
• Jury : Examinateurs / Examinatrices : Céline Rouveirol, Marie-Christine Rousset, Henri Soldano, Stefan Wrobel, Jean-Daniel Zucker
• Jury : Rapporteurs / Rapporteuses : Henri Soldano, Stefan Wrobel

Mots clés

Mots clés contrôlés

Programmation logique

Apprentissage automatique

Intelligence artificielle

Résumé

Un des grands enjeux de l'informatique aujourd'hui est de coupler à la capacité grandissante d'acquisition et de stockage des données la capacité de les analyser, de dériver de façon automatique de la connaissance à partir de ces données. Une composante importante de l'Extraction de Connaissance à partir de Données (Data Mining/Knowledge Discovery in Databases) est l'Apprentissage Supervisé qui est soutenu par un nombre croissant d'applications dans les domaines de la biochimie, la médecine, la finance, le diagnostic de systèmes. Cependant dans ces domaines, la représentation des données nécessite l'utilisation de langages de représentation expressifs, issus de la logique du premier ordre.