Règles de mise à jour

$$\begin{array}{rcl}B_x?_yQ & \Longrightarrow& B_xW_yKIF_yQ \\ ... ..._yP \\ B_x!?_yP & \Longrightarrow& B_x\lnot KIF_yP\end{array}$$

Ces règles interprètent des coups en terme de croyances de l'auditeur sur les états mentaux du locuteur.