Abstract FR:

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