Objectifs de la formation
L’objectif de l'Intelligence ArtificiAlgorithme et raisonnementelle est de donner aux machines une certaine intelligence = capacité de "raisonner" = déduire et induire. Cela passe par la manipulation de connaissances : la représentation et l'application d'informations relatives au problème à résoudre. Ce cours présente les techniques et les outils de base employés en raisonnement et en résolution de problèmes dans différents domaines d'IA. L'étude et l'implantation de ces techniques et outils font appel aux concepts avancés tq. les graphes et les objets. Quelques notions de base en logique seront présentées afin de faciliter l'utilisation du langage Prolog permettant un raisonnement logique. Des exemples d’utilisation industrielle de systèmes intelligents - experts seront présentés.
Mots-clés
Intelligence Artificielle, Systèmes de raisonnement, Programmation Logique avec Contraintes (CLP).
Programme
1 - Outils et Techniques de Représentation de Connaissances 2 - Techniques de Manipulation de Connaissances 3 - Outils et Langages 4 - Systèmes à base de règles 5- Logique et Contraintes : modélisation de problèmes complexes 6 - Introduction : Tableau de bord, systèmes à base d'agents, Apprentissage, etc. En parallèle, les élèves choisiront un sujet à préparer en groupe avec restitution et rapport final.
Compétences visées
- Introduction au paradigme d'Intelligence Artificielle, raisonnement logique
- Algorithme et raisonnement
Évaluation
BEs ((30%), Test écrit (50%), Projets IA (20%)