Thèse et modélisation déclarative
Cette page reprend, sous forme condensée, l’ancien site personnel (2011) consacré à mes débuts en recherche. Retour à la page Recherche.
La thèse
- Titre : Le projet CordiFormes : une plate-forme pour la construction de modeleurs déclaratifs.
- Cadre : École doctorale Sciences pour l’ingénieur de Nantes, laboratoire IRIN (devenu LINA puis LS2N), Université de Nantes.
- Directeur : Michel Lucas.
- Jury : M. Lucas, J.-P. Dubois, Q. Péroche, B. Arnaldi, F. Hégron, O. Pacholczyk.
- Soutenance : 14 janvier 1998, mention très honorable, 285 pages.
La modélisation déclarative
La modélisation déclarative fournit des outils de haut niveau pour concevoir des scènes : on décrit un ensemble de propriétés attendues, et le système explore l’univers des scènes possibles pour retenir celles qui répondent à la description. Le concepteur n’a plus qu’à choisir parmi les solutions. Le processus comporte trois étapes : la description, la génération des solutions valides, puis leur exploration.
Les projets
- CordiFormes : une plate-forme pour construire des modeleurs déclaratifs, en formalisant les connaissances manipulées et en proposant des outils génériques.
- ChromoFormes : un modeleur déclaratif de couleurs, qui permet de choisir une couleur par des propriétés plutôt que par des valeurs de paramètres (RVB, TLS, nuanciers).
- EngloFormes : un modeleur déclaratif de boîtes englobantes de bâtiments ou de parties de bâtiments, cas particulier du projet VoluFormes.