Calcul des situations et logique modale II
Vendredi 8 novembre 2002 a 14 heures 30
Salle de reunion du troisieme etage de l' Irit
Resume : De nombreux travaux ont été formalisés dans le calcul des situations mais de nombreuses équipes travaillent dans le cadre de la logique modale. Pour pouvoir transférer les idées de l'un vers l'autre nous nous sommes donnés comme objectif de traduire le premier dans la seconde. On montrera comment on peut étendre la traduction à la solution proposée par Shapiro et al. pour traiter le problème de la révision avec des degrés de plausibilité. Cette traduction n'est pas entièrement formalisée en logique.
Retour a la page des seminaires