La thèse

Fiche descriptive

Type : Thèse de Doctorat

Spécialité : Informatique

Université : Université de Nantes, Faculté des sciences et des techniques

Cadre : École Doctorale Sciences pour l’Ingénieur de Nantes (SPI)

Laboratoire : Institut de Recherche en Informatique de Nantes (IRIN, maintenant devenu le LINA)

Titre de la thèse : Le projet CordiFormes : une plate-forme pour la construction de modeleurs déclaratifs

Objectifs : Proposer une plate-forme pour la construction de modeleurs déclaratifs (le projet CordiFormes). En particulier, réfléchir sur la construction et les modes d’utilisation d’un modeleur déclaratif, proposer une représentation des connaissances prenant en compte l’imprécision et le vague d’une description (basée sur la logique floue) et mettre en place les éléments de base de la plate-forme.

Auteur de la thèse : Emmanuel DESMONTILS

Directeur(s) de thèse : Michel LUCAS

Jury (noms et appartenance) :

  • Michel LUCAS, Professeur, École Centrale de Nantes – Président
  • Didier DUBOIS, Directeur de recherches CNRS, Institut de Recherche en Informatique de Toulouse (IRIT) – Rapporteur
  • Bernard PÉROCHE, Professeur, École des Mines de Saint-Étienne – Rapporteur
  • Bruno ARNALDI, Professeur, INSA de Rennes – Examinateur
  • Gérard HÉGRON, Professeur, École des Mines de Nantes – Examinateur
  • Daniel PACHOLCZYK, Professeur, Université d’Angers – Examinateur

Date de soutenance : 14 janvier 1998

No. Document : ED 82-301

Nombre de pages : 285

Mots clés

modélisation déclarative, synthèse d’images, ensembles flous, négation linguistique, plate-forme, propriété, relation, similarité

Résumé

Les travaux en modélisation déclarative sont assez nombreux. Il est désormais nécessaire de mettre en place des méthodes générales basées sur celles déjà étudiées et de proposer des outils pour le développement de modeleurs déclaratifs.

Nous proposons un nouveau formalisme basé sur les ensembles flous. Ce formalisme apparaît d’une part comme une synthèse et une unification des travaux existants et d’autre part apporte des éléments nouveaux comme la logique floue, la gestion linguistique de la négation. Nous étudions particulièrement le type de propriété le plus simple : la propriété élémentaire. A partir d’une propriété de base, d’un opérateur flou et d’un modificateur, nous mettons en place une méthode pour déterminer la sémantique d’une propriété élémentaire. Nous proposons aussi un traitement original de sa négation. Plutôt que d’utiliser la négation logique
habituelle, nous nous intéressons à une gestion se basant sur des notions linguistiques. Enfin, nous présentons des solutions de traitement pour les autres propriétés. Cependant, ces solutions ne sont pas encore vraiment satisfaisantes.

La plupart des projets en modélisation déclarative mettent en oeuvre des techniques similaires. A partir de ces travaux et du formalisme flou, nous développons le projet CordiFormes, une plate-forme de programmation visant à faciliter la mise en oeuvre de futurs modeleurs déclaratifs. Ses caractéristiques sont la simplicité, la souplesse de programmation, l’efficacité, l’extensibilité, la réutilisabilité et le prototypage rapide du modeleur. CordiFormes propose des outils sur trois niveaux : le noyau comportant toutes les structures et algorithmes de base, la couche interface proposant dialogues et composants d’interface et, enfin, la couche application pour produire rapidement un premier modeleur.

Trois applications permettent de valider le formalisme et les outils de la plate-forme.

Travaux effectués dans ce cadre

* Synthèse bibliographique portant sur les travaux effectués dans le domaine de la modélisation déclarative en synthèse d’images ([Des95], [LuD95]).
* Participation active au groupe de travail GEODE en particulier, participation au sous-groupe Schémas dont les réflexions portent sur la composition d’un modeleur et sur les modes de conception à l’aide de modeleurs déclaratifs ([CDMM97a], [CDMM97b], [CDMM97c], [CDMM98]).
* Formalisation des propriétés en modélisation déclarative à l’aide des ensembles flous et proposition d’un traitement linguistique de la négation en collaboration avec D. PACHOLCZYK du LERIA (Université d’Angers) ([Des96a], [Des96b], [DeP96a], [DeP96b], [DeP97a], [DeP97b], [PaD97a], [PaD97b], [PaD98], [Des98]).
* Conception et programmation (C++ et Java) d’une plate-forme pour la conception de modeleurs déclaratifs constituant le projet CordiFormes ([DeM97a], [DeM97b], [DeM98a], [Des98]) en collaboration avec J.-Y. MARTIN de l’équipe MGII de l’IRIN et implémentation d’applications illustratives (LinéaFormes, EngloFormes et ChromoFormes).
* Étude d’un outil d’aide à la conception de modeleurs déclaratifs basé sur une modélisation de type tâche/méthode en collaboration avec F. TRICHET de l’équipe Intelligence Artificielle de l’IRIN ([DeT97], [DeT98], [Des98]).
* Étude d’une méthode d’apprentissage de la sémantique des concepts en modélisation déclarative en collaboration avec E. MARTIENNE de l’équipe Intelligence Artificielle de l’IRIN ([Des98]).