Révision des croyances dans la clôture propositionnelle d'une algèbre qualitative

La revision des croyances est une operation visant a modifier d'anciennes croyances afin qu'elles deviennent coherentes avec de nouvelles croyances. La problematique de la revision des croyances a ete etudiee dans divers formalismes, en particulier dans les algebres qualitatives (AQ), dans lesquelles le resultat est une disjonction de bases de croyances, qui ne sont pas necessairement representables dans une AQ. Cela motive l'etude de la revision des croyances dans les clotures propositionnelles des AQ, dans lesquels le resultat de la revision est representable. Cette propriete rend possible la definition d'un operateur de contraction, en s'appuyant sur l'identite de Harper. La revision des croyances dans les clotures propositionnelles d'AQ est etudiee, un algorithme pour une famille d'operateurs de revision dans ces formalismes est presente et une implantation gratuite, avec code source ouvert et disponible sur la toile est decrite.