Interaction et révision de croyances

Adjoua Bernadette Dango

doi:10.22370/rhv2015iss5pp75-97

Autores/as

Adjoua Bernadette Dango Université de Bouaké, Université de Lille3, UMR 8163: STL MESHS: ADA-LACTO

DOI:

https://doi.org/10.22370/rhv2015iss5pp75-97

Palabras clave:

Dialogique, interaction, révision des croyances

Resumen

Cette étude vise à 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.

Citas

BONANNO, G. (2009). "Belief revision in a temporal framework", New Perspectives on Games and Interaction, vol. 4, pp. 45–80.

BONANNO, G. (2010). "Belief change in branching time: AGM-consistency and iterated revision", Working paper.

COUSIN, V. (1849). "Philosophie populaire", Pagnerre, Paris.

DANGO, A. B. (2014). "Des dialogues aux tableaux dans le contexte de révision des croyances: De l’oralité à l’écriture", dans Entre l’orature et l’écriture: Relations croisées, édité par C. Bowao et S. Rahman, College Publications, pp. 175–192.

DANGO, B. A. (2015). Approche dialogique de la révision des croyances dans le contexte de la théorie des types de Per Martin-Löf, thèse de doctorat, Université de Charles De Gaulle de Lille 3.

FELSCHER, W. (1985). "Dialogues, strategies, and intuitionistic provability", Annals of Pure and Applied Logic, vol. 28, no 3, pp. 217–254.

FIUTEK, V. (2013). Playing with knowledge and belief, thèse de doctorat, Institute for Lo-gic, Language and Computation, Université d’Amsterdam.

FIUTEK, V. & RÜCKERT, H. et RAHMAN, S. (2010). "A Dialogical Semantics for Bonanno’s System of Belief Revision", dans Construction. Festschrift for Gerhard Heinzmann, édité par P. Bour, M. Rebuschi et L. Rollet, College Publications, Londres, pp. 315–334.

FONTAINE, M. (2013). Argumentation et engagement ontologique de l’acte intentionnel. Pour une réflexion critique sur l’identité dans les logiques intentionnelles explicites, thèse de doctorat, Universités de Lille 3.

FONTAINE, M. et REDMOND, J. (2008). Logique dialogique: une introduction. Méthode de dialogique règles et exercices, College publications, Londres.

KEIFF, L. (2007). Le pluralisme dialogique. Approches dynamiques à l’argumentation formelle, thèse de doctorat, Université Charles de Gaulle de Lille 3.

KEIFF, L. (2009). "Dialogical Logic", Stanford Encyclopedia of Philosophy. URL http://plato.stanford.edu/entries/logic-dialogical/, (accès 2011).

LAVIGNE, J.-F. (2008). Les Méditations cartésiennes de Husserl, Vrin, Paris.

LORENZ, K. (2001). "Basic objectives of dialogue logic in historical perspective", Synthèse, no 127, pp. 255—263.

LORENZEN, P. et LORENZ, K. (1978). Dialogische Logik, Darmstadt: Wissenschaftliche Buchgesellschaft.

MARION, M. (2004). Ludwig Wittgenstein: introduction au Tractatus logico- philosophicus, Presses Universitaires de France, Paris.

MARTIN-LÖF, P. (1984). Intuitionistic type theory - Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980, Bibliopolis Naples.

PRIMIERO, G. (2008). Information and Knowledge: A Constructive Type-theoretical Approach, vol. 10, Springer.

RAHMAN, S. et CLERBOUT, N. (2015). Linking Games and Constructive Type Theory: Dialogi-cal Strategies, CTT-Demonstrations and the Axiom of Choice, Dordrecht: Sprin-ger.

RAHMAN, S. et CLERBOUT, N. et KEIFF, L. (2009). "Dialogues and natural deduction", Col-lege Publications, London, pp. 301–336.

RAHMAN, S. et RÜCKERT, H. (1999). "Dialogische Modallogik (für T, B, S4, und S5)", Logique et analyse, vol. 167, no 168, pp. 243–282.

RAHMAN, S. et TULENHEIMO, T. (2009). "From games to dialogues and back. towards a general frame for validity", dans Games: unifying logic, language, and philosophy, Springer, pp. 153–208.

RANTA, A. (1991). "Constructing possible worlds", Theoria, vol. 57, no 1-2, pp. 77–100.

RANTA, A. (1994). Type-theoretical grammar, Oxford University Press, Oxford. Redmond, J. 2010, Logique dynamique de la fiction. Pour une approche dialogique, College publications, Londres.

SCHROEDER-HEISTER, P. (2008). "Lorenzen’s operative justification of intuitionistic logic", dans One Hundred Years of Intuitionism (1907-2007), édité par M. Van Atten, M. Bourdeau, P. Boldini et G. Heinzmann, pp. 214–240.