Jean Caelen, Anne Xuereb

1
AtelierUn système de dialogue homme-machine PVE

• Jean Caelen, Anne Xuereb

2
Architecture
Énoncé oral
Modèles Acous.
Reconnaissance
Modèle Langage
Morpho-syntaxe
Chaîne orthographique
Référents Tâches
Concepts
Compréhension
Plan
Logiques
Schéma sémantique
Objets
Acte de langage
Gestion de la tâche
Requêtes
Interprétation
Gestion du dialogue
But
SDRS
Ontologie jeux
Stratégies
Génération
Buts dialogiques
Action sur le monde
Synthèse TTS
Énoncé oral
3

• Interprétation (pragmatique)
• Prend une structure de type sémantique en entrée
  et fournit une structure de même type en sortie
  mais enrichie par les actes de langage (la force
  illocutoire et le contenu propositionnel de
  lacte).
• Calcule la SDRS, relations rhétoriques et
  attachements
• Traite les référents, présupposés et les
  implicatures.

• Données pour linterpréteur
• Règles de calcul de lacte Fp
• Prise en compte des marqueurs discursifs
• Résolution des attentes
• Règles de construction de la SDRS
• Calcul du type de relation rhétorique
• Rattachement de lacte
• Construction du nœud topique
• Résolution des référents
• Résolution des présuppositions et des
  implicatures
• La SDRS à chaque pas du dialogue

4
Gestion du dialogue Calcule le but et décide de
la stratégie. Il envoie ensuite le but à résoudre
au gestionnaire de tâche et les éléments de
réponse au générateur de sortie. Il distribue les
effets des actions à prendre en compte et les
remises à jour aux différents modules. Il utilise
des règles de calcul des stratégies et des règles
de gestion des buts dialogiques (par exemple à
laide de piles ou de files dattente).

• Données pour le contrôleur de dialogue
• Le jeu de dialogue réglé par
• des règles de déclenchement de stratégies,
• des règles de comportement,
• des règles de reprise/relance par des
  sous-dialogues.
• Les données de gestion des intérêts (matrices,
  arbres de conflits)
• Une ontologie pour repérer lavancée du jeu (et
  prédire les effets projectifs) sorte de modèle
  dactivité du dialogue

5
Ontologie
6
Gestion de la tâche Est un planificateur
classique. Il prend en entrée le but à résoudre
et développe un plan pour latteindre. En cas
déchec il en donne les raisons et propose des
solutions de repli. En cas dincomplétude ou
dimprécision dans la formulation du but en
entrée, il indique les paramètres en cause (par
exemple lorsque les pré-conditions ou les
contraintes ne sont pas satisfaites).
Données du gestionnaire de tâche Langage de
requêtes Sélectionner (salle, taille, matériel)
Consulter_agenda (salle, date) Réserver
( pers, salle, date) Envoyer-message (but,
auteur, pers, mode) Etc. Modèle de tâches BD
dobjets
7
Sélectionner (salle, taille, matériel) 
Consulter_agenda (pers, salle,
date) Réserver (pers, salle, date) Pré-conditions
possède-droit(pers, salle) ? (date gt
date-courante) ? identifier(salle) Corps
modifier-agenda (salle, date) Contraintes 
est-disponible(salle, date) if-échec 
Compte-rendu(effets) if-succès  Confirmer(pers)
? Réserver(Matériel) ? Prévenir(participants) Pos
sède-droit(pers, salle) Identifier(salle) Pré-c
ondition appartient (pers, entreprise) Pré-cond
appartient (salle, entreprise) corps
Vérifier-droit(pers, salle) corps
Vérif-existe(salle, taille, matériel) if-échec 
?possède-droit(pers, salle) if-échec 
?existe(salle) if-succès  possède-droit(pers,
salle) if-succès  existe(salle) Modifier-agend
a(salle, date) pré-conditions
droit-accès(agenda(salle)) corps
Ecrire-réservé(pers, date) Objet Salle
Lafayette Objet Salle Bleue Id_Propriétaire 
direction Id_Propriétaire  équipe-projet Id_Age
nda  ag_Lafayette Id_Agenda  ag_Bleue Effet 
appartient(salle, entreprise) Effet 
appartient(salle, entreprise) Taille-max  50
Taille-max  10 Matériel  vidéo-projection
Matériel  vidéo-projection OU tableau-tactile
BD
8
EnvoiMessage (but, auteur, dest, op, mode) 
ITER Message (but, auteur, pers,
mode) Pré-conditions possède-droit(auteur,
pers) ? identifier(dest, pers, op) Corps
Composition (but, message) ? Expédition (pers,
mode) Contraintes  mode if-échec 
Compte-rendu(effets) if-succès  Confirmer(pers)
? Prévenir(auteur) Possède-droit(auteur, pers)
Identifier(dest, pers, op) Pré-condition
appartient (pers, entreprise) Pré-cond
appartient (dest, pers) corps
Vérifier-droit(pers) corps
Extraction-op(pers) if-échec  ?possède-droit(aute
ur) if-échec  ?liste(dest) if-succès 
possède-droit(auteur) if-succès 
liste(dest) Composition (but, message) Pré-condit
ion identifier(but) corps Ecrire(but,
message) Pers Chef-Projet Pers
Membres-PVE Id_Chef-projet  Olivier Causse
Id_Membre  Jean Caelen Id_Membre  Olivier
Causse Id_Membre  Solange Hollard
Id_Membre  Evelyne Millien Id_Membre 
Luc Rodet
BD
9
Le cycle des opérations Igtgt O1  Mise du schéma
sémantique sous une forme logique p appelée
contenu propositionnel, Igtgt O2  Calcul de la
force illocutoire FUp, Igtgt O3  Calcul de la
SDRS et résolution des sous-spécifications, Dgtgt
O4  Détermination du but de FUp et
ordonnancement des buts en attente, pour faire
émerger le but courant, Dgtgt O5  Calcul de la
stratégie, Tgtgt O6  Tentative de résolution du
but courant, au regard du modèle de tâche,
DTGgtgt O7  Si succès alors action, DITgtgt
O8  Si échec alors analyse de léchec puis
activation de demande de correction ou de
négociation, Dgtgt O9  Ordonnancement des buts
(élimination des buts satisfaits et intégration
des nouveaux buts), Ggtgt O10  Génération de
lénoncé de la machine et synthèse vocale,
Tousgtgt O11  Mise à jour des connaissances et
des historiques. Cette opération est effectuée
par chaque module pour son propre compte,
10
Les échanges de données
11
Exemple de dialogue (avec SDRS)
U  Luc Blanc à lappareil. ?1
Est-ce que la salle Lafayette est disponible
demain ? ?2M  Non. ?3 Elle est
disponible jeudi ?4U  Bon eh bien
réservez-la moi ?5M  Voulez-vous réserver
aussi le rétro-projecteur ? ?6 U Oui,
merci ?7
 
