Séminaire interdisciplinaire : Théories formelles de la révision des croyances proposé par   Cédric Dégremont & Laurent Keiff (UFR Philosophie)

 

Séminaire interdisciplinaire :

Théories formelles de la révision des croyances

[site]

Les théories de la révision des croyances (TRC) constituent un champ autonome de la recherche scientifique, dont on peut dater l'émergence à la fin des années 70. Ce champ s'est constitué par les interactions entre les chercheurs venant de disciplines telles que l'Intelligence Artificielle, la logique formelle, la philosophie des sciences et de l'esprit, et les sciences cognitives. Nous nous proposons de tirer parti de la position épistémologiquement transversale de ce domaine de recherche pour lui consacrer un séminaire. Celui-ci aurait pour ambition d'ouvrir un espace de rencontre entre les différentes disciplines, espace dont les délimitations théoriques sont néanmoins très précisément définies.

Les approches formelles des opérations (en particulier des opérations de changement) portant sur les croyances d'agents en contexte interactif constitueront l'objet d'étude de ce séminaire. Dans ce contexte les agents utilisent l'information disponible pour former et réviser des représentations individuelles ou communes de leur environnement afin de parvenir à des choix optimaux. Leurs décisions modifient en retour le flux d'information. Cette approche tend donc à analyser la dynamique des croyances dans le contexte privilégié des interactions où la sélection des stratégies supposent une prise en compte de nouvelles informations disponibles (jeux répétés, apprentissage par renforcement, logiques de la conversation et de l'interaction linguistique...).

Dans cette perspective, les TRC appartiennent de plein droit à l'édifice épistémologique de plusieurs disciplines :

• linguistique (théorie de l'interface sémantique/pragmatique) et logiques de la conversation
• logiques non-monotoniques, raisonnement par défaut, inférence probabiliste
• philosophie et théorie de la connaissance, épistémologie, théorie du raisonnement diagnostique
• sciences cognitives, théories formelles de l'apprentissage automatique et de l'apprentissage par renforcement, études des systèmes adaptifs
• théorie des jeux répétés en information incomplète, théorie des jeux en rationalité limitée, théorie bayésienne de la décision, micro-économie et économie cognitive
  
• sciences cognitives
• systèmes d'information et mise à jour des bases de données

La première partie de ce séminaire (septembre-janvier) sera consacré à la consitution d'un arrière-plan commun à des participants d'horizons différents. Nous voudrions tout particulièrement étudier le paradigme AGM (1), mais aussi les approches interactives de la connaissance en théorie des jeux et en économie. Il serait également intéressant que les participants possèdent quelque notions concernant les approches "fuzzy", de la question de la fusion des croyances et des logiques de la conversation et des problématiques dont elle traite.

La seconde partie de ce séminaire sera consacrée à des interventions de spécialistes de différents domaines (économie, informatique, philosophie, logique et linguistique), qui développeront les approches et les problématiques concernant la révision des croyances plus particulières à chaque champ.

La troisième partie permettra d'aborder des développements ultérieurs.

A terme - ce séminaire ayant vocation à être poursuivi - il serait intéressant d'aborder des problématiques telles que la distinction révision et actualisation des croyances ([3]). Mais aussi certains développements contemporains de ces approches ([7],[8],[9],[10]) ainsi que les modèles alternatifs liés aux logiques modales et en particulier aux logiques dynamiques ([5], [6]) et épistémiques.

Il est dès à présent possible de s'inscrire sur la liste de diffusion en envoyant un mail (voir plus bas) ou en s'inscrivant : http://membres.lycos.fr/beliefrevision/ . Un blog (http://beliefrevision.over-blog.com/) est également à disposition afin de fixer les modalités du séminaire et de partager certaines informations utiles aux participants, ainsi qu'une adresse électronique : belief.revision at hotmail point com. Le séminaire sera compose de séances de deux heures un mardi toutes les deux semaines à l'heure du déjeuner. Une séance préliminaire aura lieu à la brasserie des 3 Lacs le 19 septembre 2006 à 12h15. Enfin une première bibliographie est jointe.

 

Bibliographie :

[1] Alchourrón, C.E., Gärdenfors, P. et Makinson, D. « On the logic of theory change partial meet contraction and revision functions ». Journal of Symbolic logic. 50, 510-530, 1985.

[2] Makinson, D. « Ways of doing logic: what was different about AGM 1985? ». Journal of Logic and Computation 13 , 3-13, 2003.

[3] Katsuno, H. and Mendelzon. A.O. « On the difference between updating a knowledge base and revising it. » in Gärdenfors, P. (éd.), Belief Revision, 183-203, Cambridge University Press, Cambridge, 1992.

[4] Gamut, L.T.F. Logic, Language, and Meaning, Volume 1 : Introduction to Logic, University of Chicago Press, 1990.

[5] van Eijck, J. and Stokhof, M. : « The Gamut of Dynamic Logics ». A paraître dans le Handbook of History and Philosophy of Logic, Gabbay D. et Woods J. (éds.), Elsevier, Amsterdam, disponible en ligne : http://homepages.cwi.nl/~jve/.

[6] van Benthem, J. : « Cognition as interaction », disponible en ligne : http://www.illc.uva.nl/Publications/reportlist.php?Year=2005

[7] Rott, H. Change, Choice and Inference. A study of Belief Revision and Nonmonotonic Reasoning. Oxford University Press, 2001.

[8] Hansson, S.O. : A textbook of Belief Dynamics. Theory change and database updating. Kluwer Academic Publishers, 1999.

[9] Hansson, S.O. : « Ten philosophical problems in belief revision ». Journal of logic and computation. 13, 37-49, 2003. Disponible en ligne : www.infra.kth.se/~soh/tenproblems.pdf.

[10] Delgrande, J. & als. « Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics », Séminaire Dagstuhl, 2005. Disponible en ligne : http://drops.dagstuhl.de/portals/index.php?semnr=05321.