Master Sciences, Technique, Santé

Contrôle des connaissances

Contrôle continu :	Examen terminal : coefficient 1
Type de l’UE Obligatoire : Oui Formation : Master Recherche informatique Parcours : Technologie de l’Information et Web Optionnelle : Non Place de l’UE dans le parcours : M2 semestre : S3 Modalités d’accès à l’UE (pré-requis conseillés) : non lesquels :
Programme – contenu de l’UE Cette UE comporte deux parties : Formalismes de représentation de connaissances (Mohand-Said Hacid)  Il s’agit d’explorer les formalismes de représentation de connaissances existants et se concentrer ensuite sur les logiques de description. Nous présenterons les syntaxes, sémantiques, les raisonnements et les applications possibles. Logiques objets (ex. : LIFE, F-Logic, …) Logiques de description : Syntaxe Sémantiques Raisonnements (subsomption, satisfiabilité, LCS, Matching, …), algorithmes Applications : en base de données, systèmes d’information, génie logiciel, informatique médicale, configuration, services Web, P2P, …)