Intelligence Artificielle et Sciences Fondamentales
Master 1 en apprentissage - 2013/2014
Questions ?
Contacter l'équipe enseignante
But
Cette UE se compose de deux parties distinctes:
- Systèmes Formels :
dont le but est d'introduire aux fondements de l'informatique et d'introduire à la compilation, - Intelligence Artificielle :
dont le but est l'étude de certains comportements humains effectués par une machine.
Evaluation
La note finale est divisée à part égale entre les deux parties.
L'évaluation comprend :
- 8%, TP à rendre, 14/03,
- 8%, interro 1, 02/04, 15 min,
- 8%, TP à rendre, 04/04
- 8%, interro 2, 09/04, 15 min,
- 8%, TP à rendre, 11/04
- 8%, interro 3, 07/05, 15 min,
- 12%, projet IA, 29/05
- 40%, examen terminal, 06/06, 2h.
Enoncé du projet pdf
Enoncé de l'interogation 1 pdf
Enoncé de l'interogation 2 pdf
Enoncé de l'interogation 3 pdf
Enoncé de l'examen terminal pdf
Cette UE compte pour 5 crédits ECTS.
haut
Objectifs
Ils sont mis à jour régulièrement :
- Savoir définir mot et langage
- Savoir écrire une expression réguliére simple
- Savoir définir un ensemble dénombrable
- Savoir définir une bijection entre deux ensembles dénombrables
- Savoir montrer qu'un ensemble est non dénombrable
- Connaitre le cardinal de l'ensemble des partis d'un ensemble fini
- Connaitre les opérations algébriques sur les langages
- Savoir définir langage rationnel
- Savoir définir le langage reconnu par un automate fini déterministe
- Savoir construire un automate fini déterministe reconnaissant un langage
- Savoir écrire l'expression régulière du langage reconnu par un automate fini déterministe
- Connaitre la définition d'un automate fini non-déternimiste
- Savoir déterminiser un automate
- Savoir construire un automate à état fini reconnaissant un language rationnel simple
- Connaître le théorème de Kleene
- Savoir définir un automate fini déterministe
- Connaitre le principe de recherche de motif par automate
- Connaître la définition d'une grammaire
- Savoir dessiner l'arbre de dérivation d'un mot selon une grammaire
- Connaitre la définition d'une grammaire régulière
- Savoir concevoir un automate fini reconnaissant le langage d'une grammaire régulière
- Savoir définir une grammaire engendrant le même langage qu'un automate fini déterministe
- Connaitre la classification de Chomsky des langages
- Connaitre les définitions de clôture
- Savoir les propriétés de clôture des langages rationnels
- Connaitre le lemme de l'étoile
- Savoir que le langage 0^n1^n n'est pas rationnel
- Savoir démontrer qu'un langage n'est pas rationnel par le lemme de l'étoile
- Savoir démontrer qu'un langage n'est pas rationnel en utilisant les propriétés de clôture
- Savoir programmer un système de réécriture
- Savoir représenter graphiquement un mot issu d'un système de réécriture
- Connaitre la définition d'une machine de Turing
- Savoir exécuter une machine de Turing
- Savoir définir le langage reconnu par une machine de Turing
- Savoir définir la fonction calculée par une machine de Turing
- Savoir définir une machine de Turing pour reconnaître un langage ou calculer une fonction
- Connaitre la thèse de Church-Turing
- Savoir que le problème de l'arrêt est non calculable
- Connaitre la modélisation d'un neurone artificiel
- Savoir concevoir un réseau de neurones de type perceptron
- Savoir concevoir un réseau de neurones de type perceptron multi-couches
- Connaitre le principe d'apprentissage par rétropropagation de l'erreur
- Savoir définir un arbre de décision
- Connaitre le principe de l'algorithme d'apprentissage ID3
- Savoir définir apprentissage supervisé et non-supervisé
- Connaitre la notion de sur-apprentissage
- Connaitre les méthodes d'estimation de l'erreur (validation croisée, etc.)
- Savoir définir le problème de partitionnement de données
- Connaitre les principales approches du partitionnement de données
- Connaitre l'algorithme du k-means
- Savoir définir l'intelligence collective
- Savoir définir le principe d'émergence
Supports des cours et des travaux
Voici l'ensemble des supports des cours et des émoncés des travaux.
Séance | Titre | cours | fiche |
---|---|---|---|
01 | Dénombrabilité, mots et langages | cours | fiche |
02 | Langage rationnelle, automate fini déterministe | cours | fiche cor |
03 | Automate fini non-déterministe, th. de Kleene | cours | fiche cor |
04 | Recherche de motif | fiche | |
05 | Grammaire, grammaire régulière | cours | fiche |
06 | Clôture, lemme de l'étoile | cours | fiche |
07 | L-system (1) | fiche code | |
07bis | L-system (2) | fiche code | |
08 | Machine de Turing | cours | fiche |
08bis | Machine de Turing | cours | fiche |
09 | Réseau de neurones (1) | cours | fiche |
09bis | Réseau de neurones (2) | cours | fiche |
10 | Arbre de décision | cours | fiche code |
10bis | Arbre de décision | cours | fiche code cor |
11 | Partitionnement automatique | cours | fiche code cor |
12 | Intelligence collective (1) | cours | fiche |
12bis | Intelligence collective (2) | cours | fiche |
Bibliographie
Quelques repères biblio- /webo- graphiques qui vont se complèter au fur et à mesure :
- Denis Robilliard, Université du Littoral Côte d'Opale,
- Sandrine Julia, Université de Nice Sophia Antipolis.
dernière modification : 5 juin 2014