Application de l'intelligence artificielle

UCL-INGI-2636 -- A. Thayse -- 30-15-30 -- Cours de 2ème cycle

Objectif

Présenter de manière approfondie les techniques générales utilisées dans les domaines d'application importants de l'intelligence artificielle.

Prérequis

• Logique des prédicats et éléments du calcul lambda :
  UCL-FSA-2341: Mathématiques discrètes, bases logiques de l'informatique
  ULB-INFO-362: éléments de logique appliquée à l'informatique
  FUNDP-INFO-2209: Techniques d'Intelligence Artificielle
• Techniques de représentation de la connaissance (réseaux, frames, etc.) et du raisonnement (déductions logiques) :
  FUNDP-INFO-2209: Techniques d'Intelligence Artificielle
  UCL-INGI-2635: Concepts et méthodes de l'intelligence artificielle

Contenu

• Systèmes experts et intelligence artificielle : séparation de la connaissance et de l'inférence.
• Techniques pour la représentation de la connaissance (réseaux, frames, productions, etc.) et leur traduction dans la logique des prédicats.
• Techniques pour le raisonnement : sémantiques pour le raisonnement révisable et de bon sens dans les systèmes experts.
• Traitement de la langue naturelle : grammaires de traduction, réseaux de transition étendus.
• Application à l'interrogation des bases de données et aux techniques de traduction automatique.

Pédagogie

• Les exercices sont proposés sous la forme d'un travail personnel à réaliser à domicile; ils concernent l'étude et la conception de systèmes dans un domaine important abordé au cours. L'évaluation de ce travail intervient pour un quart des points dans la cotation de l'examen.
• 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.

Références

13
Peter Lucas and Linda van der Gaag. Principles of Expert Systems. Addison-Wesley, 1990.

14
André Thayse (éditeur). Approche logique de l'intelligence artificielle, 4 volumes. Dunod, 1988-1991.