Programme d’études 2021-2022English
Knowledge representation and reasoning
Unité d’enseignement du programme de Master en sciences informatiques à la Faculté des Sciences

CodeTypeResponsable Coordonnées
du service
Enseignant(s)
US-M1-INFO60-005-MUE optionnelleWIJSEN JefS832 - Systèmes d'information
  • WIJSEN Jef

Langue
d’enseignement
Langue
d’évaluation
HT(*) HTPE(*) HTPS(*) HR(*) HD(*) CréditsPondération Période
d’enseignement
  • Anglais
Anglais, Français303000066.002e quadrimestre

Code(s) d’AAActivité(s) d’apprentissage (AA) HT(*) HTPE(*) HTPS(*) HR(*) HD(*) Période
d’enseignement
Pondération
S-INFO-027Knowledge representation and reasoning3030000Q2100.00%

Unité d'enseignement

Objectifs par rapport aux acquis d'apprentissage du programme

  • Réaliser des travaux de développement ou d'innovation en informatique
    • -Pouvoir maîtriser la complexité d'un tel travail et tenir compte des objectifs et des contraintes qui le caractérisent
  • Maîtriser les techniques de communication
    • -Pouvoir communiquer de façon claire, structurée et argumentée, tant à l'oral qu'à l'écrit, ses conclusions, ses propositions originales ainsi que les connaissances et principes sous-jacents
    • -Le cas échéant, être capable de communiquer dans une langue étrangère
  • Développer et intégrer un grand degré d'autonomie
    • -Développer et intégrer un fort degré d'autonome pour pouvoir évoluer dans de nouveaux contextes
  • Appliquer une méthodologie scientifique
    • -Faire preuve de rigueur, d'autonomie, de créativité, d'honnêteté intellectuelle, de sens éthique et déontologique

Acquis d'apprentissage UE

Knowledge Representation & Reasoning (KR&R) est la discipline de l'Intelligence Artificielle qui utilise des formalismes logiques pour (a) représenter des informations et des connaissances et (b) automatiser le raisonnement sur base de ces représentations. Dans ce cours, les étudiants se familiarisent avec les technologies les plus modernes de KR&R et développent des compétences pour représenter et résoudre des problèmes informatiques en choisissant le formalisme logique le plus adéquat.      

Contenu de l'UE

Dans ce cours, on se focalisera sur deux usages de KR&R en particulier :
(1) KR&R comme moteur du Web sémantique. La logique sous-jacente à cette application est appelée Description Logic (DL) et est implémentée en W3C Web Ontology Language (OWL).
(2) KR&R pour représenter et résoudre des problèmes dans NP (y compris des problèmes NP-complets). La logique sous-jacente à cette application est appelée Answer Set Programming (ASP).

Compétences préalables

Pour suivre ce cours, il est recommandé de connaître les fondamentaux de la logique propositionnelle et la logique des prédicats (tels qu'enseignés dans les cours de Bases de Données I et II).

Types d'évaluations Q2 pour l'UE

  • Présentation et/ou travaux
  • Examen écrit

Commentaire sur les évaluations Q2 de l'UE

Le poids du travail personel peut varier entre 50% et 100% de la note finale, selon ce qui est le plus favorable à l'étudiant.

Types d'évaluation Q3 pour l'UE

  • Présentation et/ou travaux
  • Examen écrit

Commentaire sur les évaluations Q3 de l'UE

Le poids du travail personel peut varier entre 50% et 100% de la note finale, selon ce qui est le plus favorable à l'étudiant.

Types d'activités

AATypes d'activités
S-INFO-027
  • Cours magistraux
  • Conférences
  • Travaux pratiques

Mode d'enseignement

AAMode d'enseignement
S-INFO-027
  • Face à face

Supports principaux

AA
S-INFO-027

Supports principaux non reproductibles

AASupports principaux non reproductibles
S-INFO-027Site Web avec des notes de cours et slides.
Logiciels libres.
Articles scientifiques.
 

Supports complémentaires

AA
S-INFO-027

Supports complémentaires non reproductibles

AASupport complémentaires non reproductibles
S-INFO-027Sans objet

Autres références conseillées

AAAutres références conseillées
S-INFO-027Sans objet

Reports des notes d'AA d'une année à l'autre

AAReports des notes d'AA d'une année à l'autre
S-INFO-027Non autorisé
(*) HT : Heures théoriques - HTPE : Heures de travaux pratiques encadrés - HTPS : Heures de travaux pratiques supervisés - HD : Heures diverses - HR : Heures de remédiation - Dans la colonne Pér. (Période), A=Année, Q1=1er quadrimestre et Q2=2e quadrimestre
Date de dernière mise à jour de la fiche ECTS par l'enseignant : 14/05/2021
Date de dernière génération automatique de la page : 06/05/2022
20, place du Parc, B7000 Mons - Belgique
Tél: +32 (0)65 373111
Courriel: info.mons@umons.ac.be