S

1
Actes de langage et relations rhétoriques en
dialogue homme-machine

• Jean Caelen, Anne Xuereb

2
Le cadre

• Dialogue multimodal avec un agent
  conversationnel
• Agent compétent dans une tâche marchandage,
  secrétariat, etc.
• Dialogue à plusieurs

Je peux vous proposer des voyages à prix réduits
3
Usage-utilisabilité

• Les pratiques 
• Au CHU entre brancardiers et service de gestion,
  Les cadres dune grande entreprise, Les
  professions libérales (notaires), Les secrétaires
  de luniversité besoin de portail vocal
• La signification de lusage
• Forte pour des tâches ciblées résolution de
  problème en face à face
• Voix / autres médias 
• e-mail documents attachés, envois groupés,
  rédaction et réponse différées, traces et
  archivage, pas dattente du correspondant,
  relance automatique
• Fax documents authentifiables, sécurité de
  transmission
• Téléphone Mobilité, confidentialité, dispositif
  très répandu et peu coûteux utilisé pour des
  messages urgents sémantiquement riches,
• Résultat développer des services à laide
  dagents conversationnels

4
Exemple de dialogue visé
Situation

• PH1  Tu sais que Jean veut faire une réunion ?
• PH2  Il demande si tu y viendras
• PH3  Elle sera demain dans mon bureau
• HP4  Non, je ne savais pas
• HP5  Ton bureau ici ?
• PH6  Attends, je vais lappeler
• PJ1 Allô ? Jean ?
• JP2 Oui ?
• PJ3 La réunion de demain aura lieu au labo ?
• JP4  Oui à 10h si possible
• JP5  Henri pourra-t-il venir ?
• PH7  Tu peux venir demain ? Délégation de Q
• PH8  Cest bien confirmé pour la réunion.
• HP9  Oui, si cest le matin
• PJ6  Cest bon pour lui. Délégation de R
• PJ7  A demain.
• PH10  Voilà, cest fait. Donc à 10h demain ici.
• HP11  Entendu.

P  Paul, H Henri, J Jean, Pet H sont en
face à face P et J sont au téléphone H nentend
pas les réponses de J dans la conversation entre
P et J
Monde de la tâche
Agendas
Agendas
Agendas
Agendas
5
Le jeu de dialogue
Le dialogue est vu comme une action conjointe de
deux locuteurs A et B sur le monde de la tâche
Avancement
Elaborations subordonnées
Répliques
But
OK
Peu importe
Demandes
Offres
De combien de personnes ?
De réunion
Pouvez-vous préciser ?
Je voudrais une salle
Utilisateur
Agent
6
Les axes du dialogue
Répliques (remises en cause)
But
F4
F4
Incidences transactionnelles
Incidences épistémiques
F3
F3
Axes subordonnés
F2
F1
Axes subordonnés
Épistémique
Transactionnel
7
Le modèle de jeu de dialogue

• Jeu gouverné par
• des règles de déclenchement de stratégies,
• des règles de comportement rationnel
  (engagement) vis-à-vis du jeu,
• un mécanisme de contrôle de la satisfaction du
  but de dialogue ET du but du jeu,
• des règles de maintien du discours
  (reprise/relance, phatiques, clarification, etc.)
  sur un axe subordonné
• des règles de négociation des rôles (répliques,
  actes déontiques)

 
