Representation de points de vue pour le raisonnement hypothetique : application a l'aide a la decision

par ANTOINE DIAZ

Thèse de doctorat en Sciences appliquées

Sous la direction de Marie-Christine Rousset.

Soutenue en 1992

à Paris 11 .

    mots clés mots clés


  • Résumé

    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

  • Titre traduit

    Points of view representation and hypothetical reasoning for decision aiding systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 93 REF

Où se trouve cette thèse ?

  • Bibliothèque :
  • Accessible pour le PEB
  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : TH2014-010963
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.