270 likes | 398 Views
TER 16. Maîtrise d’informatique Filière IA-BD-RO 23 juin 2004. Requêtes homme-agent sur le fonctionnement. Etudiantes: Anne DARME & Céline GIRARD Encadrant: Nicolas SABOURET Rapporteur: Vincent CORRUBLE Responsable: Jean-Daniel KANT. http://ter16.free.fr. Contexte & Objectifs.
E N D
TER 16 Maîtrise d’informatique Filière IA-BD-RO 23 juin 2004 Requêtes homme-agent sur le fonctionnement Etudiantes: Anne DARME & Céline GIRARD Encadrant: Nicolas SABOURET Rapporteur: Vincent CORRUBLE Responsable: Jean-Daniel KANT http://ter16.free.fr
Contexte & Objectifs • Le langage VDL • Les requêtes • Les interfaces • Les traitements • Réalisation • Structure générale du projet • Interface de saisie • Traitements • Interface de réponses PRÉSENTATION • Un exemple complet Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Le projet est réalisé en Java (version 2.4) Contexte & Objectifs 1/7 • Cadre de fonctionnement • But : permettre à l’utilisateur d’interroger une application sur son fonctionnement • Utilisation de la librairie Xerces (version 2.6.1) Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Contexte & Objectifs 2/7 • Le langage VDL 1/2 • Langage basé sur XML • Défini dans la thèse de notre encadrant • Décrit l’état de l’application à interroger • Base de tous les algorithmes Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Contexte & Objectifs 3/7 • Le langage VDL 2/2 <view> <action> <name>start</name> <event><clic>coffee break</clic></event> <put> <path><variable name="wanting some coffee"/></path> <value>true</value> </put> <put> …</put> </action> <variable type="boolean" name="wanting some coffee">true</variable> <variable type="integer" name="current floor">1</variable> <variable type="integer" name="required floor"/> … </view> Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Contexte & Objectifs 4/7 • Requêtes : généralités • Format prédéfini dans la thèse (5 critères) • Permet de demander et d’obtenir des informations sur l’état de l’application • Saisie et visualisation dans des interfaces Interface de saisie des requêtes Module detraitement Interface de réponse Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Contexte & Objectifs 5/7 • Requêtes : exemples <view> <action> <name>start</name> … </action> <variable type="boolean" name="wanting some coffee"> true </variable> … </view> • Ask is « wanting some coffee » true ? • Ask do « view » start ? • What is « wanting some coffee »? • What do view? Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Contexte & Objectifs 6/7 • Les interfaces • L’interface de saisie • interface « intelligente » • contrôle de requêtes « bien formées » • travaille sur un arbre VDL • L’interface de visualisation des réponses • affichage formaté des réponses • affichage spécifique du sujet Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Contexte & Objectifs 7/7 • Les traitements • But : implémenter des algorithmes de réponse aux requêtes • Retournent une requête résultat • Algorithmes définis dans la thèse - Analyse - Adaptation - Implémentation • Seuls certains sont implémentés Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Interface de saisie de requêtes Arbre ou fichier XML Requête + Arbre XML Interface de réponses Module de traitement Requête résultat Réalisation 1/5 • Structure générale du projet Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Réalisation 2/5 • Une interface de saisie « intelligente » • Saisie de requêtes bien formées • Contraintes : - Certaines combinaisons « Acte-Type » interdites - Sujet à choisir parmi des candidats bien définis de l’arbre VDL (dépendant de « Acte-Type ») - Requêtes négatives parfois impossibles - Objet fonction des autres critères • Fournit au module de traitement une requête Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Réalisation 3/5 • Une interface de saisie « intelligente » Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Les méthodes implémentent les algorithmes de traitement de la thèse de notre encadrant • Les modules sont indépendants => les requêtes mal formées sont aussi gérées • Les algorithmes implémentés sont: - Ask / Is : requête avec sujet - Ask /Do - What / Is - What / Do : requête sans objet Réalisation 4/5 • Les traitements: les méthodes Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Réalisation 5/5 • L’interface de réponses Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Un exemple complet • Arbre VDL analysé <view> … <action> <name>take the elevator to 13th floor</name> <guard> … </guard> <! évalué à vrai> <action> <name>look for the right button</name> <guard> … </guard> <! évalué à faux> <put> … </put> </action> <action> <name>go to 13th floor</name> <guard> … </guard> <! évalué à faux> <put> … </put> </action> </action> </view> Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Un exemple complet • Interface de saisie 1/4 Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Un exemple complet • Interface de saisie 2/4 Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Un exemple complet • Interface de saisie 3/4 Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Un exemple complet • Interface de saisie 4/4 Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Appel du module de traitement avec la requête : Ask do « take the elevator » « look for the right button; go to 13th floor » • Aiguillage vers la méthode « Acte-Type » appropriée Appel de la méthode askDo() • Traitement de l’objet Vérification que l’objet n’est pas vide Découpage de l’objet en 2 objets simples Un exemple complet • Traitement de la requête Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Un exemple complet • Traitement de la requête • Pour chaque objet simple, déterminer la catégorie de l’action: {event, guard valide, guard invalide, inexistant} • Appel de la méthode precondition() Classe l’objet simple et chacun de ses pères jusqu’à • la racine dans une catégorie (utilise interpChildren() codé par DESS) Pour « look for the right button » : une guard invalide (lui-même) une guard valide (son père) pas d’event Pour « go to 13th floor » : idem Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Un exemple complet • Traitement de la requête • Pour chaque objet simple, déterminer la catégorie de l’action: {event, guard valide, guard invalide, inexistant} • Déterminer la catégorie de l’action « look for the right button » : sans event, avec guard invalide => catégorie guard invalide « go to 13th floor » : idem Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Un exemple complet • Traitement de la requête • Cas de l’algorithme : il y a des processus, requête affirmative , pas de guard valide, retourner « Assert do sujet false guard invalide » Assert do « take the elevator » false « look for the right button; go to 13th floor » Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Un exemple complet • Interface de réponses 1/2 Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Un exemple complet • Interface de réponses 2/2 Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Conclusion • Particularités de notre TER • Prise en compte d’un existant • Compréhension des algorithmes d’une thèse • Intérêts personnels • Approche professionnelle • Thématique IA de ce TER • Recherche et utilisation d’outils spécifiques (Xercès, ...) • Perspectives : Intégration dans l’existant • Fonctionnel pour une réutilisation • Prêt à l’intégration Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement
Références • Site mise en place pour le TER http://ter16.free.fr • Enoncé du TER n°16 http://www-poleia.lip6.fr/~kant/TER_IP/php/affich_sujet.php • Thèse de notre encadrant http://www-poleia.lip6.fr/~sabouret/ps/PhD.ps.gz • Site web des démonstrations du projet http://www-oasis.lip6.fr/~sabouret/demos/ Anne DARME & Céline GIRARD Ter 16: Requêtes homme-agent sur le fonctionnement