L'unité d'enseignement ENSIN6U7
« Intelligence artificielle »

• Sensibiliser à la question générale de la représentation formelle des connaissances ;
• Fournir les outils permettant la modélisation et la résolution d'un problème dans le cadre des formalismes étudiés.

L'Intelligence Artificielle (ou IA) est une branche de l'informatique qui a pour objet l'étude des conditions dans lesquelles simuler par le calcul certaines fonctions cognitives (vision, communication, raisonnement... ). Cette option est une introduction qui se consacre à des aspects algorithmiques bien étudiés pour la modélisation du raisonnement d'un agent dans un contexte spécifique. Y sont abordés :

• la représentation d'un environnement par les graphes d'états ;
• le traitement des problèmes décrits en termes de satisfation de contraintes (CSP) ;
• la représentation et la satisfiabilité en logique propositionnelle (SAT) ;
• la planification ;
• des algorithmes pour la théorie des jeux ; etc.