Eléments Fondamentaux de Description de Scènes dans un Modeleur Déclaratif Ghassan KWAITER IRIT - UPS Toulouse - FRANCE.

Présentation au sujet: "Eléments Fondamentaux de Description de Scènes dans un Modeleur Déclaratif Ghassan KWAITER IRIT - UPS Toulouse - FRANCE."— Transcription de la présentation:

1 Eléments Fondamentaux de Description de Scènes dans un Modeleur Déclaratif
Ghassan KWAITER IRIT - UPS Toulouse - FRANCE

2 Sommaire Le modeleur déclaratif DEM2ONS.
Le solveur de contraintes ORANOS. Représentation des expressions spatiales. Résultats et Perspectives.

3 DEM2ONS: Objectifs Haut niveau d’abstraction et d’interprétation des commandes : expression de l’image mentale de la scène. Manipulation de scènes à partir d’interactions multimodales. Langage naturel (écrit et oral). Langage gestuel (2D et 3D).

4 DEM2ONS: Synoptique du système
Constrained ORANOS Inventor Objects Constraints Solver Task Model Multimodal History History Dialog Manager Event manager Monomodal Data Reception Dedicated Interfaces Syntactic Analysis Gestural Natural language 2D 3D language words speech gestures gestures mouse dataglove keyboard microphone

5 Sommaire Le modeleur déclaratif DEM2ONS.
Le solveur de contraintes ORANOS. Représentation des expressions spatiales. Résultats et Perspectives.

6 Techniques de résolution de contraintes
Les méthodes numériques. Les méthodes approchées : Relaxation, Newton-Raphson, ... Les méthodes exactes (formelles) : MAPLE, … Les méthodes déductives : Prolog, système expert, ... Les méthodes de propagation locale : Propagation de conflit : Les « Blue » algorithmes. Propagation de degrés de liberté : Quickplan algorithme. Les méthodes de raffinement : CSP classique. HCSP : Freuder et Wallace 89, 92, Faltings 92 et Fargier 94. DCSP : Bessière 91, Hentenryck 92, Schiex 94 et Berlandier 95.

7 Spécifications d’un solveur de contraintes
Doit supporter les contraintes : Linéaires / non-linéaires. Egalités / inégalités. Etre dynamique et incrémental : Ajouter une nouvelle contrainte. Enlever une contrainte déjà existante. Etre efficace : Détection immédiate des incohérences et des contradictions. Toujours offrir une ou plusieurs solutions.

8 Caractéristiques du solveur de contraintes : ORANOS
Un modèle HDCSPs étendu. Solveur de contraintes hiérarchiques. Solveur de contraintes dynamique et incrémental. Ajouter une contrainte. Enlever une contrainte. Modifier la priorité d’une contrainte.

9 ORANOS : Un modèle NCSP étendu
un NCSP P=(V,D,C) est dérivé des CSP classiques définis par [Mackworth 77]: un ensemble de variables V={x1,...,xn}, un ensemble de domaines D={Dx1,...,Dxn} Dx1 =[ai ,bi] est un intervalle de valeurs numériques continues associé à la variable x1. un ensemble de contraintes C={C1,....Cm}.

10 ORANOS : Un modèle NCSP étendu
Pas de solution : ssi il existe au moins un domaine Dx de D qui soit vide. Une solution d’un NCSP P=(V,D,C) : l ’ensemble des solutions sur x est : P est globalement consistant : ssi

11 ORANOS: solveur de contraintes hiérarchiques
Contraintes Hiérarchiques [Borning 92] : C1 C0 Cn Ci Cn-1 Principe : Satisfaire en priorité les contraintes les plus fortes.

12 ORANOS: Solveur dynamique de contraintes
Ajouter une nouvelle contrainte : Cn-1 Cn Cn ci Contraintes retirées Cn-1 C0 C1 Ci ci C0 C1 Ci Contraintes satisfaites a) b)

13 ORANOS: Solveur dynamique de contraintes
Supprimer une contrainte existante : Cn-1 Cn ci Cn Cn-1 Ci+1 C0 C1 Ci C0 C1 Ci Contraintes : insatisfaites + retirées Contraintes satisfaites a) b)

14 ORANOS: Solveur dynamique de contraintes
Modifier la priorité d’une contrainte : Cn-1 Cn Cn-1 Cn ci C0 C1 Ci C0 C1 Ci a) b)

15 Le solveur de contraintes : ORANOS
Phases de résolution : La phase de raffinement : basée sur la technique de propagation d’intervalle [Lhomme 93]. La phase de recherche de solutions : positionnement des objets.

16 Sommaire Le modeleur déclaratif DEM2ONS.
Le solveur de contraintes ORANOS. Représentation des expressions spatiales. Résultats et Perspectives.

17 Représentation des expressions spatiales
Aurnague et Vieu [93] : Niveau géométrique : représentation des relations spatiales entre objets. Niveau fonctionnel : prise en compte des propriétés et des interactions entre objets. Niveau pragmatique : s’appuie sur des informations non-dites telle que la connaissance du monde et l’intentionnalité de l ’usager.

18 Niveau fonctionnel Orientations intrinsèques : Haut intrinsèque.
Frontal intrinsèque : en tandem / en miroir. Latérale intrinsèque.

19 Niveau fonctionnel Orientation déictique. Orientation contextuelle.

20 « Ncible est préposition spatiale Nsite avec priorité »
Contraintes Contraintes implicites : Contraintes requises: orientations intrinsèques. Contrainte souple : position initiale. Contraintes explicites : « Ncible est préposition spatiale Nsite avec priorité »

21 Héritage de contraintes

22 Sémantique de la préposition spatiale : SUR

23 Tâche de placement Représentation des zones de placement :

24 Tâche de placement

25 Sommaire Le modeleur déclaratif DEM2ONS.
Le solveur de contraintes ORANOS. Représentation des expressions spatiales. Résultats et Perspectives.

26 Résultats

27 Résultats

28 Résultats

29 Résultats

30 Perspectives Prise en compte du contexte.
Interaction directe sur les objets contraints. Intégrer un solveur par propagation locale : animation d’objets mécaniques ou de personnages.