Module "Théorie des bases de connaissances" (HMIN 312M) – 2016/17

Vous trouverez cette page les documents associés à ce module.

 

Responsable : Marie-laure Mugnier

Autres intervenants : Jean-François Baget, Meghyn Bienvenu

 

Calendrier

-       premier cours le 14/09

-       séance supplémentaire le vendredi 4 novembre (heure et salle habituelles)

-       la séance du 4 novembre débutera par un contrôle sur les règles existentielles

-       contrôle logiques de description le 16 novembre (1 heure, sans documents)

-       contrôle sur EL et DL-Lite le 30 novembre (1 heure en début de séance, sans documents)

-       exercices à faire pour la séance du 7 décembre : exercices tableaux + l'exemple sur page 36 des slides

 

Introduction

Slides

1 – Règles existentielles (Datalog +/-)

 

Polys

1)    Notions de base : bases.pdf (en français)

2)    Règles existentielles : RW-existential-rules.pdf (in English: cours à l’école d’été Reasoning Web 2014)

 

 

Slides (cours)

Partie 1         Partie 2 (avec correction slide 12)

 

Exercices

            Ici       La       (d’autres exercices dans les slides)
            Correction exercice sur l’inclusion de requêtes conjonctives

 

2 – Logiques de description

 

Slides (cours)

 

Cours 1

Cours 2 (version révisée avec correction exercices)

Cours 3 (version révisée avec correction exercices EL – modification slide 5 pour correction typo)

Cours 4 (avec correction exercice DL-Lite)

 

 

Mementos et exercices

 

Handout 1 (memento définitions de base)

Handout 2 (memento lightweight DLs)

Handout 3 (memento DL-Lite)

Handout 4 (memento Tableaux)

 

 

Exercices (1)

Exercices (2)

Exercices (3) – Tableaux - Correction                                  

 

Correction contrôle 1  16/11

Correction contrôle 2 (sujet du contrôle)

 

3 – Datalog avec négation, Answer Set Programming

 

4 – Interrogation tolérante aux inconsistances

 

           

Documents de mise à niveau

 

Notions de base en logique du premier ordre (1ère partie du cours de logique de L3) : BasesLogiquePremierOrdre.pdf