AAAI Publications, The Thirty-Second International Flairs Conference

Font Size: 
Penalty Logic-Based Representation of C-Revision
Safia Laaziz, Younes Zeboudj, Salem Benferhat, Faiza Haned

Last modified: 2019-05-04


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.

Full Text: PDF