Interaction et révision de croyances

Adjoua Bernadette Dango

doi:10.22370/rhv2015iss5pp75-97

Authors

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

DOI:

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

Keywords:

Dialogic, interaction, belief revision

Abstract

This study aims to develop systems of belief revision in which acquisition of knowledge and interactive aspects of meaning are captured as a set of questions and answers with respect to an initial set of assumptions expressed in the object language. This process is performed by a progressive deployment of hypothetical insights contained in a context of interaction of information received by an agent. This study also gives the opportunity to express interactive aspects of meaning in semantics tableaux. And thus highlights the notions of speech acts by the connection between tableaux and dialogues in the context of belief revision.

References

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.