ISBN-13: 9781848902206 / Francuski / Miękka / 2016 / 256 str.
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 des types de Martin-Lof. Ce processus de r evision s'eff ectue par un d eploiement progressif de contenus hypoth etiques dans un contexte d'interaction en cr edibilisant l'information que re coit l'agent. Cette etude donne egalement la possibilit e d'exprimer avec aisance les aspects interactifs de la signi fication dans les tableaux s emantiques en mettant ainsi en exergue les notions d'actes de langage par la connexion entre dialogues et tableaux dans le contexte de la r evision des croyances."
Cette analyse vise à concevoir des syst èmes de r évision dans lesquels lacquisition 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 dhypoth èses exprim é dans le langage-objet. Se situant à lintersection des approches de la th éorie des types de Per Martin-Löf, de lapproche 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 seffectue par un d éploiement progressif de contenus hypoth étiques dans un contexte dinteraction en cr édibilisant linformation que re çoit lagent. Cette étude donne également la possibilit é dexprimer avec aisance les aspects interactifs de la signi fication dans les tableaux s émantiques en mettant ainsi en exergue les notions dactes de langage par la connexion entre dialogues et tableaux dans le contexte de la r évision des croyances.