UE LRC

Logique et représentation des connaissances

Objectifs

Ce cours est une introduction à l'Intelligence Artificielle (IA) qui met l'accent sur les fondations logiques et les problèmes de représentation des connaissances et du raisonnement. Avant le succès récent des méthodes d'apprentissage automatique et de l'IA parfois dite "numérique" basée sur les données, l'IA avait beaucoup été développée en se fondant sur la logique et la notion de connaissance. Ce cours se veut une introduction à cette IA parfois dite "symbolique", un domaine de recherche qui est toujours très actif en IA. Les étudiants apprendront des méthodes et outils formels qui permettent à des agents (artificiels) de raisonner, de coopérer et de prendre des décisions individuelles ou collectives de façon autonome.

Savoir et savoir-faire associés

Notions de base de logique, logique modale, logique épistémique, représentation des connaissances et du raisonnement, raisonnement de sens commun, raisonnement sous incertitude, raisonnement par défaut, théorie du changement de croyances et de connaissances, fusion de connaissances, décisions collectives, notions de théorie du choix social ou théorie du vote, systèmes multi-agent et systèmes distribués.

Responsable

Guillaume Aucher (guillaume [dot] aucheratirisa [dot] fr)