Enseignement

Cours Représentation de Connaissances, 2010

J.-F. Baget and M.-L. Mugnier Notes de Cours Représentation de Connaissances (version 2).

Cours Logiques pour l'IA, 2010

Examen: Contrairement à ce dont nous avions discuté en cours, l'examen de logiques pour l'IA sera un examen écrit qui aura lieu le lundi 3 janvier de 9h45 à 12h45.

  • Négation Atomique (M.-L. Mugnier)
  • La famille de logiques de descriptions AL (J.-F. Baget) Introduction aux logiques de description par la famille AL. Syntaxe, sémantique (en théorie des modèles et par traduction en logique du premier ordre), algorithme unifié pour tous les langages de cette famille, complexité. Pour le support de cours, voir: J.-F. Baget and Y. Tognetti Complexité des Logiques de Description, séminaire LIRMMM, Feb. 1998.
  • Logiques de description pour le Web Sémantique: SHOIND et OWL (J.-F. Baget) Plein de nouveaux constructeurs, des résultats de complexité qui explosent... Pour le support de cours, voir: S. Staab Semantic Web OWL, ISWeb Lecture.
  • DL-Lite: une logique de description pour les requêtes conjonctives (J.-F. Baget) Dans le cadre du problème Ontological Conjunctive Query Answering, on étudie des logiques moins expressives. Ici, syntaxe, sémantique, et un algorithme. Pour le support de cours, voir: D. Calvanese et al.DL-Lite: Practical Reasoning for Rich DLs, DL Workshop 2004.
  • Implementation of ELHdr(bot) with rules (J.-F. Baget) Une autre DL dédiée au Ontological Conjunctive Query Answering. Cette fois-ci, on traduit les assertions de la T-Box en règles pour calculer la conséquence sémantique. Pour le support de cours (sans rien sur les règles), voir: C. Lutz et al.Conjunctive Query Answering in the Description Logic EL using a Relational Database System.

Categories:

Please select: