Laaziz

AAAI Conferences 

Belief revision consists in modifying an epistemic state in the light of a new information. In this paper, we focus on the so-called multiple iterated belief revision process called c-revision. Epistemic states are represented in terms of penalty knowledge bases. The input is also a set of consistent weighted formulas. We show that crevision has a very natural counterpart in penalty logic.