Propositional belief base update and minimal change

摘要: Abstract In this paper we examine ten concrete propositional update operations of the literature. We start by completely characterizing their relative strength and computational complexity. Then evaluate competing with respect to postulates proposed Katsuno Mendelzon. It turns out that majority violates most postulates. argue all violated are undesirable except one. After another property which has been investigated extensively in literature, viz. disjunctive updates should not be identified exclusive disjunction. is desirable, show argument gives further support rejection two Finally study how different approaches accommodate general laws governing world, alias integrity constraints. Summing up our results, conclude only satisfactory.