Transformation de programmes logiques : application à la personnalisation et à la personnification d’agents.
Auteur / Autrice : | Georges Dubus |
Direction : | Yolaine Bourda |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique (STIC) |
Date : | Soutenance le 04/09/2014 |
Etablissement(s) : | Supélec |
Ecole(s) doctorale(s) : | Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) |
Jury : | Président / Présidente : Nicolas Sabouret |
Examinateurs / Examinatrices : Maxime Morge, Fabrice Popineau | |
Rapporteurs / Rapporteuses : Zahia Guessoum, Abdel-Illah Mouaddib |
Mots clés
Mots clés contrôlés
Mots clés libres
Résumé
Cette thèse s'intéresse à la personnalisation et à la personnification d'agents intelligents dans le cadre d'applications web. Les techniques de personnalisation et de personnification sont de plus en plusutilisées pour mieux répondre aux besoins des utilisateurs. La plupart de ces techniques reposent sur des outils de raisonnement issus de l'intelligence artificielle. Cependant, ces techniques sont habituellement utilisés de manière ad-hoc pour chaque application. L'approche de cette thèse est de considérer la personnalisation et la personnification comme deux instances d'altération de comportement, et à étudier l'altération du comportements d'agents rationnels. Les principales contributions sont WAIG, un formalisme basé sur le langage Golog adapté à l'expression d'applications web, et PAGE, un cadre formel pour la manipulation et l'altération de programmes agents Golog, permettant la transformation automatique d'agent selon un critère donné. Ces contributions sont illustrés par plusieurs scénarios concrets issus des domaines de la personnalisation et de la personnification.