Vous êtes ici: UNIL > HEC > LOGIQUE > Enseignement > Introduction à la logique II
Français | English

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).
Pour tous les problèmes avec le site web :
  • Kevin Fournier (Kevin.Fournier[at]unil.ch).
Rechercher:
 
 
Internef - CH-1015 Lausanne - Suisse - Tél. +41 21 692 33 00 - Fax +41 21 692 33 05