Module "Représentation de connaissances par graphes" (FMIN 329)

Responsable : Marie-laure Mugnier, équipe de recherche GraphIK

Examen : jeudi 3 novembre, 9h30 (prévoir 2 heures environ), salle habituelle, documents autorisés

Travail sur l'article : à rendre au plus tard le 10 novembre (le 3 novembre, ou à J.F. Baget le 10 en cours de logiques de l'IA, ou dans ma boîte aux lettres du LIRMM, ou par e-mail)

Documents de cours

Semaine 1

• Présentation générale du module : PresentationRCRGraphes.pdf
• Notions de base : NotionsFondamentales.pdf

Semaine 2

• Réductions polynomiales entre Homomorphisme, problèmes sur les requêtes conjonctives et CSP : Homomorphisme&BD&CSP.pdf
• Introduction d'une ontologie légère : graphes conceptuels de base : GraphesConceptuelsdeBase.pdf

Semaine 3

• Interrogation d'une base de connaissances avec des règles existentielles : OntologicalQueryAnsweringWith ExistentialRules.pdf

Semaine 4

• Négation, Monde ouvert, monde clos : NegationMondeOuvertMondeClos.pdf
• En complément : chapitre 2 ("Notions de base") de la thèse de Khalil Ben Mohamed : Chap2TheseKhalilBenMohamed.pdf

"Traitement de requêtes conjonctives avec négation--Algorithmes et expérimentations", Thèse UM2, Décembre 2010

Semaine 5

• Bases de données déductives : BDDeductives.pdf
• Article à lire : CaliGottlobPierisPVLDB2010.pdf
• Questions sur l'article : QuestionsArticle.pdf (travail individuel)

Documents complémentaires

• Rappels de logique du premier ordre : BasesLogiquePremierOrdrePartie1.pdf

(première partie du cours de logique du premier ordre en L3)

• Examen année 2010/11 : ExamRCRgraphes2010.pdf
• Examen année 2009/10 : ExamRCRgraphes2009.pdf

Sujets de stage

Voir "Open Positions" sur le site web de l'équipe GraphIK