2002/10/03 by Salem Benferhat, Sylvain Lagrue, Odile Papini
Computer Science · #cs.AI
published as Proc. of the 9th Workshop on Non-monotonic Reasoning (NMR'2002), pp. 142--149 · figures made with the pstricks latex packages
arxiv created 2002/10/03 · arxiv updated 2009/11/30
This paper deals with the revision of partially ordered beliefs. It proposes a semantic representation of epistemic states by partial pre-orders on interpretations and a syntactic representation by partially ordered belief bases. Two revision operations, the revision stemming from the history of observations and the possibilistic revision, defined when the epistemic state is represented by a total pre-order, are generalized, at a semantic level, to the case of a partial pre-order on interpretations, and at a syntactic level, to the case of a partially ordered belief base. The equivalence between the two representations is shown for the two revision operations.