Master Sciences, Technique, Santé

Nom de l’UE : Connaissances et Contraintes : Formalisation, Algorithmes et Applications
Nombre de crédits : 3
Contact :

Nom & Prénom(s) : Emmanuel Coquery

Tél. : [phone]

email : [e-mail]

Autre(s) intervenant(s) : Mohand-Said Hacid

Contrôle des connaissances Examen écrit

Programme – contenu détaillé de l’UE Cette UE comporte deux parties : Partie 1 (Mohand-Said Hacid) : Formalismes de représentation de connaissances 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. Objets Logiques 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, …)