[發(fā)明專(zhuān)利]一種本體庫(kù)最大基數(shù)子集的不完全劃分方法及裝置

在審

• 申請(qǐng)?zhí)枺?/td>: 202110200978.2
• 申請(qǐng)日: 2021-02-23
• 公開(kāi)（公告）號(hào): CN113157815A
• 公開(kāi)（公告）日: 2021-07-23
• 發(fā)明（設(shè)計(jì)）人: 吳茂念;彭蔚;鄭博;朱紹軍;郝秀蘭
• 申請(qǐng)（專(zhuān)利權(quán)）人: 湖州師范學(xué)院
• 主分類(lèi)號(hào): G06F16/28
• 分類(lèi)號(hào): G06F16/28
• 代理公司: 北京中知法苑知識(shí)產(chǎn)權(quán)代理有限公司 11226
• 代理人: 李明;趙吉陽(yáng)

1.一種本體庫(kù)最大基數(shù)子集的不完全劃分方法，其特征在于，所述方法包括：

步驟S110、根據(jù)包含邏輯沖突的本體庫(kù)B和所述本體庫(kù)B的限定協(xié)調(diào)簇?cái)?shù)k，通過(guò)已有算法獲得所述本體庫(kù)B的m個(gè)極小不協(xié)調(diào)子集O_i(i＝0,1,...,m-1)組成的極小不協(xié)調(diào)子集集合MIS(B)以及問(wèn)題公式集合Prob(B)，并構(gòu)造模型決策變量集合X、模型輔助決策變量集合Q和輔助決策變量集合Y；

步驟S120、根據(jù)限定協(xié)調(diào)簇?cái)?shù)k、所述決策變量集合X、所述輔助決策變量集合Q、所述輔助決策變量集合Y以及所述極小不協(xié)調(diào)子集集合MIS(B)，構(gòu)造二次整數(shù)規(guī)劃約束C；

步驟S130、令所述決策變量集合X之和構(gòu)成二次整數(shù)規(guī)劃目標(biāo)函數(shù)Z，在滿(mǎn)足所述二次整數(shù)規(guī)劃約束C的條件下求解所述目標(biāo)函數(shù)Z的最小值，得到變量指派集合，通過(guò)所述問(wèn)題公式集合Prob(B)中每項(xiàng)公式在所述變量指派集合中對(duì)應(yīng)的不同整數(shù)值可獲得不同的簇類(lèi)，以此劃分為保留輸入所述本體庫(kù)最大基數(shù)子集的限定協(xié)調(diào)簇類(lèi)。

2.根據(jù)權(quán)利要求1所述的方法，其特征在于，步驟S110具體包括：

計(jì)算所述問(wèn)題公式集合Prob(B)的基數(shù)，定義為n，定義常數(shù)N為n+1；

將所述問(wèn)題公式集合Prob(B)中所有公式映射為整數(shù)決策變量，變量定義域?yàn)閧1,N,…,N^k}，構(gòu)成度量為k+1的模型決策變量集合X；

遍歷所述極小不協(xié)調(diào)子集集合MIS(B)，將其中每一項(xiàng)極小不協(xié)調(diào)子集O_i映射為0-1二元輔助決策變量，構(gòu)成度量為m的模型輔助決策變量集合Q；

遍歷所述極小不協(xié)調(diào)子集集合MIS(B)，針對(duì)每一項(xiàng)極小不協(xié)調(diào)子集O_i，分別映射為n項(xiàng)0-1二元輔助決策變量，構(gòu)成度量為m*n的輔助決策變量集合Y。

3.根據(jù)權(quán)利要求2所述的方法，其特征在于，步驟S120具體包括：

遍歷所述極小不協(xié)調(diào)子集集合MIS(B)，根據(jù)每一項(xiàng)極小不協(xié)調(diào)子集O_i，獲取其集合中公式對(duì)應(yīng)的二元變量集合計(jì)算所述二元變量集合的度量記為b_i；

令所述二元變量集合中所有元素x之和大于所述二元變量集合中每一項(xiàng)決策變量x_t、對(duì)應(yīng)輔助決策變量y_it以及所述二元變量集合度量b_i之積，即其中構(gòu)成二次整數(shù)規(guī)劃約束集合C₁；

令每一項(xiàng)極小不協(xié)調(diào)子集O_i對(duì)應(yīng)的輔助決策變量y_it之和大于當(dāng)前遍歷的極小不協(xié)調(diào)子集對(duì)應(yīng)的輔助決策變量q_i，即其中構(gòu)成二次整數(shù)規(guī)劃約束集合C₂；

令所述二元變量集合中所有元素x之和大于所述二元變量集合度量b_i、常數(shù)N的k次方以及1減輔助決策變量q_i之積，即構(gòu)成二次整數(shù)規(guī)劃約束集合C₃；

所述二次整數(shù)規(guī)劃約束C＝C₁∪C₂∪C₃。

4.一種本體庫(kù)最大基數(shù)子集的不完全劃分裝置，其特征在于，所述裝置包括：

第一構(gòu)造模塊，用于根據(jù)包含邏輯沖突的本體庫(kù)B和所述本體庫(kù)B的限定協(xié)調(diào)簇?cái)?shù)k，通過(guò)已有算法獲得所述本體庫(kù)B的m個(gè)極小不協(xié)調(diào)子集O_i(i＝0,1,...,m-1)組成的極小不協(xié)調(diào)子集集合MIS(B)以及問(wèn)題公式集合Prob(B)，并構(gòu)造模型決策變量集合X、模型輔助決策變量集合Q和輔助決策變量集合Y；

第二構(gòu)造模塊，用于根據(jù)限定協(xié)調(diào)簇?cái)?shù)k、所述決策變量集合X、所述輔助決策變量集合Q、所述輔助決策變量集合Y以及所述極小不協(xié)調(diào)子集集合MIS(B)，構(gòu)造二次整數(shù)規(guī)劃約束C；

求解模塊，用于令所述決策變量集合X之和構(gòu)成二次整數(shù)規(guī)劃目標(biāo)函數(shù)Z，在滿(mǎn)足所述二次整數(shù)規(guī)劃約束C的條件下求解所述目標(biāo)函數(shù)Z的最小值，得到變量指派集合，通過(guò)所述問(wèn)題公式集合Prob(B)中每項(xiàng)公式在所述變量指派集合中對(duì)應(yīng)的不同整數(shù)值可獲得不同的簇類(lèi)，以此劃分為保留輸入所述本體庫(kù)最大基數(shù)子集的限定協(xié)調(diào)簇類(lèi)。