Règles de mise à jour

$$\begin{array}{rcl}B_xB_yP \land \lnot B_x \lnot P & \Longrightarrow& B_xP\end{array}$$

Cette règle exprime le transfert des connaissances de la représentation d'un agent vers les croyances de l'agent. On veut un comportement coopératif, il n'y a donc pas de raison de refuser une information si l'on n'a aucune preuve du contraire.

$$\begin{array}{rcl}W_xKIF_xQ \land B_x(P \to Q) \land \lnot KIF_xP & \Longrightarrow& W_xKIF_xP\end{array}$$

Pour résoudre un problème, l'agent peut s'intéresser aux sous problèmes permettant la résolution complète.