Modelisation declarative de scenes : etude ete realisation de solveurs de contraintes

par GHASSAN KWAITER

Thèse de doctorat en Sciences appliquées

Sous la direction de René Caubet.

Soutenue en 1998

à Toulouse 3 .


  • Résumé

    De nombreuses recherches sont menees dans le domaine de la modelisation declarative, mais de nombreux problemes restent a resoudre : la notion de contrainte comme moyen de description, et celle de solveur pour maintenir les modeles decrits ne sont pas suffisamment distinctes ; la detection des incoherences et des contradictions entre les contraintes generees par le modeleur, les possibilites de reduire le nombre de solutions produites par l'ajout incremental de contraintes ou par la modification de priorites de contraintes, les possibilites de decrire la scene dynamiquement, par ajout et suppression de contraintes ou par ajout et suppression d'objets contraints ont ete peu explorees et constituent une nouvelle maniere de resoudre ce type de probleme. Notre contribution principale dans ce memoire se situe dans le cadre de la modelisation declarative par contraintes. Nous avons etudie et developpe un solveur de contraintes nomme oranos qui s'appuie, dans sa conception, sur l'approche csp (constraint satisfaction problems). Oranos offre un modele etendu de csp : dhncsp (dynamical, hierachical, numerical csp). Ce modele decoule en fait de deux domaines independants de recherche dans l'intelligence artificielle : les contraintes hierarchiques et les contraintes dynamiques. Le premier domaine offre une solution efficace aux problemes sur-contraints et le deuxieme permet de developper une application interactive. Notre solveur oranos a ete utilise pour une application de placement d'objets dans une scene tridimensionnelle par description de la scene grace a un ensemble de contraintes. Les approches precedentes ont considere le probleme avec des points de vue distincts et parfois divergents, en s'interessant principalement a la geometrie. Nous avons choisi de rester tres general au niveau du solveur afin de pouvoir utiliser les memes concepts dans des applications semblables. Nous considerons ainsi que l'originalite et l'interet de notre approche reside dans la prise en compte des aspects dynamiques, hierarchiques et declaratifs, ouvrant ainsi une nouvelle voie vers une conception d'applications interactives plus proches du concepteur. Ceci etant obtenu par une plus grande cooperation entre le concepteur et le systeme.

  • Titre traduit

    Scene declarative modelling : study and implementation a constraints solvers


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 235 P.
  • Annexes : 219 REF.

Où se trouve cette thèse ?

  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : 1998TOU30242
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.