Approche dialogique de la révision des croyances dans le contexte de la théorie constructive des types de Per Martin-Löf

Abstract : 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.
Document type :
Theses
Complete list of metadatas

Cited literature [99 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01233848
Contributor : Abes Star <>
Submitted on : Wednesday, November 25, 2015 - 6:05:06 PM
Last modification on : Tuesday, July 3, 2018 - 11:38:20 AM
Long-term archiving on : Friday, February 26, 2016 - 4:55:03 PM

File

DANGO_ADJOUA_Bernadette.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01233848, version 1

Collections

Citation

Adjoua Bernadette Dango. Approche dialogique de la révision des croyances dans le contexte de la théorie constructive des types de Per Martin-Löf. Philosophie. Université Charles de Gaulle - Lille III, 2015. Français. ⟨NNT : 2015LIL30008⟩. ⟨tel-01233848⟩

Share

Metrics

Record views

474

Files downloads

561