Pragmatique du dialogue hommemachine

1
Pragmatique du dialogue homme-machine

• Anne Xuereb
• sous la direction de Jean Caelen

2
Plan

• Pourquoi la pragmatique est-elle nécessaire en
  dialogue homme-machine ?
• Comment réaliser linterprétation pragmatique
  dans ce cadre spécifique
• Représenter la cohérence du discours la SDRT
• Segmented Discourse Representation Theory
• Mettre en uvre la SDRT en dialogue homme-machine
  
• ? Illustration sur exemples
• Bilan et perspectives

3
Pourquoi la pragmatique caractère indexical
du langage

• Expressions dont la signification ne peut être
  donnée sans recours à des éléments liés au
  contexte de la communication
• ? index espace, temps, sujets et objets
  présents
• Analyse pragmatique interpréter lindexicalité
• Références anaphoriques historique du dialogue
• Références déictiques modéliser le monde
• Références aux connaissances communes et aux
  normes sociales du langage présuppositions et
  implicatures

4
Exemples

• Oui, je souhaite la réserver pour demain

Anaphore pronominale
déictique

• Prévenez les participants

présupposition

• Je ne connais pas leurs e-mails.

implicature
5
Cadre du projet Agent conversationnel

• Projet PVE Portail vocal dentreprise
• Domaine services de lentreprise
• Mode daccès parole
• Dialogue homme-machine
• Assistant virtuel
• Multi-sessions et multi-partenaires

? Interpréteur pragmatique intègre
linterprétation de lénoncé au contexte et à
lhistorique.
6
Agent conversationnel architecture générale
Enoncé oral
Modèles Acoustiques
Reconnaissance
Modèle de Langage
Morpho-syntaxe
Chaîne orthographique
Référents Tâches
Concepts
Compréhension
Plan
Historique
Schéma sémantique
Acte de langage
Objets
Gestion de la tâche
Interprétation
Connaissances
Gestion du dialogue
Contexte tâche
But
Stratégies
Génération
Situation de communication
Buts dialogiques
Action sur le monde
Synthèse TTS
Enoncé oral
6
7
Le comment les théories formelles

• Les sémantiques dynamiques
• intégration sémantique / pragmatique dans une
  construction incrémentale du contexte.
• La DRT Discourse Representation Theory
• Kamp Reyle, 81
• La SDRT Segmented Discourse Representation Theory
• Asher, 93 Asher Lascarides, 03

8
La DRT Discourse Representation TheoryKamp
Reyle, 93

• DRS Discourse Representation Structure

?
U(?)
ConditionsC(?)
Conditions prédicat ou formule logique sur DRS
9
Les outils formels la SDRTAsher, 1993 Asher
Lascarides 03

• Extension de la DRT
• Rend compte de lorganisation structurelle du
  discours
• liens logiques entre les segments discursifs
  relations rhétoriques
• ? Cest une théorie représentationnelle de
  linterface sémantique-pragmatique.

10
La SDRT (2) Segmented Discourse Representation
Theory

• SDRS Segmented Discourse Representation
  Structure

?0
U
Conditions
11
La SDRS du dialogue

• SDRS structure hiérarchique
• Relations subordonnantes/coordonnantes
• Règles structurelles pour la construction du
  dialogue
• Sites dattachement disponibles
• Contraintes sur laccessibilité des référents

• Jules a eu une journée sportive
• Le matin, il a joué au tennis
• Il a gagné son match
• Laprès-midi il est allé à la piscine

• Il a bien nagé
• e. Il la gagné en trois sets

12
Sites dattachement

• Domination par emboîtement Dom-E
• Domination par subordination Dom-S
• Domine fermeture transitive (Dom-E ? Dom-S)

? SD ensemble des sites d'attachement disponibles
SD ? tel que ? Last ? Domine(?, Last)
13
Accessibilité des référents

• Soit R (?1, ?2) une condition de la SDRS ?
• ?2 et ses sous-DRS accèdent aux référents
  (DRS-accessibles) de ?1

On ne peut accéder qu'aux référents qui dominent
le constituant courant, ou du constituant situé
immédiatement à gauche
14
La SDRT en dialogue homme-machine finalisé
attendus

• SDRT cadre descriptif formel pour lanalyse de
  la cohérence du discours
• ? Adaptation au dialogue homme-machine
• ? Utilisation pour résolutions pragmatiques
• Mise en uvre des résolutions pragmatiques
• Modéliser les enchaînements complexes de
  questions/réponses
• Résoudre les anaphores propositionnelles
• Résoudre les anaphores pronominales
• Modéliser les présuppositions

15
Les sept relations rhétoriques

• QAP (?, ?) paire Question-Réponse Complète
• (?) Quel est votre nom ? (?) Luc Blanc
• PQAP (?, ?) paire Question-Réponse Partielle
• (?) Pour quelle date voulez-vous réserver ? (?)
  Avant la fin du mois.
