Base de connaissances

De la même manière, après application de l'opérateur $\tilde B_x$, la base de connaissances devient : $\left\{ B_xq,B_x(p \to q),B_xB_yq,B_xB_y(p \to q) \right\}$.