Requêtes homme-agent sur le fonctionnement Etudiantes: Anne DARME & Céline GIRARD Encadrant: Nicolas SABOURET Rapporteur: Vincent CORRUBLE Responsable: Jean-Daniel KANT Maîtrise d’informatique Filière IA-BD-RO 23 juin 2004 TER 16

PRÉSENTATION Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Un exemple complet Réalisation Interface de saisie Interface de réponses Traitements Structure générale du projet Contexte & Objectifs Les requêtes Les interfaces Les traitements Le langage VDL

Contexte & Objectifs 1/7 Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement But : permettre à l’utilisateur d’interroger une application sur son fonctionnement Le projet est réalisé en Java (version 2.4) Cadre de fonctionnement Utilisation de la librairie Xerces (version 2.6.1)

Contexte & Objectifs 2/7 Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Langage basé sur XML Décrit l’état de l’application à interroger Le langage VDL 1/2 Défini dans la thèse de notre encadrant Base de tous les algorithmes

Contexte & Objectifs 3/7 Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Le langage VDL 2/2 start coffee break true … true 1 …

Contexte & Objectifs 4/7 Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Permet de demander et d’obtenir des informations sur l’état de l’application Requêtes : généralités Format prédéfini dans la thèse (5 critères) Saisie et visualisation dans des interfaces Interface de saisie des requêtes Interface de réponse Module de traitement

Contexte & Objectifs 5/7 Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Requêtes : exemples start … true … What do view? Ask is « wanting some coffee » true ? Ask do « view » start ? What is « wanting some coffee »?

Contexte & Objectifs 6/7 Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Les interfaces interface « intelligente » affichage formaté des réponses L’interface de saisie L’interface de visualisation des réponses travaille sur un arbre VDL contrôle de requêtes « bien formées » affichage spécifique du sujet

Contexte & Objectifs 7/7 Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Les traitements But : implémenter des algorithmes de réponse aux requêtes Algorithmes définis dans la thèse Seuls certains sont implémentés Retournent une requête résultat - Analyse - Adaptation - Implémentation

Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Réalisation 1/5 Requête résultat Interface de réponses Requête + Arbre XML Module de traitement Interface de saisie de requêtes Arbre ou fichier XML Structure générale du projet

Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Une interface de saisie « intelligente » Réalisation 2/5 Saisie de requêtes bien formées Fournit au module de traitement une requête 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

Réalisation 3/5 Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Une interface de saisie « intelligente »

Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Réalisation 4/5 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 Les traitements : les méthodes

Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement L’interface de réponses Réalisation 5/5

Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Un exemple complet Arbre VDL analysé … take the elevator to 13th floor … look for the right button … go to 13th floor …

Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Un exemple complet Interface de saisie 1/4

Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Un exemple complet Interface de saisie 2/4

Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Un exemple complet Interface de saisie 3/4

Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Un exemple complet Interface de saisie 4/4

Un exemple complet Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Traitement de la requête Ask do « take the elevator » « look for the right button; go to 13th floor » Appel du module de traitement avec la requête : 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 Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Traitement de la requête 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 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)

Un exemple complet Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement 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

Un exemple complet Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement 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 GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Un exemple complet Interface de réponses 1/2

Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Un exemple complet Interface de réponses 2/2

Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Conclusion Particularités de notre TER Perspectives : Intégration dans l’existant - Prise en compte d’un existant - Compréhension des algorithmes d’une thèse - Recherche et utilisation d’outils spécifiques (Xercès,...) - Fonctionnel pour une réutilisation - Prêt à l’intégration Intérêts personnels - Approche professionnelle - Thématique IA de ce TER

Anne DARME & Céline GIRARDTer 16: Requêtes homme-agent sur le fonctionnement Références Site mise en place pour le TER Enoncé du TER n°16 Thèse de notre encadrant Site web des démonstrations du projet