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.
De Dominique Barbolosi
De Dominique Barbolosi
De Luc Bougé
De Gilles Dowek
De François Boisson
De Gérard Berry
De Simon Lacoste-Julien
De Olivier Bournez
De Judicaël Courant
De Frédéric Vivien
De Frédéric Vivien
De Gilles Dowek
De Albert Schwarz
De Albert Schwarz
De Clément Delcamp
De Clément Delcamp
De Giuseppe Savaré
De Stephen Coombes , Peter Liddle
De Victor Kleptsyn
De François-Xavier Vialard
