Prime forms and minimal change in propositional belief bases

摘要: This paper proposes to use prime implicants and implicates normal forms represent belief sets. representation is used, on the one hand, define syntactical versions of change operators that also satisfy rationality postulates but present better complexity properties than those proposed in literature and, other propose a new minimal distance adopts as unit "fact", defined implicate set, instead usually adopted Hamming distance, i.e., number propositional symbols which models differ. Some experiments are presented show this allows preserve more information original set.