Cette analyse vise a concevoir des syst emes de r evision dans lesquels l'acquisition de connaissances et les aspects interactifs de la signifi cation sont saisis comme un jeu de questions et de r eponses par rapport a un ensemble initial d'hypoth eses exprim e dans le langage-objet. Se situant a l'intersection des approches de la th eorie des types de Per Martin-Lof, de l'approche dialogique et de la th eorie de la r evision des croyances, cette investigation heuristique a pour objectif principal de proposer une analyse dialogique de la r evision des croyances dans le contexte de la th eorie...