Croyances et significations

Cette analyse vise concevoir des syst mes de r vision dans lesquels l'acquisition de connaissances et les aspects interactifs de la signifi cation sont saisis comme un jeu de questions et de r ponses par rapport un ensemble initial d'hypoth ses exprim dans le langage-objet. Se situant l'intersection des approches de la th orie des types de Per Martin-L f, de l'approche dialogique et de la th orie de la r vision des croyances, cette investigation heuristique a pour objectif principal de proposer une analyse dialogique de la r vision des croyances dans le contexte de la th eorie des types de Martin-L f. Ce processus de r vision s'eff ectue par un d ploiement progressif de contenus hypoth tiques dans un contexte d'interaction en cr dibilisant l'information que re oit l'agent. Cette tude donne galement la possibilit d'exprimer avec aisance les aspects interactifs de la signi fication dans les tableaux s mantiques en mettant ainsi en exergue les notions d'actes de langage par la connexion entre dialogues et tableaux dans le contexte de la r vision des croyances.