Appears in collection : Algorithm and programming / Algorithmique et programmation

On introduira la logique modale épistémique avec des exemples (enfants sales, etc.). On abordera la notion de logique modale et de structure de Kripke. On évoquera le problème de satisfiabilité et la méthode de tableau. Ensuite, nous verrons comment mettre à jour un modèle de Kripke. Nous verrons d'abord les annonces publiques. Puis nous verrons comment modéliser quelques actes de communications à l'aide des modèles d'actions. Une démonstration des enfants sales et du puzzle des prisonniers avec des "agents intelligents" sera présentée.