Interaction rationnelle et évolution des croyances dans le dialogue : une logique basée sur la notion de topique

Ce travail se situe dans le cadre des dialogues cooperatifs entre agents rationnels. Ces derniers, capable d'interagir, doivent s'adapter dynamiquement a l'evolution du monde qu'ils percoivent via les enonces de leurs interlocuteurs. En considerant un etat mental comme un ensemble d'attitudes mentales (telles la croyance ou l'intention), le but recherche est de disposer d'une logique permettant d'exprimer dans un cadre uniforme, a la fois les etats mentaux des agents et les processus qui leur permettent de changer de croyance. Il doit s'agir d'une logique epistemique dynamique capable de decrire l'evolution de ces etats mentaux, au fur et a mesure de l'accomplissement d'actes de langage au cours du dialogue. Un agent disposant d'une autonomie qui lui est propre, un premier probleme apparait lorsque l'on souhaite definir la strategie adoptee par cet agent face a une nouvelle information : doit-il accepter tout ou une partie seulement de celle-ci, ou meme la rejeter totalement ? Un second probleme concerne plus particulierement le cas ou un agent doit changer de croyance (c. -a-d. Devant croire le contraire de ce qu'il croit actuellement), car les croyances de l'agent sont alors susceptibles de devenir inconsistantes. Le troisieme probleme consiste a prendre en compte des informations de nature differente : croyance de l'agent sur un fait, sur ses croyances, sur celle d'un autre agent a l'aide de la notion originale de topiques contextualises par des etats mentaux, et associes a des formules, des actes de langage et des agents, nous nous proposons de resoudre ces problemes dans un cadre uniforme et intuitif, via les notions d'adoption et de preservation de croyance.