Introduction à la logique II
Actualités
Horaire
Les cours auront lieu le lundi de 10h30 à 12h15 dans l'auditoire 237 de l'Internef.
Les séances d'exercices auront lieu le vendredi de 10h15 à 12h00 dans l'auditoire 126 de l'Internef.
Objectif
Au moyen d’outils logiques, raisonner sur la connaissance, l’incertitude et la croyance. Proposer différentes modélisations.Contenu
Un modèle pour la connaissance : le modèle des mondes possibles. Connaissance commune, connaissance distribuée, connaissance multi-agents. Structures et théorème de Aumann.Modalités d'examen
Bibliographie
- Ronald Fagin, Yoram Moses, Moshe Y. Vardi: Reasoning about Knowledge. MIT Press (2003)
- Joseph Y. Halpern: Reasoning about Uncertainty. MIT Press (2005)
Slides du cours
Exercices
Contacts
Pour le cours et les exercices :- Kevin Fournier (Kevin.Fournier[at]unil.ch);
- Jennifer Lopes (Jennifer.Lopes[at]unil.ch).
- Kevin Fournier (Kevin.Fournier[at]unil.ch).
