Centre de Recherche en Informatique de Lens

Nous présentons une nouvelle classe d’opérateurs de changement de croyances, les opérateurs d’amélioration, qui sont une généralisation des opérateurs de révision itérée classiques. L’idée est de ne pas exiger la propriété de succès afin que la nouvelle information ne soit pas forcement acceptée après l’amélioration, mais de s’assurer simplement que sa plausibilité ait augmenté. Cette nouvelle information ne sera acceptée que si on itère suffisamment de fois l’amélioration. Nous donnons tout d’abord un rappel de la littérature sur la révision itérée. Nous proposons ensuite une caractérisation axiomatique des opérateurs d’amélioration, et un théorème de représentation permettant de définir ces opérateurs directement comme des fonctions de transition sur les relations de plausibilité.