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. : 04 72 44 83 70
email : emmanuel.coquery@liris.cnrs.fr
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.