Abstract FR:

Dans cette étude nous examinons les différents opérateurs de mise-à-jour des bases de croyances de la littérature. Dans un premier temps, nous introduisons trois nouveaux opérateurs pour répondre aux critiques faites (dans la littérature et par nous-même) à certains de ces opérateurs. Nous caractérisons complètement les opérateurs existant et ceux précédemment définis. Nous comparons alors leur force et leur complexité. Nous évaluons ensuite ces opérateurs par rapport aux postulats proposés par Katsuno et Mendelzon. Il apparaît que la plupart de ces opérateurs violent la majorité de ces postulats. Nous démontrons alors que tous les postulats violés sont indésirables sauf un. Dans un second temps, nous évaluons les opérateurs de mise-à-jour par rapport à une propriété qui a été examinée largement dans la littérature : la mise à jour des bases de croyances par une disjonction ne doit pas être identifiée à la mise-à-jour par la disjonction exclusive. Etant donnée l'importance de cette propriété, nous montrons qu'elle est contradictoire avec certains postulats, donnant ainsi un argument de plus pour le rejet de ces postulats. Finalement, nous étudions comment les différentes approches s'adaptent pour traiter les contraintes d'intégrités. Nous concluons que seulement deux approches sont satisfaisantes.