• IQAP (?, ?) paire Question-Réponse Indirecte
• (?) assisterez-vous au conseil de labo ? (?) je
  serai en mission.
• Q-ELAB (?, ?) Élaboration de Question
• (?) Pouvons-nous nous voir la semaine prochaine
  ? (?) Êtes-vous libre mardi ?
• Q-Sub (?, ?) Question subordonnée
  (clarification)
• (?) Voulez-vous la salle C115 ? (?) quelle
  salle avez-vous proposée ?
• Arrière-Plan-dialogique (?, ?) Arrière-plan du
  dialogue
• (?) Bonjour, Luc Blanc à lappareil. (?) Je
  voudrais réserver une salle.
• Coordination (?, ?) relation par défaut
• (?) Jai enregistré votre demande. (?) Je vous
  rappelle demain.

16
Le nud topique élément structurant
linformation échangée

• Reçoit le contenu de la résolution Q/R
• (A) La salle Eluard est-elle libre la semaine
  prochaine ? ?1
• (M) Oui ?2
• (A) Je la réserve pour mardi. ?3

K?1 ?f.f (dispo(Eluard, d1)) ?p.p, ?p.?p
restriction de la réponse
K?2 ?p.p
K?2 appliquée à K?1 ?f.f (dispo(Eluard, d1))
(?p.p) fonction identité
? dispo(Eluard, d1)
17
Les différentes structures Q/R
17
18
Les différentes structures Q/R - suite
Q1
t1
topique
Q-Sub
Insertion nud topique
Q1
Q2
R4
QAP
Q-Sub
Q2
R4
R3
R3
18
19
La représentation logico-sémantique (DRS)

• Énoncé conjonction dactes de langage
• Fp force illocutoire F contenu propositionnel p
• Forces FA , FF, FS, FFS, FD, FP
• p marqueurs de référence prédicats
  équations
• Sous-spécifications

U Luc Blanc à lappareil ?1  FS  a1 
personne  identitéannonce(a1)  a1.NomComplet
  "Luc Blanc"
20
Formalisation QAP

• Règles de déclenchement
• (FFS(?1) ? FF(?1)) , (FS (?2) ? FA(?2))
• SatQR (K?1, K?2) Conditions de satisfaction Q/R
  
• K ?1 ? ?x.Q(x)
• K?2 ? ? p (?x.Q(x)) (?) ? p
• ? ( ?y p ? Q(y)) ? p ? ? ? y Q(y) ?
• Soit Q à polarité et K?2 ? Vrai, Faux, Q, ?Q
• Soit K?2 contient autant de référents que le
  nombre de lambda-termes de K?1 ( unification
  types sémantiques)
• Effets sémantiques de QAP
• x y (?)Q(y) nud Q potentiellement
  résolu

21
Exemple

• U Bonjour, Luc Blanc à lappareil. ?1
• Est-ce que la salle Apollinaire est
  disponible la semaine prochaine ? ?2
• M  Elle est disponible jeudi et vendredi. ?3
• U Bon et bien réservez-la moi ?4
• M Quel jour ? Jeudi ou vendredi ? ?5
• U disons vendredi. ?6

