Liste des UVs suivies à l'UTC

IA01	Intelligence artificielle : représentation	Intelligence artificielle, représentation des connaissances, raisonnement.
IA02	Résolution de problèmes & Programmation logique	Calcul des prédicats, représentation logique, démonstration automatique, heuristiques, recherche dans un espace d'états, théorie des jeux.
IA03	Technique de modélisation, capitalisation et gestion des connaissances dans l'entreprise	Capitalisation des connaissances, groupware, workflow, GED (Gestion Electronique de documents), CBR (raisonnement à base de cas), agents cognitifs.
IA04	Systèmes multi-agents
SC24	Sciences cognitives et apprentissage	Système nerveux, perception, vision, espace, codage neuronal, invariant, action, réseaux de neurones, systèmes dynamiques non linéaires, plasticité cérébrale.