论文部分内容阅读
#SAT问题是人工智能中的重要问题，在人工智能领域被广泛应用。在对基于扩展规则的模型计数求解方法CER深入研究的基础上，重构CER中使用的计算公式，并对其正确性进行了证明；提出极大项相交集乖扩展极大项相交集的概念，并给出根据两者关系重用极大项相交集计算结果的增量求解方法，且对广义互补子句集对应的所有扩展极大项相交集进行剪枝，有效避免了计算所有极大项相交集对应极大项个数时的冗余求解；提出构建记录子句间互补关系的互补表方法，给出重用极大项相交集基础子句集互补结果的增量互补判定方法，较好地避免了判断子句间和各极