22
Construction incrémentale de la SDRS
?1
?
?1 U Bonjour, Luc Blanc à lappareil
FS(?1)
Soutenance Master III, 17 juin 2004
22
23
Construction incrémentale de la SDRS
?1 U Bonjour, Luc Blanc à lappareil
?2 U Est-ce que la salle Apollinaire est
disponible la semaine prochaine ?
FFS(?2) (cas 2 cas 3 1.1) ? ?1, ?2,
Arrière-plan-dialogique(?1, ?2) LAST ?2
SD ?2, ?1
Soutenance Master III, 17 juin 2004
23
24
Construction incrémentale de la SDRS
?1 U Bonjour, Luc Blanc à lappareil
?2 U Est-ce que la salle Apollinaire est
disponible la semaine prochaine ?
?3 M Elle est disponible jeudi et vendredi
FS(?3) SatQR(?2,?3) Cond IQAP (cas 3, 1.2)
IQAP(?2, ?3) insérer_topique() maj_topique()
Soutenance Master III, 17 juin 2004
24
25
Construction incrémentale de la SDRS
?1 U Bonjour, Luc Blanc à lappareil
?2 U Est-ce que la salle Apollinaire est
disponible la semaine prochaine ?
?3 M Elle est disponible jeudi et vendredi
FS(?3) SatQR(?2,?3) Cond IQAP (cas 3, 1.2)
IQAP(?2, ?3) insérer_topique()
maj_topique() LAST ?3 SD ?3, ?2, t1,
?1
Soutenance Master III, 17 juin 2004
25
26
Construction incrémentale de la SDRS
?1 U Bonjour, Luc Blanc à lappareil
?2 U Est-ce que la salle Apollinaire est
disponible la semaine prochaine ?
?3 M Elle est disponible jeudi et vendredi
?4 U Bon et bien réservez-la moi
FF(?4) changement de thème (2.2) Coord sur nud
topique insérer_coord(t1, ?4 )
Soutenance Master III, 17 juin 2004
26
27
Construction incrémentale de la SDRS
?1 U Bonjour, Luc Blanc à lappareil
?2 U Est-ce que la salle Apollinaire est
disponible la semaine prochaine ?
?3 M Elle est disponible jeudi et vendredi
?4 U Bon et bien réservez-la moi
FF(?4) changement de thème (2.2) Coord sur nud
topique insérer_coord(t1, ?4 ) LAST ?4
SD ?4, ?1
Soutenance Master III, 17 juin 2004
27
28
Construction incrémentale de la SDRS
?1 U Bonjour, Luc Blanc à lappareil
?2 U Est-ce que la salle Apollinaire est
disponible la semaine prochaine ?
?3 M Elle est disponible jeudi et vendredi
?4 U Bon et bien réservez-la moi
?5 M Quel jour ? jeudi ou vendredi ?
FFS(?5) Cond Q-Elab (cas 2.1) Q-Elab(?4,
?5)
Soutenance Master III, 17 juin 2004
28
29
Construction incrémentale de la SDRS
?1 U Bonjour, Luc Blanc à lappareil
?2 U Est-ce que la salle Apollinaire est
disponible la semaine prochaine ?
?3 M Elle est disponible jeudi et vendredi
?4 U Bon et bien réservez-la moi
?5 M Quel jour ? jeudi ou vendredi ?
FFS(?5) Cond Q-Elab (cas 2.1) Q-Elab(?4,
?5)
insérer_topique () LAST ?5 SD ?5,
?4, t2, ?1
Soutenance Master III, 17 juin 2004
29
30
Construction incrémentale de la SDRS
?1 U Bonjour, Luc Blanc à lappareil
?2 U Est-ce que la salle Apollinaire est
disponible la semaine prochaine ?
?3 M Elle est disponible jeudi et vendredi
?4 U Bon et bien réservez-la moi
?5 M Quel jour ? jeudi ou vendredi ?
?6 U disons vendredi.
FS(?6) SatQR(?5,?6) Cond QAP (cas 1.2)
maj_topique ()
Soutenance Master III, 17 juin 2004
30
31
Graphe final
?1
U Luc Blanc
Arrière-plan-dialogique
réservation
coordination
t1
t2
disponibilité
topique
topique
?4
?2
Q-Elab
IQAP
?5
?3
QAP
?6
Soutenance Master III, 17 juin 2004
31
32
Résolutions pragmatiques (1)

• IQAP(?2, ?3) ? anaphore pronominale Elle
• anaphore associative jeudi vendredi
• Topique t1 ? anaphore propositionnelle K?2K?3
• Coordination(t1, t2) ? anaphore pronominale la

33
Résolutions pragmatiques (2)
Est-ce que la salle Apollinaire est disponible la
semaine prochaine ? ?2 Elle est disponible jeudi
et vendredi. ?3
?2 FFS s2 salle d2 ensemble_date, e2
booléen Agendademande(s2, d2, e2) s2
Apollinaire d2 semaineCourante1, e20
?3 FS v indéfini d3, d4 date e3, e4
booléen Agendaannonce(v, d3, e3)
Agendaannonce(v, d4, e4) v ? e30, e40,
d3 jeudi, d4 vendredi
? IQAP (?2 , ?3) v ? Recherche dans ?2
contraintes sur types sémantiques
? v s2 v salle
34
Conclusion ma contribution

• Un modèle opératoire de linterprétation
  pragmatique en dialogue homme-machine
• Définition des relations rhétoriques dans ce
  cadre spécifique
• Spécification de la mise en oeuvre de
  linterprétation pragmatique en utilisant le
  cadre formel de la SDRT
• ? écriture des algorithmes de construction de la
  SDRS du dialogue
• ? écriture des procédures de résolution des
  sous-spécifications sémantiques
• Validation manuelle sur corpus
• Spécification dun modèle de communication entre
  les composants logiciels autour de linterpréteur
  pragmatique
• Publications
• ? TALN04 Fès, 23avril 04
• ? Journées Sémantique et Modélisation, Lyon 23
  mars 04

35
Perspectives

• Compléter la formalisation des présuppositions
• Modéliser le traitement des implicatures
• Valider le modèle en programmant un prototype
• Évaluer le prototype

36

• Merci de votre attention.

37
Limites de la SDRT

• Décidabilité
• 2 logiques
• - monotone pour le contenu informatif
• - non monotone pour les attachements
• Difficulté détablir des critères forts
  connaissances du monde

38
Communication entre agents
forme logique énoncé
Acte M Fp
Compréhension
Contrôleur du dialogue
Acte U Fp
Interpréteur
Explic. But objet valeur
Signal acte généré
Référents saillants
Gestionnaire de tâches
Générateur
39
Environnement de programmation

• Java Jess
• Protégé2000 pour ontologie locale