Niveau d'étude
BAC +4
Composante
Faculté des sciences
Objectifs
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.
Heures d'enseignement
- CMCours magistral12h
- TDTravaux dirigés8h
- TPTravaux pratique4h
Compétences visées
― 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.