8
Les actes
Actes Engagement Visée Arrière-plan Effets
FFSA A, B épistémique Monde, KA KAB
FSA A épistémique Monde, KB KAB
FPA A déontique B Plan
FDA B déontique B But
FFA A, B actionnelle But Monde, KAB
FAA A actionnelle But Monde, KAB
9
Architecture
Énoncé oral
Modèles Acous.
Reconnaissance
Modèle Lang.
Morpho-syntaxe
je voudrais réserver la salle de réunion
Lafayette .
Chaîne orthographique
Référents Tâches
Concepts
Compréhension
Plan
Historique
Verbe(réserver), Modalité(vouloir),
Objet(salle-de-réunion), Id(Lafayette),
Agent(je)
Schéma sémantique
Objets
Acte de langage
Gestion de la tâche
Missing(date)
Connaissances
Interprétation
Gestion du dialogue
FFUx, y  agent(x), Lafayette(y),
salle-de-réunion(y), réserver(x,y) ? U
chef-projet(U)
?b1 ?x xsalle-Lafayette, réservé(x)
Contexte tâche
But
?b2 ?t Date(t), FFSM(b2) avec ?coopératif
Stratégies
Référence discours
Génération
Buts dialogiques
 pour quelle date SVP ? 
Action sur le monde
Synthèse TTS
Énoncé oral
10
Nécessité de lier les énoncés
au cotexte

• U1 Je voudrais organiser une réunion
• FFU x1  réunion(x1), organiser(x1)
• M2 Oui, pour quelle date ?
• FFSM x2 date(x2) ? x1
• U3 Le 20 dans la matinée
• FSU x3 y3 x 3x2, heure(y3) ? x3
• M4 Souhaitez-vous que je men occupe ?
• FFSMx4 y4 x 4x1, réf(y4) ? FFU
• U5 Non, simplement de la réservation de la salle
• FSUx5 x5y4 ? FFUy5  salle(y5),
  réserver(y5)
• U fait réserver une salle (de réunion) par M pour
  le 20 dans la matinée

 
 
11
au contexte (thème, topique)

• Représentation des thèmes source linguistique
• Champs lexico-sémantiques
• Relations entre thèmes source tâche
• Graphe de dépendance exemple pour la réservation

 
 
12
La réservation
Expose le problème C (intro ? générale)
C - Dem dispo Salle RSG-mat
Chambre date donnée par C
Modif C (Act modif? annul réservat)
Annul RESA-salle C Donne linfo.
Confirm RESA- chmb C
mise en attente - A Consult agd
Possibilité Modif C
Echec
PROP ou SOL
Echec

• RESA-salle-Série de ? A
• Heures ? Quand ?
• Type salle ?
• Date ?
• Organisme ? Nom ?
• Sujet / Motif ?

• Série de ? A
• Quand ?
• pour quoi ?

Réussite

• Série de ? RESA-chambre C
• Prix / Services ? C
• Itinéraire C (explic iti. A)
• Prop envoi fax C
• Dem. Infos div. C

Négoc C

• RESA-chamb.-Série de ? A
• Nom ? A
• Organisme ? A
• Dates / périodes A

Paiement de la facture - A
Série infos fonctionnement-A
C dem coord de A (mail)
Act A RESA ou QUASI-RESA
Explic (de A à C..)
Act A confirm
Act  Demande envoi mail de confirm A
Pb dates - ERR C.
Validation - A
Résumé A Résumé C
Act annulation A
Remerciements Salutations (A C )
13
Lier les énoncés quels problèmes ? Comment ?
La paire adjacente fermeture des attentes par
rattachement à lhistorique ( RR en
SDRT) Linteracte ouverture aux actions
futures, principe dengagement ( en assumer les
effets)
temps
acteB
acteA
interacte
Effet résolvant
Effet projectif
14
Exemple
Situation

• A  Avez-vous lheure ?
• B  Non

Dans la rue à minuit A un homme un peu
négligé B une jolie fille
Effet résolvant QAP Effet projectif
 laissez-moi tranquille 
Conserver les deux points de vue actes
RR Établir des ponts entre actes et RR en SDRT
15
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

16
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.

17
La SDRT (2) Segmented Discourse Representation
Theory
SDRS Segmented Discourse Representation
Structure
?0
U
Conditions
18
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

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

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

19
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)
20
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
21
La SDRT pour analyser la cohérence du dialogue

• SDRT cadre descriptif formel pour lanalyse de
  la cohérence du discours
