Représentation des connaissances

Ce cours a pour objectif d’introduire aux différents aspects des fondamentaux de la représentation des connaissances, des informations non classiques.
― Présentation de la thématique représentation des connaissances et formalisation du raisonnement (KRR) en tant que branche de l’Intelligence Artificielle, IA symbolique et logique classique, imperfections des connaissances, limites de la logique classique et introduction à différents formalismes logiques non-classiques.
― Raisonnement non monotone, limites de la logique classique (et de la programmation logique classique). Présentation d’ASP (Answer Set Programming), syntaxe et sémantique, et de ses utilisations pour les raisonnements de sens commun et les problèmes combinatoires, mise en pratique avec Clingo.

― Maîtriser des formalismes et outils logiques non classiques utiles au traitement des imperfections des informations : logiques des défauts, programmation logique non monotone.
― Connaître la modélisation et la résolution logique des problèmes complexes.