next up previous contents
Next: Invariant Up: Jeu de résolution de Previous: Jeu de résolution de

Condition d'entrée


\begin{displaymath}B_xB_yP \land B_x\lnot P \end{displaymath}

Un conflit ne peut être détecté que dans la base de connaissances de l'agent et dans la représentation qu'il se fait de l'autre agent. Cela n'est pas une inconsistance logique, mais une supposition de l'inconsistance sur la réunion des croyances.



Christophe Delord
1998-09-02