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
(sans pauses)1 1
2 2
3 3
4 4
Notes sur le théorème de complétude
5 5
6 6
7 7
8 8
Exercices
Série 1 Corrigé 1Série 2 Corrigé 2
Série 3 Corrigé 3
Série 4 Corrigé 4
Série 5 Corrigé 5
Série 6 Corrigé 6
Série 7 Corrigé 7
Série 8 Corrigé 8
Série 9 Corrigé 9
Série 10 Corrigé 10
Série 11 Corrigé 11
Série 12
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).
