一种知识库协调聚类最小簇数计算方法及装置制造方法及图纸

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

【技术实现步骤摘要】
一种知识库协调聚类最小簇数计算方法及装置


[0001]本公开属于不协调知识库的协调划分问题处理
，具体涉及一种知识库协调聚类最小簇数计算方法及装置。

技术介绍

[0002]近年来，数据量的爆炸式增长，数据处理技术得到全面发展。聚类方法作为数据处理的核心技术在各行业中得到了广泛应用。海量数据构成的知识库常常利用经典逻辑(描述逻辑、一阶逻辑、命题逻辑等)刻画知识库的推理，具有推理能力是知识库的重要特色之一。然而，基于逻辑公式的知识库推理往往存在逻辑矛盾，导致知识库不协调，致使知识库失去推理功能。因此，对不协调公式集刻画的知识库进行协调聚类是研究者们一直探寻的研究方向之一。
[0003]据调研，目前有两项针对不协调逻辑公式集刻画的协调聚类工作，Abdelhamid等提出将数据聚类的K
‑
means聚类算法以及层次聚类算法应用到逻辑公式集。Yakoub对形式逻辑进行聚类提出了一些等价规范条件。上述工作提出的方法仅是聚类框架，未见具体的计算方法及大量公开的不协调公式集的协调聚类计算实例。
专利技术内容
[0本文档来自技高网...

【技术保护点】

【技术特征摘要】
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
之积，即其中构成二次整数规划约束集合C1；令每一个极小不协调子集O
i
对应的辅助决策变量y
it
之和大于0，即构成线性规划约束集合C2；所述二次整数规划约束C＝C1∪C2。4.一种知识库协调聚类最小簇数计算装置，其特征在于，所述装置包括：第一构造...

【专利技术属性】
技术研发人员：吴茂念，彭蔚，郑博，朱绍军，郝秀兰，
申请(专利权)人：湖州师范学院，
类型：发明
国别省市：