Remarque

Il semblerait que les actes de dialogue aient une structure assez particulière. L'exemple précédent semble montrer que les effets d'un acte se déduisent des conditions qui ont rendu la génération possible. Les effets seraient alors des croyances sur les conditions. Il semble en effet assez naturel de croire que les conditions d'un acte sont remplies lorsque celui-ci est joué. On aurait donc $Effets/y=\tilde{B}_yConditions$ et $Effets/x=\tilde{B}_xEffets/y$.

Cela fonctionne avec certains actes (!, ?, !?), mais pas avec la promesse. Si l'acte $\&_xp$ (x promet p) est produit, c'est que x s'engage à ce que p devienne vrai (W_xp), alors qu'avant la promesse, il n'en avait pas l'intention ( $\lnot W_xp$) ou l'obligation. On ne peut pas avoir chez y à la fois $B_y \lnot W_xp$ et B_yW_xp. On ne peut donc pas calculer systématiquement les effets à partir des conditions. Nous conserverons donc les effets dans la définition des actes.