Raisonner sur la connaissance en contexte

Franck Lihoreau (1) , Manuel Rebuschi (1)

1 LHSP - Laboratoire d'Histoire des Sciences et de Philosophie - Archives Henri Poincaré

Dans ce travail, nous prenons acte de la reconnaissance croissante du rôle du contexte en épistémologie contemporaine, en proposant, en premier lieu, un cadre formel général qui nous permet de faire le lien entre épistémologie et logique épistémique, et ce via la notion de "modèle contextuel" grâce à laquelle il devient possible d'exprimer formellement, à l'aide d'un même langage et d'une même sémantique, plusieurs positions que l'on peut trouver dans la littérature philosophique sur la connaissance.
En second lieu, nous proposons d'adjoindre à cette formalisation "statique" une formalisation "dynamique" du contexte, et plus précisément une adaptation et une simplification de la théorie des représentations de discours (DRT) utilisée en sémantique formelle des langues naturelles. Cette extension nous permet, notamment, de rendre compte de la variabilité des exigences épistémiques au gré des interactions discursives entre les participants à une même conversation, de mettre en lumière la contribution d'énoncés épistémiques (de la forme "Untel sait/ne sait pas ceci ou cela") à l'évolution du "score conversationnel", et de dépasser certaines des difficultés – comme l'omniscience logique – auxquelles sont habituellement confrontées les approches de la connaissance fondées sur la logique modale normale.
Il s'agira, en bref, de se donner les moyens formels d'appréhender, tant dans ses aspects
statiques que dans ses aspects dynamiques, le raisonnement sur la connaissance en contexte.

Mots clés: knowledge; context; reasoning in context; logic of context; epistemic logic; contextual models; discourse representation theory; logical omniscience; scepticism; contextualism; subjectivism; knowledge bases; AGM model

Mots clés: connaissance; contexte; raisonnement en contexte; logique du contexte; logique épistémique; modèles contextuels; DRT; théorie des représentations de discours; omniscience logique; scepticisme; contextualisme; subjectivisme; bases de connaissance; modèle AGM

Domaines: Philosophie; Logique [math.LO]; Logique en informatique [cs.LO]; Système multi-agents [cs.MA]; Linguistique

Franck Lihoreau, Manuel Rebuschi. Raisonner sur la connaissance en contexte. 2006. ⟨halshs-00113447⟩