Logique possibiliste : aspects formels, deduction automatique, et applications

par Jérôme Lang

Thèse de doctorat en Sciences et techniques communes

Sous la direction de Henri Prade.

Soutenue en 1991

à Toulouse 3 .

    mots clés mots clés


  • Résumé

    Issue de la theorie des possibilites de zadeh, elle-meme issue de la theorie des ensembles flous, la logique possibiliste a ete proposee vers 1986 par dubois et prade comme logique de representation et de traitement de l'incertitude. Dans cette these nous commencons par situer la logique possibiliste parmi d'autres logiques issues de la theorie des ensembles flous et parmi d'autres logiques numeriques de l'incertain. Puis nous presentons la logique possibiliste sous un angle formel: nous proposons un langage, puis donnons deux semantiques; la deuxieme, plus generale et plus souple, permet une graduation de l'inconsistance. Nous proposons ensuite un systeme formel pour un fragment significatif de la logique possibiliste. Nous proposons ensuite des generalisations et extensions de la logique possibiliste. Dans une deuxieme partie, nous etudions diverses proprietes formelles et algorithmiques de deux methodes de deduction automatique pour la logique possibiliste: la resolution et l'evaluation semantique. Dans une troisieme partie, nous nous interessons a quelques applications de la logique possibiliste. D'abord, nous montrons comment elle est un outil particulierement adapte a la traduction logique de problemes d'optimisation discrete de type min-max. Ensuite, nous evoquons brievement l'opportunite d'utiliser la logique possibiliste comme un langage de programmation. Enfin, nous proposons une generalisation a la logique possibiliste des atms (assumption-based truth maintenance systems) de de kleer; nous en donnons deux applications: l'une au diagnostic de pannes en environnement incertain, l'autre a la revision de bases de connaissances possibilistes


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 200 REF

Où se trouve cette thèse ?

  • Bibliothèque : Ecole nationale supérieure de sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB
  • Cote : I 1. LAN.
  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1991TOU30009
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.