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

权利要求书

1.一种知识库协调聚类最小簇数计算方法，其特征在于，所述方法包括：

步骤S110、给定完整性约束φ、与φ不协调的知识库K，通过调用已有的算法获得其极小不协调子集MIS(K∪{φ})以及其所有问题公式集Pb(K,φ)，并构造模型决策变量集合X与模型辅助决策变量集合Y；

步骤S120、根据所述决策变量集合X、所述辅助决策变量集合Y以及所述极小不协调子集MIS(K∪{φ})构造二次整数规划约束C；

步骤S130、令所述决策变量集合X之和构成二次整数规划目标函数Z，在满足所述二次整数规划约束C的条件下求解所述目标函数Z的最小值，得到变量指派集合，所述公式集Pb(K,φ)中每项公式在所述变量指派集合中对应的整数变量的值即可求得其公式的类别。

2.根据权利要求1所述的方法，其特征在于，步骤S110具体包括：

计算所述公式集Pb(K,φ)的基数，定义为n，计算所述极小不协调子集MIS(K∪{φ})的基数，定义为m；

将所述公式集Pb(K,φ)中所有公式映射为整数决策变量，变量下界为0，变量上界为n-1，构成度量为n的模型决策变量集合X；

遍历所述极小不协调子集MIS(K∪{φ})，针对其中每一个极小不协调子集O_i，分别映射为n项0-1二元辅助决策变量，构成度量为m*n的辅助决策变量集合Y。

3.根据权利要求2所述的方法，其特征在于，步骤S120具体包括：

遍历所述极小不协调子集MIS(K∪{φ})，根据每一个极小不协调子集O_i，获取其集合中公式对应的二元变量集合计算所述二元变量集合的度量记为b_i；

令所述二元变量集合中所有元素x之和大于二元变量集合中每一项决策变量x_t、对应辅助决策变量y_it以及二元变量集合度量b_i之积，即其中构成二次整数规划约束集合C₁；

令每一个极小不协调子集O_i对应的辅助决策变量y_it之和大于0，即构成线性规划约束集合C₂；

所述二次整数规划约束C＝C₁∪C₂。

4.一种知识库协调聚类最小簇数计算装置，其特征在于，所述装置包括：

第一构造模块，用于给定完整性约束φ、与φ不协调的知识库K，通过调用已有的算法获得其极小不协调子集MIS(K∪{φ})以及其所有问题公式集Pb(K,φ)，并构造模型决策变量集合X与模型辅助决策变量集合Y；

第二构造模块，用于根据所述决策变量集合X、所述辅助决策变量集合Y以及所述极小不协调子集MIS(K∪{φ})构造二次整数规划约束C；

求解模块，用于令所述决策变量集合X之和构成二次整数规划目标函数Z，在满足所述二次整数规划约束C的条件下求解所述目标函数Z的最小值，得到变量指派集合，所述公式集Pb(K,φ)中每项公式在所述变量指派集合中对应的整数变量的值即可求得其公式的类别。

5.根据权利要求4所述的装置，其特征在于，所述第一构造模块包括：

计算子模块，用于计算所述公式集Pb(K,φ)的基数，定义为n，计算所述极小不协调子集MIS(K∪{φ})的基数，定义为m；

映射子模块，用于将所述公式集Pb(K,φ)中所有公式映射为整数决策变量，变量下界为0，变量上界为n-1，构成度量为n的模型决策变量集合X；

第一遍历子模块，用于遍历所述极小不协调子集MIS(K∪{φ})，针对其中每一个极小不协调子集O_i，分别映射为n项0-1二元辅助决策变量，构成度量为m*n的辅助决策变量集合Y。

6.根据权利要求5所述的装置，其特征在于，所述第二构造模块，包括：

第二遍历子模块，用于遍历所述极小不协调子集MIS(K∪{φ})，根据每一个极小不协调子集O_i，获取其集合中公式对应的二元变量集合计算所述二元变量集合的度量记为b_i；

第一构成子模块，用于令所述二元变量集合中所有元素x之和大于二元变量集合中每一项决策变量x_t、对应辅助决策变量y_it以及二元变量集合度量b_i之积，即其中构成二次整数规划约束集合C₁；

第二构成子模块，用于令每一个极小不协调子集O_i对应的辅助决策变量y_it之和大于0，即构成线性规划约束集合C₂，所述二次整数规划约束C＝C₁∪C₂。