Description

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.