(info5gl03) Programmation logique et systèmes d'inférences

Nombre de crédits

Pré-requis

Parcours

spécialité professionnelle intelligence artificielle -- génie informatique de la mention informatique du master

Objectifs

Présenter des techniques de l'Intelligence Artificielle fournissant une aide à la décision (expertise, reconnaissance de formes, etc.).

Organisation

Volume de travail personnel étudiant estimé

Contrôle et validation des connaissances

Description du contenu

Réseaux de neurones artificiels : les réseaux monocouches basés sur le modèle du Perceptron, les réseaux multicouches et notamment l'algorithme de rétropropagation, les réseaux autoconstructifs qui offrent une solution au problème du choix de l'architecture des réseaux. Les modèles de Hopfield et de Kohonen.
Systèmes experts : Les différents algorithmes de base. Les améliorations possibles et différentes heuristiques. Le problème de la difficulté à trouver les bonnes questions à poser à l'utilisateur. Les systèmes avec variables (``ordre 1'') et les problèmes qui en découlent : l'algorithme de RETE.
Inférences approximatives : logique floue et utilisation de coefficients de confiance
Les systèmes multi-experts : modèle du tableau noir, systèmes multi-agents.
Algorithmes génétiques
Résolution PROLOG, arbres de recherche - Environnement SWI Prolog - Négation, CUT, déterminisme, mode - Utilisation des istes, récursivité - Utilisation de la database, ntrées/sorties - Schéma itératif général, calcul aithmétique - Utilisation du non-déterminisme : parcours d'arbres et de graphes - Analyse syntaxique et traitement du langage
Génération de plans et résolution de problèmes - Moteurs d'inférence et systèmes experts.

Responsable(s)

Francesco Decomité et Jean-Paul Delahaye