Cette analyse vise -oncevoir des syst -s de r -sion dans lesquels l''acquisition de connaissances et les aspects interactifs de la signifi cation sont saisis comme un jeu de questions et de r -nses par rapport -n ensemble initial d''hypoth -s exprim -ans le langage-objet. Se situant -''intersection des approches de la th -ie des types de Per Martin-L-f, de l''approche dialogique et de la th -ie de la r -sion des croyances, cette investigation heuristique a pour objectif principal de proposer une analyse dialogique de la r -sion des croyances dans le contexte de la th eorie des types de Martin-L-f. Ce processus de r -sion s''effectue par un d -oiement progressif de contenus hypoth -ques dans un contexte d''interaction en cr -bilisant l''information que re -t l''agent. Cette -de donne -lement la possibilit -''exprimer avec aisance les aspects interactifs de la signi fication dans les tableaux s -ntiques en mettant ainsi en exergue les notions d''actes de langage par la connexion entre
