Programme d’études 2019-2020English
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-SCINFO-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
  • Français
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

  • Gérer des projets de développement informatique d'envergure
    • -Faire preuve d'autonomie et être capable de travailler seul ou en équipe
  • Gérer des travaux de recherche, de développement ou d'innovation
    • -Pouvoir organiser et mener à son terme un travail de recherche, de développement ou d'innovation
    • -Rechercher de façon méthodique des informations scientifiquement valides, mener une analyse critique, proposer et argumenter des solutions éventuellement innovantes à des problématiques ciblées
  • 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
  • Développer et intégrer un fort degré d'autonomie
    • -Etre capable d'acquérir seul de nouveaux savoirs
  • 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

<em>Knowledge Representation & Reasoning</em> (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 <em>Description Logic</em> (DL) et est implémentée en W3C <em>Web Ontology Language</em> (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 <em>Answer Set Programming</em> (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 10% et 40% 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 10% et 40% 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 génération : 14/09/2019
20, place du Parc, B7000 Mons - Belgique
Tél: +32 (0)65 373111
Courriel: info.mons@umons.ac.be