Règles de génération

$$\begin{array}{rcl}B_xQ & \Longrightarrow& !_xQ \\ B_x\lnot ... ..._x\lnot Q \\ \lnot KIF_xQ & \Longrightarrow& !?_xQ\end{array}$$

Ces règles définissent l'ensemble de coups jouables dans un jeu de réponse, en fonction des états mentaux de l'agent.