La modélisation des préférences par le biais de formalismes de représentation compacte fait l'objet de travaux soutenus en intelligence artificielle depuis plus d'une quinzaine d'années. Ces formalismes permettent l'expression de modèles suffisamment flexibles et riches pour décrire des comportements de décision complexes. Pour être intéressants en pratique, ces formalismes doivent de plus permettre l'élicitation des préférences de l'utilisateur, et ce en restant à un niveau admissible d'interaction. La configuration de produits combinatoires dans sa version business to customer et la recherche à base de préférences constituent de bons exemples de ce type de problème de décision où les préférences de l'utilisateur ne sont pas connues a priori. Dans un premier temps, nous nous sommes penchés sur l'apprentissage de GAI-décompositions. Nous verrons qu'il est possible d'apprendre une telle représentation en temps polynomial en passant par un système d'inéquations linéaires. Dans un second temps, nous proposerons une version probabiliste des CP-nets permettant la représentation de préférences multi-utilisateurs afin de réduire le temps nécessaire à l'apprentissage des préférences d'un utilisateur. Nous étudierons les différentes requêtes que l'on peut utiliser avec une telle représentation, puis nous nous pencherons sur la complexité de ces requêtes. Enfin, nous verrons comment apprendre ce nouveau formalisme, soit grâce à un apprentissage hors ligne à partir d'un ensemble d'objets optimaux, soit grâce à un apprentissage en ligne à partir d'un ensemble de questions posées à l'utilisateur. / --

