Coups logiques

Si l'on se réfère au modèle précédent, les coups logiques peuvent être des applications de règles d'inférence ou de mise à jour. Cependant, les règles de mise à jour fonctionnent de la même manière que les règles d'inférence. On ne va donc pas les distinguer ici, et ne considérer que des règles d'inférence. La principale différence entre les coups logiques et les coups de dialogue est la portée du coup. Le coup de dialogue a des effets chez l'auditeur et le locuteur. Le coup logique étant interne à l'agent qui le joue, il n'a d'effets que chez l'agent. A ceci près, la définition d'un coup logique ressemble à celle d'un acte de dialogue. Par exemple, on pourra représenter le modus ponens par le coup logique suivant :

$\frac{B_x(P \to Q) \land B_xP}{B_xQ}$

=

Condition	=	WxKIFxQ
Interdiction	=	KIFxQ

Les effets (ici B_xQ) sont entièrement contenus dans l'expression du coup, il est donc inutile de spécifier un champ effets.