Thèse soutenue

Representation de points de vue pour le raisonnement hypothetique : application a l'aide a la decision
FR  |  
EN
Accès à la thèse
Auteur / Autrice : ANTOINE DIAZ
Direction : Marie-Christine Rousset
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1992
Etablissement(s) : Paris 11

Résumé

FR

Dans le domaine de l'aide a la decision, les systemes a base de connaissances sont generalement confrontes a deux difficultes dans la representation du raisonnement: la prise en compte d'informations incompletes et la gestion de raisonnements contradictoires. Nous proposons une methode qui repond a la question du maintien de la coherence des raisonnements, tout en conservant les fonctionnalites du systeme atms de de kleer pour le raisonnement hypothetique, celles-ci nous paraissant particulierement bien adaptees a la problematique posee par l'aide a la decision. Nous nous sommes appuyes sur une methode de resolution, la cat-resolution (cayrol & tayrac), qui permet de completement formaliser l'atms par la saturation de l'ensemble des clauses de l'enonce, les objets caracterisant le raisonnement hypothetique de l'atms etant alors representes par des clauses de la base saturee. Ce choix nous permet, en considerant la trace de la saturation et selon le meme principe qu'atms, d'associer a chaque clause les ensembles de clauses initiales qui justifient sa derivation par cat-resolution. L'inconsistance du raisonnement est desormais geree. Dans un premier temps l'utilisateur va pouvoir localiser la cause de l'inconsistance grace a l'explication de la clause vide, et c'est en fonction de cette explication qu'il pourra essayer de retablir la consistance de l'enonce en relachant au moins une des clauses justifiant la clause vide. Le calcul des atms partiels, definis par une partie des clauses initiales et representant un point de vue, devient plus efficace grace aux justifications de resolvantes