Combining Syntax and Semantics through Prime Form Representation

This article presents an algorithm that, besides calculatingthe number of models of a propositional logic theory, also determinesthe distribution of these models among the terms of a disjunctivenormal form representation of the theory. Using prime implicantsto represent the target theory, in a knowledge compilation context,we discuss how this distribution can be used to define beliefchange operators that respect the theory structure. Some experimentalresults are also presented.