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''effectue 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.