Marc Champesme
Marc Champesme
Laboratoire d'Informatique de l'université Paris Nord
Institut Galilée
Avenue J.B. Clément
93430 VILLETANEUSE
FRANCE
Tel : (33) 1 49 40 35 78
Fax : (33) 1 48 26 07 12
E-mail :marc.champesme@lipn.univ-paris13.fr
Activités de recherche
Mon activité de recherche concerne les domaines de l'apprentissage symbolique (plus particulièrement la Programmation Logique Inductive) et de la représentation des connaissances (plus particulièrement le formalisme des graphes conceptuels).
Apprentissage Symbolique Automatique
Dans le vaste domaine de recherche que constitue l'apprentissage automatique, mon travail se situe résolument dans le champ de l'apprentissage symbolique. Je m'intéresse plus particulièrement au problème consistant à rechercher une description d'un concept à partir d'exemples et de contre-exemples de ce concept. Cette description doit, d'une part, permettre une reconnaissance aussi exacte que possible d'objets non utilisés lors de l'apprentissage, et, d'autre part, permettre à l'utilisateur de progresser dans la connaissance du problème qu'il soumet au système d'apprentissage. Ce deuxième objectif nécessite en particulier, que l'utilisateur puisse interpréter directement et simplement la connaissance apprise (i.e. sans qu'il lui soit nécessaire de posséder une connaissance approfondie du fonctionnement du système d'apprentissage).
M'intéressant plus particulièrement à la conception de méthodes d'apprentissages aptes à traiter des problèmes de nature structurelle, mon approche de l'apprentissage partage beaucoup de préoccupations communes avec le domaine de la Programmation Logique Inductive, qui en apprentissage symbolique regroupe des chercheurs utilisant des langages de clauses comme formalisme de représentation des connaissances.
Je considère par ailleurs qu'il est de première importance que les méthodes informatiques étudiées puissent être appliquées en pratique sur des problèmes réels. Cela signifie, entre autres choses, que ces méthodes puissent être appliquées à des données de taille importante pouvant être imparfaitement décrites (problème des données bruitées).
Graphes conceptuels
Ce formalisme présente principalement deux avantages par rapport aux formalismes logiques plus traditionnels. Tout d'abord, son aspect "graphique" permet une meilleure appréhension par l'homme, de la connaissance représentée. En second lieu, ce formalisme offre une grande richesse pour la représentation de connaissances très diverses (hiérarchies de types, définitions de types, schémas, référents ensemblistes...). Notons par ailleurs qu'il ne s'agit pas d'une simple représentation graphique de la logique, mais d'un formalisme de représentation autonome possédant ces propres mécanismes de raisonnement en terme d'opérations sur les graphes. Ce dernier point lui permet de bénéficier également du vaste corpus de résultats issus de la théorie des graphes.
Ce travail s'effectue principalement dans le cadre du groupe de travail graphes conceptuels du PRC IA (thème algorithmique et apprentissage) et du projet GRAFIA (PRC IA).
Mes publications
- Marc Champesme (à paraître), "Opérateurs de raffinement idéaux pour les graphes conceptuels", RIA (Revue d'Intelligence Artificielle), numéro spécial "Graphes Conceptuels". PostScript (413k) ici.
- Marc Champesme (1995), "Des graphes conceptuels pour raisonner en logique des prédicats", Actes des Journées du LIPN, Septembre 1995. PostScript (663k) ici.
- Marc Champesme (1995), "Using empirical subsumption to reduce the search space in learning", International Conference on Conceptual Structures, ICCS'95, Santa-Cruz, Californie, USA, Aout 1995. PostScript (100k) ici.
- Marc Champesme, Pierre Brézellec et Henry Soldano (1995), "Réduction de l'espace de recherche: résultats théoriques et expérimentaux", Journées Acquisitions - Validation Apprentissage, JAVA 95. Grenoble, Avril 1995. PostScript (658k) ici.
- Marc Champesme, Pierre Brézellec et Henry Soldano (1995), "Empirically Conservative Search Space Reductions", Fifth International Workshop on Inductive Logic Programming, ILP-95 (Published poster), Leuven, Belgium, September 1995. PostScript (87k)ici.
- Marc Champesme (1994), "SONIC : a Noise Tolerant Structural Learning Algorithm", Fourth International Workshop on Inductive Logic Programming, ILP-94 (poster), Bad Honnef/Bonn, Germany, Septembre 1994.
- Marc Champesme (1994), "Apprentissage et Graphes Conceptuels", Journée Graphes Conceptuels organisée par le PRC-GDR Intelligence Artificielle, Montpellier 1994, pp. 155-171.
- Marc Champesme (1993), " Apprentissage par
détection de similarités utilisant le formalisme des Graphes
Conceptuels ", thèse de l'Université Paris-Nord,
Villetaneuse, Février 1993.
- Pierre Brézellec, Marc Champesme (1991), "Vers un système d'apprentissage moins sensible au bruit, et aux descriptions et théories initiales", Huitième Congrès Reconnaissance des Formes et Intelligence Artificielle, RFIA 91, Lyon-Villeurbane 1991, pp. 945-952.