Logiques appliquées à l'intelligence artificielle

UCL-INGI-3637 -- A. Thayse -- 30-0-0 -- Cours de 3ème cycle

Objectif

• Présenter de manière approfondie les langues de la logique formelle qui sont utilisées en intelligence artificielle pour représenter la connaissance et pour raisonner à son propos.
• Montrer par des exemples comment ces logiques peuvent être utilisées pour aborder différents problèmes qui se posent dans le contexte des systèmes informatiques, tels les systèmes experts, dont la conception est basée sur la mise en uvre des concepts et méthodes de l'intelligence artificielle.

Prérequis

• Bases de logique:
  FSA2341: Mathématiques discrètes, bases logiques de l'informatique
  MATH2450: Logique mathématique
  ULB-INFO-362: Eléments de logique appliquée à l'informatique
  FUNDP-INFO-2209: Techniques d'Intelligence Artificielle

Contenu

• Logique modale des propositions; approches algébrique et par la théorie du modèle.
• Interprétations modales des logiques multivaluées.
• Sémantique des mondes possibles; interprétations temporelle, déontique, épistémique, aléthique, etc.
• Logiques normales; systèmes axiomatiques.
• La logique temporelle quantifiée.
• Logique modale quantifiée et systèmes experts.
• Logiques pour la représentation et le traitement de la langue naturelle.
• Langue logique intensionnelle de Montague.
• Contextes intensionnels, principe de composition et mondes possibles.
• Principes de la méthode de traduction de Montague.

Pédagogie

• L'examen est oral avec préparation écrite.
• Les notes de cours sont mises à la disposition des étudiants au début de l'année; outre la matière elle-même, ces notes reprennent de nombreuses indications bibliographiques ainsi qu'une introduction à la logique du premier ordre, prérequis pour suivre le cours.

Références

6
D. Gabbay, C. Hogger and J. Robinson, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 1 : Logical Foundations, Clarendon Press, Oxford, 1993.
7
D. Gabbay and F. Guenther, Handbook of Philosophical Logic, volume 2 : Extensions of Classical Logic, D. Reidel Publishing Company, 1984.