Savoir que l'on sait, croire que l'on sait ? Comment exprimer ces notions pour représenter des connaissances. Cette approche est à la base de nombreux travaux sur les logiques modales.
49-a, 49-b Sessions "Tutoriaux IA"
Dans ces sessions, ce sont les étudiants qui organisent des synthèses sur un sujet qu'ils auront choisis / liste fournie.
Un document de 4 pages accompagnera l'exposé avec une bibliographie/webiographie. (Times 11, simple interligne). Colonage libre.
Compétences acquises Méthodologiques : Structuration d’une question de recherche dans le domaine de l’IA. Construction d’un discours explicatif pédagogique sur des questions de recherche en IA (Tutoriaux IA).
Techniques : Cours magistral, étude d’articles, synthèse sur des thèmes scientifiques
Nom de l’UE : Résolution de problèmes combinatoires et optimisation par colonies de fourmis
