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