«Je croyais que tu ne savais pas» : sur la revision dans la communication
Mardi 25 juin 2002 a 10 heures
Salle de reunion du troisieme etage de l' Irit
Resume : Supposons que i croit que j est sincere, et que
j ignore si p est vrai ou non. Dans une telle situation, i est oblige de
reviser ses croyances lorsque j l'informe que p. De tels scenarios sont la
raison pour laquelle les logiques d'actions epistemiques n'admettent souvent
que des connaissances, i.e, des croyances vraies. Nous proposons des principes
permettant de passer d'une logique de la connaissance a une logique de la
croyance.
Retour a la page des seminaires