Calcul des situations et logique modale I
Mercredi 16 octobre 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 présentera les idées qui permettent de résoudre les principales difficultés : représenter de manière homogène les actions et les croyances, éliminer les situations et éliminer les quantificateurs sur les actions. On donnera la traduction des axiomes de changement d'état, des préconditions des actions, et du schéma d'axiome définissant l'évolution des croyances défini par Scherl et Levesque.
Retour a la page des seminaires