Ajout d'une règle d'inférence

Etant donné qu'il n'y a pas d'états mentaux dans la base au moment de l'ajout d'une nouvelle règle d'inférence, il suffit donc de mettre à jour l'ensemble des règles d'inférence. L'ajout de la règle d'inférence $\left(\frac{LHS}{RHS}\right)_{COND,P}$ dans la base $\left< IRS,\phi \right>$produit la base $\left< \left\{ \left(\frac{LHS}{RHS}\right)_{COND,P} \right\} \cup IRS, \phi \right>$.