TY - JOUR
T1 - Prime implicates and relevant belief revision
AU - Van De Putte, Frederik
PY - 2013/2
Y1 - 2013/2
N2 - This article discusses Parikh's axiom of relevance in belief revision, and recalls some results from Kourousias and Makinson (2007, J. Symbolic Logic, 72, 994-1002) in this context. The crucial distinction is emphasized between the uniqueness of the finest splitting of K and the fact that K has several normal forms associated with that finest splitting. The main new result of this article is a new proof for the theorem that the set of prime implicates of K is a normal form for the finest splitting of K. It is explained how this proof avoids a mistake in an earlier proof from Wu and Zhang (2010, Knowledge-Based Syst., 23, 70-76). As a corollary, relevance can be re-defined without reference to the finest splitting, using the notion of path-relevance from Makinson (2009, J. Appl. Logic, 7, 377-387). Finally, a weak yet sufficient condition for irrelevance is presented.
AB - This article discusses Parikh's axiom of relevance in belief revision, and recalls some results from Kourousias and Makinson (2007, J. Symbolic Logic, 72, 994-1002) in this context. The crucial distinction is emphasized between the uniqueness of the finest splitting of K and the fact that K has several normal forms associated with that finest splitting. The main new result of this article is a new proof for the theorem that the set of prime implicates of K is a normal form for the finest splitting of K. It is explained how this proof avoids a mistake in an earlier proof from Wu and Zhang (2010, Knowledge-Based Syst., 23, 70-76). As a corollary, relevance can be re-defined without reference to the finest splitting, using the notion of path-relevance from Makinson (2009, J. Appl. Logic, 7, 377-387). Finally, a weak yet sufficient condition for irrelevance is presented.
UR - https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=eur_pure&SrcAuth=WosAPI&KeyUT=WOS:000314123100005&DestLinkType=FullRecord&DestApp=WOS
U2 - 10.1093/logcom/exr040
DO - 10.1093/logcom/exr040
M3 - Article
SN - 0955-792X
VL - 23
SP - 109
EP - 119
JO - Journal of Logic and Computation
JF - Journal of Logic and Computation
IS - 1
ER -