Nom de l’UE : Connaissances et contraintes : Représentation, algorithmes et applications
Nombre de crédits : 3
UFR de rattachement : UFR Informatique
Responsables de l’UE : Emmanuel Coquery Tél : 04 72 44 83 70 e-mail : emmanuel.coquery@liris.cnrs.fr
Contact formation : Behzad Shariat Tél : 04 72 43 13 11 e-mail : bshariat@bat710.univ-lyon1.fr
Enseignement présentiel : 15 heures
Répartition de l’enseignement présentiel :
Cours Magistraux 15 heures
Autre(s) intervenant(s) : Mohand-Said Hacid
|
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, …)
Partie 2 (Emmanuel Coquery) : Contraintes : Algorithmes et Techniques
Cette partie vise à introduire formellement la notion de contraintes, en particulier à travers la programmation par contraintes, ainsi qu'à décrire un ensemble d'algorithmes et de techniques employés en programmation par contraintes. Nous aborderons les points suivants:
-
Notion de domaine de contraintes, principes de la programmation par contraintes.
-
Différents domaines de contraintes: domaines finis, réels/rationnels, ordres.
-
Algorithmique et techniques de résolution:
-
Algorithmes de filtrage: consistance de borne, d'arc, de chemin
-
Contraintes globales
-
Filtrage de contraintes par réécriture
Compétences acquises
Méthodologiques : Savoir définir un problème nécessitant des techniques avancées de représentation de connaissances et de modélisation de données. Savoir identifier les approches algorithmiques nécessaires et les algorithmes qui serviront de bases pour proposer des solutions a des problèmes spécifiques.
Techniques : Utilisation d'outils formels
Secteur d’activité concerné et compétences métier acquises :
|
Nom de l’UE : Systèmes d’information pervasifs et interopérables
Nombre de crédits : 3
UFR de rattachement : UFR Informatique
Responsables de l’UE : LAFOREST Frederique Tél : 04 72 43 89 83 e-mail : frederique.laforest@liris.cnrs.fr
Contact formation : Behzad Shariat Tél : 04 72 43 13 11 e-mail : bshariat@bat710.univ-lyon1.fr
Enseignement présentiel : 15 heures
Répartition de l’enseignement présentiel :
Cours Magistraux 15 heures
Autre(s) intervenant(s) : BENSLIMANE Djamal
|
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
Partie 1. Systèmes d'information Pervasifs
-
Introduction
-
Architectures des systèmes d’information distribués et pervasifs
-
Trois niveaux de recherche en systèmes pervasifs
-
Matériel et système
-
Réseau
-
Système d’information: découverte de services, gestion de données, context-awareness, adaptation des données, des interfaces utilisateurs et des services
-
Exemples de projets pervasifs
-
Conclusion
Partie 2. Systèmes d'information interopérables
-
Introduction générale à l'interopérabilité
-
Problématique, Objectif, définitions
-
Niveau d'interopérabilité
-
Classification des hétérogénéités des données
-
Principales approches d'interopérabilité
-
Traducteurs - Languages Multi-bases (SQL étendu, Langage des prédicats)
-
Fédération – Médiation – à base d'ontologie
-
Etude générale de certaines architectures : SIMS, Disco, Observer …
-
Techniques et Algorithmes de base d'intégration des schémas de base de données
-
Méthode générale d'intégration de schémas
-
Algorithmes d'intégrations
-
Traitement de requêtes multi-sources
-
Techniques de base : décomposition, transformation et fusion des résultats
-
Cas des langages multi-bases
-
Cas des schémas fédérés
Compétences acquises
Méthodologiques : étude et critique de systèmes de la littérature, bibliographie
Techniques : architectures de systèmes distribués, mobiles et pervasifs, techniques de gestion de la mobilité(déconnexion, cache…), du contexte (capture, interprétation, modélisation), de l’adaptation (des interfaces, des services, des données), d’intégration de schémas, de requêtes multi-sources.
|
|
Dostları ilə paylaş: |