Les jeux booléens permettent de représenter les jeux stratégiques d'une manière succincte en tirant profit du pouvoir d'expression et de la concision de la logique propositionnelle. Informellement, un jeu booléen est un jeu à deux joueurs, chacun d'entre eux contrôlant un ensemble de variables propositionnelles, et à somme nulle. La fonction d'utilité du joueur 1 (et donc celle du joueur 2 qui est son opposé) est représentée par une formule de la logique propositionnelle, appelée forme booléenne du jeu. Ainsi, un joueur dans un jeu booléen a des préférences dichotomiques : son but est satisfait ou ne l'est pas.<br /><br />Ces trois restrictions (deux joueurs, somme nulle, préférences binaires) limitent fortement l'expressivité de ce cadre. Les deux premières restrictions peuvent être facilement résolues en définissant les préférences des agents comme étant un n-uplet de formules propositionnelles (une pour chaque agent). Des outils simples issus de la logique propositionnelle nous permettent ainsi de caractériser certaines propriétés du jeu. Deux autres notions ont alors été étudiées : la dépendance entre joueurs (si le but (et donc la satisfaction) d'un joueur i dépend de variables contrôlées par le joueur j, alors i aura besoin de j pour satisfaire son but) et les coalitions de joueurs (une coalition dans un jeu booléen est efficace si elle peut garantir à tous ses membres que leurs buts sont satisfaits). Dans les deux cas, l'objectif est de faciliter le calcul des concepts de solution tels que les équilibres de Nash en stratégies pures.<br />Lever la troisième restriction consiste à exprimer des préférences (non binaires) dans un cadre propositionnel. Cela est possible en utilisant un langage de représentation compacte de préférences. Nous avons integré ici deux de ces langages aux jeux booléens : tout d'abord, les buts à priorité puis les CP-nets.

La formalisation du principe de rationalité dans la plupart des modèles d'agent permet rarement de spécifier complètement les réactions du système. C'est pourquoi nous considérons dans cette thèse l'introduction d'une phase de décision explicite au sein de ces modèles. Plus précisément, nous proposons une nouvelle façon entièrement qualitative de représenter les informations sur la désirabilité des alternatives nécessaires à cette phase : les préférences. Cette dernière est formalisée en logique des prédicats du premier ordre.<br /><br />Afin d'autoriser une spécification intuitive des préférences, nous supposons que les informations "initiales" sont des comparaisons entres des propriétés que peuvent vérifier les différentes alternatives. Ces comparaisons vérifient les principes d'expansion, de transitivité, et de Ceteris Paribus. De plus, elles sont spécifiées par points de vue éventuellement contradictoires et telles que deux propriétés quelconques sont jugées indifférentes par défaut.<br />Afin de départager un grand nombre d'alternatives et en particulier pour dépasser une limite de l'hypothèse Ceteris Paribus, nous proposons d'étendre ces informations via une phase dite "d'extension" en considérant chaque préférence (dite "primitive") comme un argument pour départager les alternatives.<br />Afin de gérer les contradictions entre points de vue, nous formalisons l'introduction d'une étape dite "d'agrégation". Cette dernière permet, via un mécanisme d'élection, de générer une unique préférence "globale".<br /><br />Enfin, nous proposons une voie pour intégrer notre travail au modèle logique d'agent rationnel proposée par Sadek ainsi qu'une manière pour utiliser nos préférences conjointement avec d'autres types d'informations sur la désirabilité.

Lorsque la vue, qui est un important moyen de communication, est altérée, alors l'acquisition de l'information s'en trouve modifiée, dégradée ou limitée. A l'ère du monde numérique, le Web regorge d'informations réparties sur différents sites et mises en forme par les développeurs et designers. De nombreuses pathologies visuelles peuvent entraîner des difficultés dans l'accès à ces informations. Au-delà même de ces informations, l'accès aux outils et services est lui aussi limité. Des difficultés dans la perception des couleurs, des taches dans le champ visuel ou un champ visuel réduit sont tout autant de sources de difficultés. Chaque personne a une vision qui lui est propre. Chez les personnes qui ont une basse vision, les pathologies donnent des évolutions spécifiques chez chacune d'entre elles. De plus les méthodes de compensation acquises sont différentes d'une personne à l'autre. Des outils d'assistance existent depuis de nombreuses années et tentent de répondre aux besoins des personnes ayant une basse vision en proposant des adaptations visuelles. Les principales limites de ces outils résident notamment dans le fait qu'ils ne sont pas en capacité de prendre en compte les besoins très spécifiques de chaque personne. Ces travaux de recherche se concentrent donc autour de l'analyse des besoins réels des utilisateurs et de l'élaboration d'une nouvelle approche qui se base sur les préférences personnelles de l'utilisateur. L'objectif final est d'automatiser la transformation des pages Web en fonction des préférences propres à un utilisateur pendant qu'il navigue sur le Web. Divers algorithmes ont été utilisés, notamment des algorithmes évolutionnaires, afin de réaliser des compromis entre les préférences de l'utilisateur et l'apparence originale de la page Web. La thèse développe de manière approfondie les principaux problèmes touchant les personnes en situation de basse vision et des éléments sur les modèles de couleurs et de contrastes. Puis elle présente un langage de modélisation des préférences basé sur la logique, une modélisation du problème comme un problème d'optimisation, des algorithmes de résolution, un démonstrateur, et des expérimentations sur des pages Web réelles. / When the sight, which is the main communication way, is altered, then the information acquisition process is also modified, degraded or limited. In today's digital world, the Web is a wealth of information organized by designers and developers and available on different Websites. Many visual pathologies can lead to difficulties in accessing this information. Beyond this information, the access to the different tools and services is also affected. Difficulties in color perception, cloud-like white patches or dark areas in a visual field, or a reduced visual field are all sources of difficulties. Each person has a particular vision. Several persons with the same pathology may even have different visions. Several assistive tools have been proposed that apply visual adaptation, trying to meet the needs of people with low vision. Main limits of these tools are mainly the unability of taking into account the very specific needs of each person. These research works are focused on the real user's needs analysis and on making a new approach based on the personal user's preferences. The final target consists in automatizing the Web page transformation according to the specific preferences of a particular user. This transformation occurs along the navigation from page to page. Different algorithms have been used, especially evolutionary algorithms, in order to make tradeoffs between the user's preferences and the original appearance of the page. The thesis further develops main problems encountered by people with low vision and some notions on color models and contrast relations. After that, we present a preference modeling language based on logics, a modeling of the problem as an optimization problem, some resolution algorithms, a tool and experiments on several real Web pages.