Cet exemple illustre quelques autres problèmes à
résoudre   Luc Blanc  est un présupposé à la
fois quil sagit du prénom et du nom dun usager
mais aussi quil fait partie de lentreprise et
quil est familier du système  jeudi  est
certainement la première date de disponibilité la
plus proche après lundi  réservez-la  contient
une anaphore de salle mais aussi de date car la
proposition  jeudi  na pas été remise en
question  rétro-projecteur  présuppose que la
salle Lafayette peut-être équipée dun tel
appareil, que Luc Blanc en aura peut-être besoin
et quil vaut mieux de toutes façons le réserver
à lavance.
12
?1 U I FS a1  personne  Identitéannonce(a1)  a1   Luc Blanc   Luc Blanc à lappareil 
D Consultation ontologie de jeux dialogiques  Identitéannonce sunifie à /présentation présentation  FS (NomComplet) ? FS (Titre, Nom) ? FS (Rôle) donc lacte ?1 est reconnu comme acte de présentation ?1 ? Jeu/ouverture /présentation/ Consultation ontologie de jeux dialogiques  Identitéannonce sunifie à /présentation présentation  FS (NomComplet) ? FS (Titre, Nom) ? FS (Rôle) donc lacte ?1 est reconnu comme acte de présentation ?1 ? Jeu/ouverture /présentation/ Consultation ontologie de jeux dialogiques  Identitéannonce sunifie à /présentation présentation  FS (NomComplet) ? FS (Titre, Nom) ? FS (Rôle) donc lacte ?1 est reconnu comme acte de présentation ?1 ? Jeu/ouverture /présentation/
I Présupposition  Luc Blanc Prénom, Nom Implicature  a1 est membre a1.NomComplet Luc Blanc  a1 U  Présupposition  Luc Blanc Prénom, Nom Implicature  a1 est membre a1.NomComplet Luc Blanc  a1 U  Présupposition  Luc Blanc Prénom, Nom Implicature  a1 est membre a1.NomComplet Luc Blanc  a1 U 
D ?b1 cM(U) gt envoie requête Identifier(U) à T ?b1 cM(U) gt envoie requête Identifier(U) à T ?b1 cM(U) gt envoie requête Identifier(U) à T
T ULuc Blanc, U ? Chef-Projet ? U ? Membres-PVE ULuc Blanc, U ? Chef-Projet ? U ? Membres-PVE ULuc Blanc, U ? Chef-Projet ? U ? Membres-PVE
D b1 cM(U) U est membre et chef de projet Calcul attente  Jeu/Demande de service ? Jeu/Offre de service Calcul stratégie  dcoopératif b1 cM(U) U est membre et chef de projet Calcul attente  Jeu/Demande de service ? Jeu/Offre de service Calcul stratégie  dcoopératif b1 cM(U) U est membre et chef de projet Calcul attente  Jeu/Demande de service ? Jeu/Offre de service Calcul stratégie  dcoopératif
SDRS ?1


