Mémorisation des connaissances

Pour pouvoir implanter un système suffisamment souple, à la différence de Beun, on n'utilisera qu'un seul espace de stockage pour tous les états mentaux de l'agent. Beun propose de séparer les états mentaux en trois catégories (B_xp, $B_x \lnot B_yq$, MB_x,yr). Ces trois catégories d'états mentaux permettent déjà de simuler quelques dialogues mais cette structuration est assez restrictive. On pourra toujours simuler un tel partitionnement des états mentaux en filtrant ceux-ci selon leur modalité.

Pour présenter la suite du modèle, nous avons besoin d'une logique modale avec un mécanisme de mise à jour de la base de connaissances capable de maintenir un certain degré de consistance (locale) en utilisant un ensemble de règles d'inférence. La consistance locale est suffisante et permet d'éviter l'omniscience^2.5 de l'agent. Nous supposerons que nous disposons de tels outils que nous verrons plus tard en détail.