next up previous contents
Next: Hiérarchie des agents Up: Jeu de résolution de Previous: Règles de mise à

Règles de génération


\begin{displaymath}\begin{array}{rcl}B_xP & \Longrightarrow& !_xP \\
B_x(R \to...
...x(R \to P) \\
B_x(R \to P) & \Longrightarrow& !_xR\end{array}\end{displaymath}

Les règles de génération du jeu de résolution de conflit permettent à l'agent dénoncer soit la proposition telle qu'elle est dans les croyances, soit de donner une justification de cette croyance. Une justification peut être une connaissance sous forme d'implication, ou la partie gauche d'une implication.



Christophe Delord
1998-09-02