• Votre sélection est vide.

    Enregistrez les diplômes, parcours ou enseignements de votre choix.

Représentation des connaissances

  • 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.

Lire plus

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.

Lire plus