[發(fā)明專利]基于回答集程序設計的交易雙方的最優(yōu)穩(wěn)定匹配方法

在審

• 申請?zhí)枺?/td>: 201710556938.5
• 申請日: 2017-07-10
• 公開（公告）號: CN107341575A
• 公開（公告）日: 2017-11-10
• 發(fā)明（設計）人: 趙嶺忠;付光超;熊遠武;錢俊彥
• 申請（專利權(quán)）人: 桂林電子科技大學
• 主分類號: G06Q10/04
• 分類號: G06Q10/04;G06Q30/06
• 代理公司: 桂林市持衡專利商標事務所有限公司45107
• 代理人: 陳躍琳

1.基于回答集程序設計的交易雙方的最優(yōu)穩(wěn)定匹配方法，其特征是，包括步驟如下：

步驟1，買方和供應商根據(jù)選擇屬性信息計算得到雙方的感知吸引力；

步驟2，根據(jù)步驟1所得到的買方和供應商的感知吸引力建立聯(lián)合矩陣；

步驟3，買方和供應商對步驟2所建立的聯(lián)合矩陣中的感知吸引力進行從大到小排序，并建立買方和供應商各自的偏好列表；

步驟4，采用回答集程序設計語言對步驟3所建立的偏好列表進行描述編碼；即建立如下規(guī)則：

(1)引入謂詞buyers(b_i,s_j)表示買方b_i向偏好列表中的供應商s_j發(fā)出邀請和謂詞accept(b_i,X)表示買方b_i與供應商X成為合作伙伴；此時，如果買方b_i沒有與排在s_j前面的供應商成為合作伙伴，就向供應商s_j發(fā)出邀請；

(2)引入謂詞suppliers(b_i,s_j)表示供應商s_j向偏好列表中的買方b_i發(fā)出邀請和謂詞accept(Y,s_j)表示供應商s_j與買方Y(jié)成為合作伙伴；此時，如果供應商s_j沒有與排在b_i前面的買方成為合作伙伴，就向買方b_i發(fā)出邀請；

(3)引入謂詞accept(b_i,s_j)表示買方b_i和供應商s_j成為合作伙伴；此時，如果買方b_i接受供應商s_j，同時供應商s_j也接受買方b_i，則其成為合作伙伴；

(4)引入謂詞accept(b_i,b_i)表示買方b_i只接受其自身；此時，如果買方b_i沒有與其偏好列表中的任何供應商成為合作伙伴，則接受其自身；

(5)引入謂詞accept(s_j,s_j)表示供應商s_j只接受其自身；此時，如果供應商s_j沒有與其偏好列表中的所有買方成為合作伙伴，則接受其自身；

(6)引入最大滿意度準則C_max使匹配雙方的滿意度達到最大，得到最優(yōu)穩(wěn)定匹配；

上述i＝1,2,…，m，j＝1,2,…，n；

步驟5，在DLV求解器中，將步驟4所建立的規(guī)則轉(zhuǎn)換為具體的ASP規(guī)則，即可得到最優(yōu)穩(wěn)定匹配。