• ? Adaptation au dialogue finalisé
• ? Utilisation pour résolutions pragmatiques
• Mise en œuvre des résolutions pragmatiques
• ? structurer linformation établie par les
  échanges dialogiques
• Modéliser les enchaînements complexes dactes
• Résoudre les référents
• Résoudre les anaphores et les ellipses
• Modéliser les présuppositions

22
Définition
RR dialogique relation FAp ? FBq RR
monologique relation de discours FAp ?
FAq Effet projectif bA, bB, KAB
23
Les RR

• (a) Laxe épistémique et son subordonné
• Les questions-réponses notées QAP  Question
  Answer Pair, PQAP (Partial QAP) et IQAP (Indirect
  QAP). Ces questions-réponses sont sur laxe
  principal,
• Les questions subordonnées Q-Sub   Question
  Subordination,
• sont des demandes dexplicitation à propos des
  connaissances mutuelles. Les demandes de
  clarifications, corrections, reformulations,
  précision, etc. sont dans cette classe. On les
  notera Q-Subclarification, etc.
• Les élaborations de connaissances notées Elab 
  Elaboration,
• sont des apports de connaissances mutuelles
  construites au cours du dialogue.
  Elabclarification, Elabexplication,
  Elabcorrection,
• Elabq questions constructives.

24
Les RR

• (b) laxe transactionnel et son subordonné
• Les délégations daction notées RAP   Request
  Answer Pair,
• est une demande daction. PRAP réponse-action
  partielle et IRAP indirecte
• Les élaborations de plan notées P-Elab  Plan
  Elaboration,
• est une contribution à la construction dun plan
  conjoint ce plan devient le cadre daction qui
  conduit à la résolution du but,
• Les élaborations de question Q-Elab  Question
  Elaboration,
• contribution à la construction dun plan par une
  question,
• Les élaborations de but R-Elab  Action
  Elaboration,
• est une contribution à la construction dun but
  ou à la mise en perspective de ce but sil est
  déjà posé. Cette transaction sur le but est sur
  laxe subordonné,

25
Les RR

• (c) les axes divergents  incidences et répliques
• Les incidences notées I On distingue les
  incidences avec retour ou détour et les
  incidences sans retour, les insultes par exemple.
  Les détours sont en général des actes
  constructifs, mais indirectement et non
  médiatement, pour larrière-plan du dialogue,
• Les répliques notées R se comportent comme des
  coordinations fermantes. En effet on ne peut
  enchaîner que sur une réponse à la réplique ou
  par un échappatoire. Les répliques permettent
  cependant de changer les règles du dialogue, de
  réguler la prise de tour de parole, de contester
  les rôles, etc. Leur effet est de modifier les
  engagements des interacteurs.

26
Les RR
(d) Les continuations notées C sont des actes
qui continuent le discours dans le même topique.
  Les phatiques et méta-discours nengendrent
