概率逻辑公式集分解的合并聚类算法

为使概率逻辑的不确定性推理方法能应用于较大规模的知识库，本文基于一个实际专家系统知识库的开发经验，在概率逻辑公式一致性区间的一般算法基础上，为概率逻辑公式集的分解设计了一种合并聚类算法．对于不同背景的概率逻辑知识库，只要公式集具有一定的分层结构性质，该算法就能保证ｄａｎｔｚｉｇ－ｗｏｌｆｅ分解的联合计算模型适用于概率逻辑推理．测试结果表明，该算法对于数１０个变量和子句的实例可收到很好的效果．