Atelier Un système de dialogue homme-machine : PVE
-
Upload
jasper-roy -
Category
Documents
-
view
18 -
download
1
description
Transcript of Atelier Un système de dialogue homme-machine : PVE
Jean Caelen, Anne Xuereb
BP 53 - 38041 Grenoble Cedex 9 - FranceCNRS - INPG - UJF
Communication Langagière etInteraction Personne-Système
AtelierUn système de dialogue homme-machine : PVE
Logiques
Compréhension
Chaîne orthographique
Gestion de la tâche
Interprétation
Gestion du dialogue
Génération
Action sur le monde
Acte de langageSchéma sémantique
ReconnaissanceModèles Acous.
Modèle Langage
Référents Tâches
Énoncé oral
Stratégies
SDRSOntologie jeux
Synthèse TTS
Énoncé oral
Plan
Morpho-syntaxe
Concepts
Buts dialogiques
ObjetsRequêtes
Architecture
But
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 l’acte).
Calcule la SDRS, relations rhétoriques et attachements
Traite les référents, présupposés et les implicatures.
Données pour l’interpréteurRègles de calcul de l’acte Fp
Prise en compte des marqueurs discursifsRésolution des attentes
Règles de construction de la SDRSCalcul du type de relation rhétoriqueRattachement de l’acteConstruction du nœud topique Résolution des référentsRésolution des présuppositions et des implicatures
La SDRS à chaque pas du dialogue
Gestion du dialogueCalcule 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 à l’aide de piles ou de files d’attente).
Données pour le contrôleur de dialogueLe 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 l’avancée du jeu (et prédire les effets projectifs) – sorte de modèle d’activité du dialogue
Ontologie
Gestion de la tâcheEst un planificateur classique. Il prend en entrée le but à résoudre et développe un plan pour l’atteindre. En cas d’échec il en donne les raisons et propose des solutions de repli. En cas d’incomplétude ou d’impré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âcheLangage 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âchesBD d’objets
Sélectionner (salle, taille, matériel) Consulter_agenda (pers, salle, date)
Réserver (pers, salle, date)Pré-conditions : possède-droit(pers, salle) (date > 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)
Possède-droit(pers, salle) Identifier(salle)Pré-condition : 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-agenda(salle, date)pré-conditions : droit-accès(agenda(salle))corps : Ecrire-réservé(pers, date)
Objet : Salle Lafayette Objet : Salle BleueId_Propriétaire : direction Id_Propriétaire : équipe-projetId_Agenda : ag_Lafayette Id_Agenda : ag_BleueEffet : appartient(salle, entreprise) Effet : appartient(salle, entreprise)Taille-max : 50 Taille-max : 10Matériel : vidéo-projection Matériel : vidéo-projection OU tableau-tactile
BD
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 : modeif-é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(auteur) if-échec : liste(dest)if-succès : possède-droit(auteur) if-succès : liste(dest)
Composition (but, message)Pré-condition : identifier(but)corps : Ecrire(but, message)
Pers : Chef-Projet Pers : Membres-PVEId_Chef-projet : Olivier Causse Id_Membre : Jean Caelen
Id_Membre : Olivier CausseId_Membre : Solange Hollard
Id_Membre : Evelyne Millien Id_Membre : Luc Rodet
BD
Le cycle des opérationsI>> O1 : Mise du schéma sémantique sous une forme logique p appelée contenu
propositionnel, I>> O2 : Calcul de la force illocutoire FUp, I>> O3 : Calcul de la SDRS et résolution des sous-spécifications, D>> O4 : Détermination du but de FUp et ordonnancement des buts en attente,
pour faire émerger le but courant, D>> O5 : Calcul de la stratégie, T>> O6 : Tentative de résolution du but courant, au regard du modèle de tâche, D+T+G>> O7 : Si succès alors action, D+I+T>> O8 : Si échec alors analyse de l’échec puis activation de demande de
correction ou de négociation,D>> O9 : Ordonnancement des buts (élimination des buts satisfaits et intégration
des nouveaux buts), G>> O10 : Génération de l’énoncé de la machine et synthèse vocale, Tous>> O11 : Mise à jour des connaissances et des historiques. Cette opération
est effectuée par chaque module pour son propre compte,
Les échanges de données
(a)
(d)
(b)
(f)
(e)
(c)
Compréhension
Contrôleur du Dialogue
GénérateurGestionnaire de Tâche
Interpréteur
Exemple de dialogue (avec SDRS)
U : Luc Blanc à l’appareil. 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 ? 6U : Oui, merci 7
Cet exemple illustre quelques autres problèmes à résoudre :« Luc Blanc » est un présupposé à la fois qu’il s’agit du prénom et du nom d’un usager mais aussi qu’il fait partie de l’entreprise et qu’il 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 » n’a pas été remise en question« rétro-projecteur » présuppose que la salle Lafayette peut-être équipée d’un tel appareil, que Luc Blanc en aura peut-être besoin et qu’il vaut mieux de toutes façons le réserver à l’avance.
1 U I FS [a1 : personne ; Identité+annonce(a1) ;a1 = « Luc Blanc »]
« Luc Blanc à l’appareil »
D Consultation ontologie de jeux dialogiques :Identité+annonce s’unifie à /présentationprésentation := FS (NomComplet) FS (Titre, Nom) FS (Rôle)donc l’acte 1 est reconnu comme acte de présentation
1 Jeu/ouverture /présentation/
I Présupposition : Luc Blanc = Prénom, NomImplicature : a1 est membrea1.NomComplet = Luc Blanc ; a1 = U
D ?b1 = cM(U) => envoie requête Identifier(U) à T
T U=Luc 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 serviceCalcul stratégie : δcoopératif
SDRS
1
2 U I FFS s2 :salle, d2 :date, e2 :booléen, disponibilité_salle(s2,d2)s2=Lafayette ; d2=j+1 ; e2=disponibilité_salle(s2,d2), e2= ?
« Est-ce que la salle Lafayette est disponible demain ? »
D Consultation ontologie de jeux dialogiques :Disponibilité_salle termes dans l’attente Jeu/demande de serviceDonc 2 Jeu/demande de service/termes
D Applique règles de comportement face à FFSU sachant δcoopératif
Donc ?b2 = disponibilité_salle(Lafayette, J+1)
D Tentative de résolution de b2 donc envoi de la requête Consulter-agenda(Lafayette, J+1, e2) à T
T e2 = 0
D Envoi au générateur de FS(e2)
SDRS
1
Arrière-plan
2
3
M
G FS « non » « Non »
I Mise à jour de la SDRS :FS[neg(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é e2=1 => Consulter-agenda(Lafayette, date, 1)
T date = jeudi
D †b2, envoi au générateur de FSM(date)
SDRS
1
Arrière-plan
3
2
QAP
4 M G FS [v :indéfini ; d3 :date ; e3 : booléen ; agenda+annonce(v, d3, e3) ;v=s2 ; e3=0 ; 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 : U=Luc Blanc ; s2=Salle Lafayette ; d2=J+1 ; d3=+proche jeudiToutes les relations à potentiel ouvrant sont fermées (QAP, IQAP)Tous les référents sont résolus
SDRS
1
Arrière-plan
3
2
QAP
4
IQAP
T1
topique
*234
5
U
I FF [v : indéfini ; réservation+demande (v,) v=?]
« Bon eh bien, réservez-la moi »
D ‡b2, ?b3 = réserver(U, v) => requête Réserver(U, v, d)Consultation ontologie : Jeu/demande de service/exécution
T v = indéfini, d = indéfini
D Envoi d’une 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 :
v=s2 ; d=d5 référents définis et accessibles dans T1 donc
v=Lafayette et d= jeudiouverture nouveau topique T2 (5)
rattachement par Coordination (T1, T2)
D 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.)
D †b3, Calcul stratégie : δcoopératif
Stratégie coopérative et offre de service dans l’ontologie, instancié en Réserver_matériel dans T, d’où?b4 = Réserver-matériel(m) m=rétro-projecteurEnvoi FFS(m) à G
SDRS
1
Arrière-plan
3
2
QAP
4
IQAP
T1
topique
*234
cont. 5
*567
1
Arrière-plan
topique
*14
T2
5
6
Elabq
QAP3
2
QAP
4
IQAP
7
T1
topiquetopique
*234
T3
cont.
6 M G FFS [rétroprojecteur(r6) ; matériel+demande(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)
7 U I FS [confirmation] « Oui, merci »
SDRS
Exercice
U : allô, je voudrais réserver une salle pour lundi 1, 2M : oui. Quel est votre nom ? 3U : je suis Boris. 4M : 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… 6M : <calcule la fonction d’utilité de chaque acteur dans l’agenda de réservation à la date « lundi », choisit Marie Rainer et l’appelle>M : bonjour madame Rainer, 7 vous est-il possible de déplacer votre réunion de lundi ? 8R : oui, pas de problème… 9 déplacez-moi pour le lendemain, même lieu 10M : merci, je réserve votre salle pour le lendemain, mardi. Ce sera toujours la salle Bleue à 11h. 11M : <rappelle le Demandeur> 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