next up previous contents
Next: Règles de mise à Up: Jeu de résolution de Previous: Invariant

Condition de sortie


\begin{displaymath}B_xB_y\lnot P \lor B_xP \end{displaymath}

Le jeu de résolution de conflit réussit si l'un des deux agents parvient à << convaincre >> l'autre. Cependant, cette condition peut sembler trop forte. En effet, le conflit peut disparaître sans pour autant que les agents s'entendent sur la valeur de vérité d'une proposition. Dans ce cas, l'un des agents (ou les deux) conclue à l'ignorance totale. La condition de sortie peut donc être affaiblie en :


\begin{displaymath}\lnot KIF_xB_yP \lor \lnot KIF_xP \end{displaymath}



Christophe Delord
1998-09-02