pas de relations rhétoriques intéressantes pour
le DHM. Les acquiescements Prévot, 2004 sont
des phatiques qui ont pour rôle soit de maintenir
le fil du dialogue (comme mmh, ouais, etc.) soit
de fermer une suite dénoncés sous un même
topique. Les acquiescements ne sont pas des
réponses oui/non à des questions. La
reformulation est filtrée à lanalyse (idem pour
la répétition) A  Est-ce que la salle Lafayette
est disponible ? FFSA B  Cest pour la
réserver je suppose ? FFSB Oui, elle le sera
demain. FSB Ici (FFSA, FSB) QAP seulement,
on élimine FFSB pour simplifier les traitements
ultérieurs. FFSAp FFSAp
Reformulation QAPdialogique FFSBp FSB
q QAPmonologique FSBq
27
Exemples de relations dialogiques 
FSB 
QAP, PQAP, IQAP
FFSB 
Q-Sub, Elabq
Elle est au fond de ce couloir Dans un autre
bâtiment A côté de la salle Rouge
Cest bien une salle de réunion que vous
cherchez ? Cest pour lassemblée générale ?
FFSA Où est la salle B ?
FFB 
QAP, PQAP, IQAP
FAB 
QAP, PQAP
Vous allez au fond de ce couloir Vous allez dans
lautre bâtiment Vous allez dans la salle qui est
à côté de la salle C
Venez, je vous emmène avec moi Venez avec moi je
vous montre le début du chemin
P-Elab
R-Elab
FSB  FPB
FFB FDB 
Le plan des salles est dans le hall Vous montez
là ou vous prenez lascenseur
Demandez au concierge Vous devez dabord passer
au contrôle
28
Exemples de relations monologiques 
FFSA
Q-Sub Q-Elab Elabq
FSA 
Élaborations PRAP
Cest pour une réunion La même quhier Je sais
que la C2 est disponible demain
Cest bien vous le responsable ? Est-ce que vous
savez si Dupond la déjà fait ? Ou bien me dire
qui peut le faire ?
FFA Pouvez-vous me réserver une salle ?
FFSA 
C
Y aura-t-il du matériel ?
FDA FPA
R-Elab P-Elab
FFA FAA 
R-Elab, P-Elab, C
Vous devez d'abord saisir ma demande dans le
système Vous pouvez remplir une fiche ou appeler
le responsable
Faites-le par Internet Et prévenir les
participants Je commence à remplir la fiche
29
Comparaison avec les RR textuelles standard  
Narration  chronologie sur laxe spatio-temporel
(puis, ensuite, etc.). Le topique subsume une
narration.  Pierre est venu, puis il est
reparti  Continuation  relation dénumération
(liste, sous-liste, etc.). Le topique oriente et
préexiste à une continuation. Cest une
description dans un thème Résultat  relation
qui marque leffet dune action.  Il pleut  la
place est inondée  Arrière-Plan  relation entre
états (décor ou monde) et événements (premier
plan). Quelque chose existe en fond et un
événement se produit en premier plan. Le topique
darrière plan se lie au topique davant plan.
 le camion était arrêté  le vélo le percuta .
Parallèle  relation entre deux événements
simultanés  Pierre se promène  Paul lit le
journal , (isomorphisme structurel) Contraste 
relation qui oppose deux événements ou deux états
(isomorphisme structurel) Élaboration  relation
dinclusion entre événements ou entre états  la
place est carrée  au centre il y a une statue ,
Acquiescement (phatique) toujours subordonné,
ouais, mmh. Topique  relation qui lie les
énoncés se rapportant au même thème. Cest une
relation structurelle qui se construit au moment
de la mise à jour du discours lors de la
formation de constituants complexes (principe de
cohérence). Commentaire  peut toujours être
subordonné, cest du méta-discours. Conséquence 
une relation qui lie un événement à un état par
une relation deffet Explication  relation de
causalité. Aussi raison-de, justification Plan-Ela
b  des énoncés à valeur actionnelle qui
contribuent à faire avancer un plan.
30
Le nœud 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
K?1 ?f.f (dispo(salle-Eluard, d1)) ?p.p,
?p.?p restriction de la réponse
K?2 ?p.p
K?2 appliquée à K?1 ?f.f (dispo(salle-Eluard,
d1)) (?p.p) fonction identité
? dispo(salle-Eluard, d1)
31
Exemples de structures Q/R
31
32
Exemple de formalisation QAP

