Croyances et significations: Jeux de questions et reponses avec hypotheses

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 p...