Note ABES Approche dialogique de la révision des croyances dans le contexte de la théorie constructive des types de Per Martin-Löf Dialogical approach and revision of beliefs in Per Martin-Löf type theory Révision des croyances Revision of the faiths Martin-Löf, Per (1942-....) Critique et interprétation Théorie des types Cette dissertation se situe à l’intersection de la théorie des types de Per Martin-Löf, de l’approche dialogique et de la révision des croyances. Son objectif est de proposer une analyse dialogique de la théorie de la révision des croyances dans le contexte de la théorie des types de Martin-Löf. Autrement dit, il s’est agi pour nous de concevoir des systèmes de révision dans lesquels l’acquisition de connaissances et les aspects interactifs de la signification sont saisis comme un jeu de questions et de réponses par rapport à un ensemble initial d’hypothèses exprimé dans le langage-objet. Ce processus s’effectue 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 signification dans les tableaux sémantiques. Et met 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. This thesis is at the intersection of Per Matin-Löf’s type theory, the dialogical approach and the revision of beliefs. The objective is to propose a dialogical approach to the theory of revision of beliefs in the context of Matin- Löf’s type theory. In other words, we seek to conceive a belief system in which the acquisition of knowledge and the interactive aspects of meaning are perceived as a question-response game in respect to a set of initial hypotheses that are expressed in the object-language. This process is done by the progressive deployment of hypothetic content, in a context of interaction, where more credibility is given to the information that the agent receives.This study also enables us to express with ease the interactive aspects of meaning in semantic tableaux. And thus highlights the notion of speech acts through the connection between dialogues and tableaux in the context of belief revision. Electronic Thesis or Dissertation Text fr PDF 2187523 https://theses.hal.science/tel-01233848 https://theses.hal.science/tel-01233848 https://theses.fr/2015LIL30008/abes https://theses.hal.science/tel-01233848 https://theses.hal.science/tel-01233848 https://theses.hal.science/tel-01233848 Dango Adjoua Bernadette 1985-08-20 CI 189409290 https://theses.fr/2015LIL30008 2015LIL30008 https://doi.org/10.70675/bd8bec8bz9697z43dezb15ezd37d49cac927 2015-06-15 Philosophie (métaphysique, épistémologie, esthétique) Lille 3 026404524 Doctorat Docteur es non oui Rahman Shahid MADS_DIRECTEUR_DE_THESE_1 059922435 Bowao Charles Zacharie MADS_PRESIDENT_DU_JURY 081712537 Rahman Shahid MADS_MEMBRE_DU_JURY_1 059922435 Bowao Charles Zacharie MADS_MEMBRE_DU_JURY_2 081712537 Marion Mathieu MADS_MEMBRE_DU_JURY_3 050837249 Yapi Ayénon Ignace MADS_MEMBRE_DU_JURY_4 185077595 Heinzmann Gerhard MADS_MEMBRE_DU_JURY_5 02832109X Marion Mathieu MADS_RAPPORTEUR_1 050837249 Yapi Ayénon Ignace MADS_RAPPORTEUR_2 185077595 École doctorale Sciences de l'homme et de la société (Lille ; 2006-....) MADS_ECOLE_DOCTORALE_1 148938809 Savoirs, textes, langage (Villeneuve d'Ascq, Nord ; 2006-....) MADS_PARTENAIRE_DE_RECHERCHE_1 11909 094767386 ddc:100 Rahman Shahid Bowao Charles Zacharie Rahman Shahid Bowao Charles Zacharie Marion Mathieu Yapi Ayénon Ignace Heinzmann Gerhard Marion Mathieu Yapi Ayénon Ignace Ecole doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq) Savoirs, textes, langage (Villeneuve d'Ascq, Nord) PDF 2187523