Représentation des actes de dialogue

Finalement, un acte de dialogue sera représenté par :

Expression en logique modale

Conditions

Equivalent des règles de génération

Interdictions

Equivalent des règles d'interdiction

Effets sur l'auditeur

Effets produits par l'acte sur l'auditeur

Effets sur le locuteur

Effets produits par l'acte sur le locuteur

De plus, l'expression en logique modale de l'acte est la même que celle des états mentaux. Un acte A, de contenu propositionnel $\varphi$, énoncé par l'agent x à la date t avec la force ps'écrira : $A_x^{t,p}\varphi$

Par exemple l'acte de dialogue ?_x^t,pq sera caractérisé par :

Condition	=	Wxt,pKIFxt,p'q
Interdiction	=	$\lnot KIF_x^{t,p'}q$
Effect/y	=	Byt,1Wxt,pKIFxt,pq
Effect/x	=	Bxt,1Byt,1Wxt,pKIFxt,pq

Le tableau 16.1 résume le codage d'un acte de dialogue.

 

Tableau 16.1: Codage des actes de dialogue

$A_x^{t,p}\varphi$

$=$

Condition	$=$	...
Interdiction	$=$	...
Effect/x	$=$	...
Effect/y	$=$	...