TER 16

1
TER 16
Maîtrise dinformatique 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
2
PRÉSENTATION

• Un exemple complet

Anne DARME Céline GIRARD
Ter 16 Requêtes homme-agent sur le fonctionnement
3
Contexte Objectifs 1/7

• Cadre de fonctionnement

• But permettre à lutilisateur dinterroger
  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
4
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 lapplication à interroger

• Base de tous les algorithmes

Anne DARME Céline GIRARD
Ter 16 Requêtes homme-agent sur le fonctionnement
5
Contexte Objectifs 3/7

• Le langage VDL 2/2

ltviewgt ltactiongt ltnamegtstartlt/namegt lteventgtltcl
icgtcoffee breaklt/clicgtlt/eventgt ltputgt ltpathgtltv
ariable name"wanting some coffee"/gtlt/pathgt ltva
luegttruelt/valuegt lt/putgt ltputgt
lt/putgt lt/actiongt ltvariable type"boolean"
name"wanting some coffee"gttruelt/variablegt ltvaria
ble type"integer" name"current
floor"gt1lt/variablegt ltvariable type"integer"
name"required floor"/gt lt/viewgt
Anne DARME Céline GIRARD
Ter 16 Requêtes homme-agent sur le fonctionnement
6
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 dobtenir des
  informations sur létat de lapplication

• 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
7
Contexte Objectifs 5/7

• Requêtes exemples

ltviewgt ltactiongt ltnamegtstartlt/namegt
lt/actiongt ltvariable type"boolean" name"wanting
some coffee"gt true lt/variablegt lt/viewgt

• 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
8
Contexte Objectifs 6/7

• Les interfaces

• Linterface de saisie

• interface  intelligente 

• contrôle de requêtes  bien formées 

• travaille sur un arbre VDL

• Linterface 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
9
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
10
Réalisation 1/5

• Structure générale du projet

Anne DARME Céline GIRARD
Ter 16 Requêtes homme-agent sur le fonctionnement
11
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 larbre 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
12
Réalisation 3/5

• Une interface de saisie  intelligente 

Anne DARME Céline GIRARD
Ter 16 Requêtes homme-agent sur le fonctionnement
13
Réalisation 4/5

• Les traitements les méthodes

Anne DARME Céline GIRARD
Ter 16 Requêtes homme-agent sur le fonctionnement
14
Réalisation 5/5

• Linterface de réponses

Anne DARME Céline GIRARD
Ter 16 Requêtes homme-agent sur le fonctionnement
15
Un exemple complet

• Arbre VDL analysé

ltviewgt ltactiongt ltnamegttake the elevator to
13th floorlt/namegt ltguardgt lt/guardgt lt! évalué
à vraigt ltactiongt ltnamegtlook for the right
buttonlt/namegt ltguardgt lt/guardgt lt! évalué à
fauxgt ltputgt lt/putgt lt/actiongt ltactiongt
ltnamegtgo to 13th floorlt/namegt ltguardgt
lt/guardgt lt! évalué à fauxgt ltputgt
lt/putgt lt/actiongt lt/actiongt lt/viewgt
Anne DARME Céline GIRARD
Ter 16 Requêtes homme-agent sur le fonctionnement
16
Un exemple complet

• Interface de saisie 1/4

Anne DARME Céline GIRARD
Ter 16 Requêtes homme-agent sur le fonctionnement
17
Un exemple complet

• Interface de saisie 2/4

Anne DARME Céline GIRARD
Ter 16 Requêtes homme-agent sur le fonctionnement
18
Un exemple complet

• Interface de saisie 3/4

Anne DARME Céline GIRARD
Ter 16 Requêtes homme-agent sur le fonctionnement
19
Un exemple complet

• Interface de saisie 4/4

Anne DARME Céline GIRARD
Ter 16 Requêtes homme-agent sur le fonctionnement
20
Un exemple complet

• Traitement de la requête

Anne DARME Céline GIRARD
Ter 16 Requêtes homme-agent sur le fonctionnement
21
Un exemple complet

• Traitement de la requête

• Pour chaque objet simple, déterminer la
  catégorie de laction event, guard
  valide, guard invalide, inexistant

• Appel de la méthode precondition() Classe
  lobjet 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 devent Pour  go
to 13th floor  idem
Anne DARME Céline GIRARD
Ter 16 Requêtes homme-agent sur le fonctionnement
22
Un exemple complet

• Traitement de la requête

• Pour chaque objet simple, déterminer la
  catégorie de laction event, guard
  valide, guard invalide, inexistant

• Déterminer la catégorie de laction

 look for the right button  sans event, avec
guard invalide gt catégorie guard
invalide  go to 13th floor  idem
Anne DARME Céline GIRARD
Ter 16 Requêtes homme-agent sur le fonctionnement
23
Un exemple complet

• Traitement de la requête

• Cas de lalgorithme 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
24
Un exemple complet

• Interface de réponses 1/2

Anne DARME Céline GIRARD
Ter 16 Requêtes homme-agent sur le fonctionnement
25
Un exemple complet

• Interface de réponses 2/2

Anne DARME Céline GIRARD
Ter 16 Requêtes homme-agent sur le fonctionnement
26
Conclusion

• Particularités de notre TER

• Prise en compte dun existant

• Compréhension des algorithmes dune thèse

• Intérêts personnels

• Approche professionnelle

• Thématique IA de ce TER

• Recherche et utilisation doutils spécifiques
  (Xercès, ...)

• Perspectives Intégration dans lexistant

• Fonctionnel pour une réutilisation

• Prêt à lintégration

Anne DARME Céline GIRARD
Ter 16 Requêtes homme-agent sur le fonctionnement
27
Références

• Site mise en place pour le TER
• http//ter16.free.fr

• Enoncé du TER n16  http//www-poleia.lip6.fr/k
  ant/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émonstration du projet
  http//www-oasis.lip6.fr/sabouret/demos/

Anne DARME Céline GIRARD
Ter 16 Requêtes homme-agent sur le fonctionnement