Systèmes à base de traces modélisées

Ce travail de these s'inscrit dans le cadre du projet finance par la Region Rhone-Alpes. La personnalisation des EIAH est essentiellement dependante de la capacite a produire des traces pertinentes et exploitables des activites des apprenants interagissant avec un EIAH. Dans ce domaine, l'exploitation des traces releve explicitement plusieurs problematiques allant de sa representation de maniere normalisee et intelligible a son traitement et interpretation en temps differe ou en temps reel au moment meme de l'apprentissage. La multiplication des pratiques et des usages des traces requiert des outils generiques pour soutenir leurs exploitations. L'objectif de cette these est de definir les fondements theoriques de tels outils generiques permettant l'exploitation des traces d'interaction. Ceci nous a amene a definir la notion de Systemes a Base de Trace modelisees : une classe de systemes a base de connaissances facilitant le raisonnement et l'exploitation des traces modelisees. L'approche theorique proposee pour construire de tels systemes s'articule autour de deux contributions : (1) La definition d'un cadre conceptuel definissant les concepts, l'architecture et les services mobilises par les SBT. (2) La definition d'un cadre formel pour les systemes a base de traces modelisees. Plus precisement, la proposition d'un langage pour l'interrogation et la transformation de trace modelisees a base de regles permettant des evaluations ponctuelles et continues. La semantique formelle de ce langage est definie sous forme d'une theorie des modeles et d'une theorie de point fixe, deux formalismes habituellement utilises pour decrire la semantique formelle des langages de representation de connaissances