Intelligence Artificielle (In3IA)

Objectifs :

Prolog

Présenter et apprivoiser une autre façon de programmer, appelée programmation logique.

Prolog est un langage logique basé sur la théorie des prédicats du premier ordre (limitée aux clauses de Horn et s'appuyant sur la méthode de résolution de Robinson) utilisant largement les concepts de récursivité et de backtracking.

L'accent est mis sur le double aspect du langage: déclaratif (par  sa forme clausale et par l'utilisation des relations) et procédural (par le jeu du matching et de la substitution-réponse).

Systèmes Experts et Intelligence Artificielle

Nous abordons l'intelligence artificielle par deux de ses principaux buts:

- La prise de décision autonome

- L'apprentissage automatique

Le but du cours est de fournir aux étudiants une connaissance générale de différentes techniques de d'apprentissage et de prise de décision. Grâce à cette connaissance l'étudiant doit être capable de choisir et d'appliquer la technique la plus appropriée à un problème réel.

Compétences :

Prérequis :

Prolog

Cours de logique de deuxième année

Systèmes Experts et Intelligence Artificielle

Pas de prérequis.

Contenu du cours :

Prolog

(sous réserve)

1. faits, règles, matching  backtracking, aspects déclaratif et procédural d'un programme

2. listes, opérateurs arithmétiques

3. not, cut, fail et autres prédicats prédéfinis

4. arbres, graphes

5. divers exemples d'applications

Systèmes Experts et Intelligence Artificielle

Ch. 1: Introduction

- Taxonomie des problèmes traités par des technique d'I.A.

- Le test de turing

Ch. 2: La prise de décision

- Les arbres de décisions

- Problèmes sous contraintes

- Les systèmes experts

Ch. 3: L'apprentissage

- Les réseaux de neurones

- Les algorithmes génétiques

- Apprentissage dans les systèmes experts

Méthode d'enseignement :

Prolog

Fiches d'exemples et d'exercices favorisant l'auto-apprentissage.

Différents sujets présentés par les étudiants.

Systèmes Experts et Intelligence Artificielle

- Une introduction générale aux concepts.

- Un projet sur un cas concret durant lequel les étudiants découvriront par eux-même les concepts détaillés

Lectures recommandées :

Prolog

CLOCKSIN W.F. MELLISH C.S., Programming in Prolog using the ISO standard,  Springer-Verlog, 2003.

BRATKO I., Prolog, programming for Artificial Intelligence, Addison Wesley, 2001

Systèmes Experts et Intelligence Artificielle

§§BRATKO (I.), Prolog: Programming for Artificial Intelligence, 2e éd., Londres, 1990.

§§DELAHAYE (J.-P.), Logique, informatique et paradoxes, Paris, 1999.

§§IDEM, L'intelligence et le calcul: de Gödel aux ordinateurs quantiques, Paris, 2002.

§§CORNUEJOLS (A.), MICLET (L.), Apprentissage artificiel: concepts et algorithmes, Paris, 2002.

RUSSEL (S.), NORVIG (P.), Artificial Intelligence: A Modern Approach, Prenctice Hall, 2005

Méthode d'évaluation :

Prolog

Evaluation continue et examen écrit en janvier (en partie sur machine).

Systèmes Experts et Intelligence Artificielle

Réalisation d'un travail portant sur un domaine d'application (à présenter éventuellement en séance) et examen sur la matière vue.