[发明专利]一种知识库协调聚类最小簇数计算方法及装置

摘要

本公开提供一种知识库协调聚类最小簇数计算方法及装置。包括：给定完整性约束φ、与φ不协调的知识库K，通过调用已有的算法获得其极小不协调子集MIS(K∪{φ})以及其所有问题公式集Pb(K,φ)，并构造模型决策变量集合X与模型辅助决策变量集合Y；根据X、Y以及MIS(K∪{φ})构造二次整数规划约束C；令X之和构成二次整数规划目标函数Z，在满足二次整数规划约束C的条件下求解目标函数Z的最小值，得到变量指派集合，Pb(K,φ)中每项公式在变量指派集合中对应的整数变量的值即可求得其公式的类别。针对不协调知识库，利用极小不协调子集，构建二次整数规划模型，最后求解二次整数规划模型获取完整的协调聚类簇及最小簇数。