Propositional belief base update and min
โ
Andreas Herzig; Omar Rifi
๐
Article
๐
1999
๐
Elsevier Science
๐
English
โ 245 KB
In this paper we examine ten concrete propositional update operations of the literature. We start by completely characterizing their relative strength and their computational complexity. Then we evaluate the competing update operations with respect to the postulates proposed by Katsuno and Mendelzon