Règles de mise à jour des états mentaux : $\cal EM \longrightarrow EM$

 

Les règles de mise à jour décrivent le fonctionnement interne de l'agent. A partir d'une expression portant sur les états mentaux courants, la règle produit une combinaison d'états mentaux dont le comportement est le même que pour les règles de perception.

Exemples :

$$B_x?_yQ \Longrightarrow B_xW_yKIF_yQ$$	(interprétation des coups)
$$B_xB_yP \land \lnot B_x \lnot P \Longrightarrow B_xP$$	(appropriation de croyances)
$$W_xKIF_xQ \land B_x(P \to Q) \Longrightarrow W_xKIF_xP$$	(décomposition de problèmes en sous-problèmes)