13
?2 U I FFS s2 salle, d2 date, e2 booléen, disponibilité_salle(s2,d2) s2Lafayette  d2j1  e2disponibilité_salle(s2,d2), e2 ?  Est-ce que la salle Lafayette est disponible demain ? 
D Consultation ontologie de jeux dialogiques  Disponibilité_salle ? termes dans lattente Jeu/demande de service Donc ?2 ? Jeu/demande de service/termes Consultation ontologie de jeux dialogiques  Disponibilité_salle ? termes dans lattente Jeu/demande de service Donc ?2 ? Jeu/demande de service/termes Consultation ontologie de jeux dialogiques  Disponibilité_salle ? termes dans lattente Jeu/demande de service Donc ?2 ? Jeu/demande de service/termes
D Applique règles de comportement face à FFSU sachant dcoopératif Donc ?b2 disponibilité_salle(Lafayette, J1) Applique règles de comportement face à FFSU sachant dcoopératif Donc ?b2 disponibilité_salle(Lafayette, J1) Applique règles de comportement face à FFSU sachant dcoopératif Donc ?b2 disponibilité_salle(Lafayette, J1)
D Tentative de résolution de b2 donc envoi de la requête Consulter-agenda(Lafayette, J1, e2) à T Tentative de résolution de b2 donc envoi de la requête Consulter-agenda(Lafayette, J1, e2) à T Tentative de résolution de b2 donc envoi de la requête Consulter-agenda(Lafayette, J1, e2) à T
T e2 0 e2 0 e2 0
D Envoi au générateur de FS(e2) Envoi au générateur de FS(e2) Envoi au générateur de FS(e2)
SDRS
14
?3 M G FS  non   Non 
I Mise à jour de la SDRS  FSneg(x) x ? La sous-spécification sur x se résout par prop(x)  x?2  QAP (?2, ?3) Mise à jour de la SDRS  FSneg(x) x ? La sous-spécification sur x se résout par prop(x)  x?2  QAP (?2, ?3) Mise à jour de la SDRS  FSneg(x) x ? La sous-spécification sur x se résout par prop(x)  x?2  QAP (?2, ?3)
D Réponse complète mais insuffisante en stratégie coopérative donc élargissement de la requête dans le jeu en cours  relaxation de la variable date sous contrainte de disponibilité e21 gt Consulter-agenda(Lafayette, date, 1) Réponse complète mais insuffisante en stratégie coopérative donc élargissement de la requête dans le jeu en cours  relaxation de la variable date sous contrainte de disponibilité e21 gt Consulter-agenda(Lafayette, date, 1) Réponse complète mais insuffisante en stratégie coopérative donc élargissement de la requête dans le jeu en cours  relaxation de la variable date sous contrainte de disponibilité e21 gt Consulter-agenda(Lafayette, date, 1)
T date jeudi date jeudi date jeudi
D b2, envoi au générateur de FSM(date) b2, envoi au générateur de FSM(date) b2, envoi au générateur de FSM(date)
SDRS
?1
Arrière-plan
?2
QAP
?3
15
?4 M G FS v indéfini  d3 date  e3  booléen  agendaannonce(v, d3, e3)  vs2  e30  d3 plus proche jeudi  Elle est disponible jeudi 
I Mise à jour de la SDRS  Topique T1  QAP (?2, ?3)  IQAP(?2, ?4)  Référents  ULuc Blanc  s2Salle Lafayette  d2J1  d3proche jeudi Toutes les relations à potentiel ouvrant sont fermées (QAP, IQAP) Tous les référents sont résolus Mise à jour de la SDRS  Topique T1  QAP (?2, ?3)  IQAP(?2, ?4)  Référents  ULuc Blanc  s2Salle Lafayette  d2J1  d3proche jeudi Toutes les relations à potentiel ouvrant sont fermées (QAP, IQAP) Tous les référents sont résolus Mise à jour de la SDRS  Topique T1  QAP (?2, ?3)  IQAP(?2, ?4)  Référents  ULuc Blanc  s2Salle Lafayette  d2J1  d3proche jeudi Toutes les relations à potentiel ouvrant sont fermées (QAP, IQAP) Tous les référents sont résolus
SDRS
16
?5 U I FF v  indéfini  réservationdemande (v,) v?  Bon eh bien, réservez-la moi 
D b2, ?b3 réserver(U, v) gt requête Réserver(U, v, d) Consultation ontologie  Jeu/demande de service/exécution b2, ?b3 réserver(U, v) gt requête Réserver(U, v, d) Consultation ontologie  Jeu/demande de service/exécution b2, ?b3 réserver(U, v) gt requête Réserver(U, v, d) Consultation ontologie  Jeu/demande de service/exécution
T v indéfini, d  indéfini v indéfini, d  indéfini v indéfini, d  indéfini
D Envoi dune demande de résolution des variables v et d à I Envoi dune demande de résolution des variables v et d à I Envoi dune demande de résolution des variables v et d à I
I SDRS  topique T1 isomorphe à Jeu/demande de service/ termes Recherche de salle et date dans le topique T1  vs2  dd5 référents définis et accessibles dans T1 donc vLafayette et d jeudi ouverture nouveau topique T2 (?5) rattachement par Coordination (T1, T2) SDRS  topique T1 isomorphe à Jeu/demande de service/ termes Recherche de salle et date dans le topique T1  vs2  dd5 référents définis et accessibles dans T1 donc vLafayette et d jeudi ouverture nouveau topique T2 (?5) rattachement par Coordination (T1, T2) SDRS  topique T1 isomorphe à Jeu/demande de service/ termes Recherche de salle et date dans le topique T1  vs2  dd5 référents définis et accessibles dans T1 donc vLafayette et d jeudi ouverture nouveau topique T2 (?5) rattachement par Coordination (T1, T2)
D Envoi de la requête Réserver(U, v, d) à T Envoi de la requête Réserver(U, v, d) à T Envoi de la requête Réserver(U, v, d) à T
T Exécution avec succès de Réserver(U,v,d) et proposition offre-service (réserver matériel, etc.) Exécution avec succès de Réserver(U,v,d) et proposition offre-service (réserver matériel, etc.) Exécution avec succès de Réserver(U,v,d) et proposition offre-service (réserver matériel, etc.)
D b3, Calcul stratégie  dcoopératif Stratégie coopérative et offre de service dans lontologie, instancié en Réserver_matériel dans T, doù ?b4 Réserver-matériel(m) mrétro-projecteur Envoi FFS(m) à G b3, Calcul stratégie  dcoopératif Stratégie coopérative et offre de service dans lontologie, instancié en Réserver_matériel dans T, doù ?b4 Réserver-matériel(m) mrétro-projecteur Envoi FFS(m) à G b3, Calcul stratégie  dcoopératif Stratégie coopérative et offre de service dans lontologie, instancié en Réserver_matériel dans T, doù ?b4 Réserver-matériel(m) mrétro-projecteur Envoi FFS(m) à G
SDRS
17
?6 M G FFS rétroprojecteur(r6)  matérieldemande(r6)  Voulez-vous réserver aussi le rétro-projecteur ? 
I Mise à jour de la SDRS  Topique T2 Elabq (?5, ?6)  Topique T3  continuation (T1, T3) Mise à jour de la SDRS  Topique T2 Elabq (?5, ?6)  Topique T3  continuation (T1, T3) Mise à jour de la SDRS  Topique T2 Elabq (?5, ?6)  Topique T3  continuation (T1, T3)
?7 U I FS confirmation  Oui, merci
SDRS
18
Exercice
U allô, je voudrais réserver une salle pour
lundi ?1, ?2 M  oui. Quel est votre
nom ? ?3 U  je suis Boris. ?4 M
désolé, toutes les salles sont déjà prises
mais je vais me renseigner pour savoir si un
arrangement est possible. Je vous
rappelle. ?5U bon merci ?6 M 
ltcalcule la fonction dutilité de chaque acteur
dans lagenda de réservation à la date
 lundi , choisit Marie Rainer et lappellegt M 
bonjour madame Rainer, ?7 vous est-il
possible de déplacer votre réunion de
lundi ? ?8 R  oui, pas de problème ?9
déplacez-moi pour le lendemain, même
lieu ?10 M  merci, je réserve votre salle pour
le lendemain, mardi. Ce sera toujours la
salle Bleue à 11h. ?11 M  ltrappelle le
Demandeurgt allô ? Madame Rainer accepte de
reporter sa réunion. Je peux vous réserver
la salle Bleue pour lundi à 10h. ?12, ?13
Cela vous convient ? ?14