 |
Séminaire interdisciplinaire : Théories formelles de la révision des croyances proposé par Cédric
Dégremont & Laurent Keiff (UFR Philosophie) |
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.
Notre
approche a pour origine la théorie mathématique des jeux. L'objet d'étude
fondamental des théories de la révision des croyances prend son sens au sein d'une classe de
situations que l'on peut comprendre sur le modèle de l'interaction. Les TRC
s'intéressent, dans l'interaction, aux structures informationnelles et à leur
dynamique. Les agents se servent de l'information pour former et réviser une
représentation de leur environnement, laquelle oriente de nouvelles actions qui
modifient le flux d'information dans lequel elles s'inscrivent.
Dans cette perspective, les TRC appartiennent de plein droit
à l'édifice épistémologique de plusieurs disciplines :
–
sciences cognitives
–
micro-économie et économie
cognitive
–
théorie des jeux en
rationalité limitée
–
linguistique (théories de
l'interface sémantique / pragmatique)
–
théorie de la connaissance,
épistémologie et théories du raisonnement diagnostique
–
théories formelles de
l'apprentissage
Une
stratégie d'étude possible consisterait à consacrer les premières séances à
l'approche classique dite AGM (cf. [1] et [2])[1].
A partir de là il serait possible d'introduire la distinction révision et
actualisation des croyances ([3]). Sur cette base, il serait ensuite possible
d'aborder certains développements contemporains de ces approches
([7],[8],[9],[10]) ou de modèles alternatifs liés aux logiques dynamiques ([5],
[6]).
Il est dès à présent possible de s'inscrire sur la liste de
diffusion : http://membres.lycos.fr/beliefrevision/ . Un blog (http://beliefrevision.over-blog.com/) est
également à disposition afin de fixer les modalités du séminaire, ainsi qu'une
adresse électronique : belief.revision@hotmail.com. Un
séminaire annuel bihebdomadaire de deux heures pourrait être une possibilité.
Idéalement une première rencontre pourrait être prévue avant les vacances, à
défaut une réunion au mois de septembre permettrait de discuter le contenu et
les modalités du séminaire. 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
[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.
[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.