• Règles de déclenchement
• FFS(?1) , (FS (?2) ? FA(?2) ? FF(?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 de QAP
• x y Topique Question (?)Q(y)
• nœud Q potentiellement résolu

33
Exemple
A Bonjour, Luc Blanc à lappareil. ?1
Est-ce que la salle Apollinaire est disponible la
semaine prochaine ? ?2 B  Elle est disponible
jeudi et vendredi. ?3 A Bon et bien
réservez-la moi ?4 B Quel jour ? Jeudi ou
vendredi ? ?5 A disons vendredi. ?6
34
Construction incrémentale de la SDRS
?1
?
?1 A Bonjour, Luc Blanc à lappareil
FS(?1)
35
?1 A Bonjour, Luc Blanc à lappareil
?2 A Est-ce que la salle Apollinaire est
disponible la semaine prochaine ?
FFS(?2) ? ?1, ?2, Arrière-plan(?1,
?2) LAST ?2 SD ?2, ?1
36
?1 A Bonjour, Luc Blanc à lappareil
?2 A Est-ce que la salle Apollinaire est
disponible la semaine prochaine ?
?3 B Elle est disponible jeudi et vendredi
FS(?3) SatQR(?2,?3) Cond IQAP IQAP(?2, ?3)
insérer_topique() maj_topique()
37
?1 A Bonjour, Luc Blanc à lappareil
?2 A Est-ce que la salle Apollinaire est
disponible la semaine prochaine ?
?3 B Elle est disponible jeudi et vendredi
FS(?3) SatQR(?2,?3) Cond IQAP IQAP(?2,
?3) insérer_topique() maj_topique() LAST ?3
SD ?3, ?2, t1, ?1
38
?1 A Bonjour, Luc Blanc à lappareil
?2 A Est-ce que la salle Apollinaire est
disponible la semaine prochaine ?
?3 B Elle est disponible jeudi et vendredi
?4 A Bon et bien réservez-la moi
FF(?4) changement de thème Continuation sur
nœud topique insérer_cont(t1, ?4 )
39
?1 A Bonjour, Luc Blanc à lappareil
?2 A Est-ce que la salle Apollinaire est
disponible la semaine prochaine ?
?3 B Elle est disponible jeudi et vendredi
?4 A Bon et bien réservez-la moi
FF(?4) changement de thème Continuation sur
nœud topique insérer_cont(t1, ?4 )? introduction
explicite du topique subsumant (t2) LAST ?4
SD ?4, t2, ?1
40
?1
Arrière-plan
t2
topique
?1 A Bonjour, Luc Blanc à lappareil
?14
?2 A Est-ce que la salle Apollinaire est
disponible la semaine prochaine ?
Cont.
t1
?4
?3 B Elle est disponible jeudi et vendredi
topique
Elabq
?4 A Bon et bien réservez-la moi
?2
?5
?5 B Quel jour ? jeudi ou vendredi ?
IQAP
?3
FFS(?5) Elabq(?4, ?5)
41
?1
Arrière-plan
t2
topique
?1 A Bonjour, Luc Blanc à lappareil
?14
?2 A Est-ce que la salle Apollinaire est
disponible la semaine prochaine ?
Cont.
t1
t3
?3 B Elle est disponible jeudi et vendredi
topique
topique
?4 A Bon et bien réservez-la moi
?4
?2
Elabq
?5 B Quel jour ? jeudi ou vendredi ?
IQAP
?3
?5
FFS(?5) Elabq(?4, ?5)
insérer_topique Question() LAST ?5 SD
?5, ?4, t3, t2, ?1
42
?1
Arrière-plan
t2
topique
?1 A Bonjour, Luc Blanc à lappareil
?14
?2 A Est-ce que la salle Apollinaire est
disponible la semaine prochaine ?
Cont.
t1
t3
?3 B Elle est disponible jeudi et vendredi
topique
topique
?4 A Bon et bien réservez-la moi
?4
?2
Elabq
?5 B Quel jour ? jeudi ou vendredi ?
IQAP
?3
?5
?6 A disons vendredi.
FS(?6) SatQR(?5,?6) Cond QAP maj_topique ()
QAP
?6
43
Graphe final
U Luc Blanc
?1
Arrière-plan
t2
?14
réservation
continuation
t1
t3
disponibilité
topique
topique
?456
?23
?4
?2
Elabq
IQAP
?5
QAP
?3
?6
44
Conclusion

• Nécessité de lier les énoncés au cotexte et au
  contexte (discours et tâche)
• La SDRT et ses RR
• La SDRS comme structure du dialogue
• Intérêt des RR et des actes de langage
  articulations temporelle et projective
  différentes
• Les actes portent une attente
• Réduction des RR à leur fonction pragmatique
• Reconsidérer la notion de thème enrichir le
  nœud topique

 
 
45
Exemple FFSA ? FB  (dialogique)
FFSA  Où est la salle Lafayette ? Réponses
possibles RRd FSB  Elle est au fond de ce
couloir (QAP) Dans un autre bâtiment
(PQAP) A côté de la salle Rouge
(IQAP) Le plan des salles est dans le hall
(P-Elab) Je ne suis pas le concierge
(R) FFSB  Cest pour la prochaine réunion ?
(Elabq) Cest bien une salle de réunion que
vous cherchez ? (Q-Subclarific) Est-ce vous
qui lavez réservée ? (Q-Subincidence) Je
vous ai parlé dun général ? (R) FFB  Vous
allez au fond de ce couloir (QAP) Vous allez
dans lautre bâtiment (PQAP) Vous allez dans
la salle qui est à côté de la salle Rouge
(IQAP) Demandez au concierge (R-Elab) FAB 
Venez, je vous emmène avec moi (QAP) Venez
avec moi je vous montre le début du chemin
(PQAP) Je nai pas le temps, je men vais
(R) FDB  Vous devez dabord passer au
contrôle (R-Elab) FPB  Vous montez là ou
vous prenez lascenseur (P-Elab)
46
Exemple FFA ? FA (monologique) 
FFA  Pouvez-vous me réserver une
salle ? Réponses possibles RRm FSA  Cest
pour une réunion (Elabexplication) La même
quhier (Elabclarification) Je sais que la
C2 est disponible demain (PRAP) FFSA  Y
aura-t-il du matériel ? (C) Cest bien vous
le responsable ? (Q-Subclarific) Est-ce que
savez si Dupond la déjà fait ?
(Q-Subincidence) Ou bien me dire qui peut le
faire ? (Q-Elab) FFA  Faites-le par Internet
(R-Elab) Il vous suffit de remplir ce
formulaire (P-Elab) Et prévenir les
participants (C) FAA  Je commence à remplir
la fiche (P-Elab) FDA  Vous devez d'abord
saisir ma demande dans le système. (R-Elab) FPA 
Vous pouvez remplir une fiche ou appeler le
responsable (P-Elab)
47
Évolution du but du jeu
- nouveau but ?b, ce but vient dêtre exprimé
par lusager, - but atteint b, létat de la
situation rend le prédicat b vrai, - but
satisfait b, lusager manifeste son accord
explicitement ou implicitement sur b, - but mis
en attente -b, lusager ou la machine résolvent
temporairement un autre problème, - but réparé
b, à la suite dune incompréhension le but est
modifié, - but déplacé b, à la suite dun
compromis le but est modifié, - sous-but sb, le
problème est décomposé en sous-problèmes, - but
abandonné _at_b, à la suite dun échec et dun
souhait dabandon de lusager.
48
Stratégies

• Manière de gérer un échange pour satisfaire le
  but (les rôles peuvent changer au cours des
  échanges)
• Direction dajustement des buts
• Soit bA le but de A et bB celui de B en début
  déchange. Au cours de léchange on peut avoir
• _at_ bA au profit de bB A est réactif (bB ? _at_
  bAØ)
• Imposition de bA à B A est directif (bA ? _at_ bB
  Ø)
• Partage des buts A, B sont coopératifs (bA ? bB
  )
• Recherche dun compromis A, B négocient (bA
  ?b? bB)
• Détour constructif A, B font une incidence (bA
  ? Ø ? bB)
• Causes déchec incompréhension, incidence ou
  rupture, assertion fausse, présupposé erroné,
  action impossible, erreur ou mensonge

 
 
49
La DRT Discourse Representation TheoryKamp
Reyle, 93

• DRS Discourse Representation Structure

?
U(?)
ConditionsC(?)
Conditions prédicat ou formule logique sur DRS