Représentation de la c-révision à base de la logique des pénalités


La révision des croyances consiste à modifier un état épistémique après l'arrivée de nouvelles informations. Dans cet article, nous nous concentrons sur le problème de la révision itérative multiple des croyances appelée la c-révision. Les états épistémiques sont représentés dans le cadre des fonctions ordinales conditionnelles. La nouvelle information de la c-révision est representée par un ensemble consistant de formules pondérées. Nous montrons que la c-révision a un lien très naturel avec la logique des pénalités.