[发明专利]基于回答集程序设计的交易双方的最优稳定匹配方法

摘要

本发明公开一种基于回答集程序设计的交易双方的最优稳定匹配方法，首先根据买方和供应商的选择属性信息计算得到双方的感知吸引力；然后将感知吸引从大到小排序，建立双方各自的完全偏好列表，并引入并引入信誉度来建立相应的不完全偏好列表。最后采用回答集程序设计(ASP)对上述偏好列表进行描述编码，在DLV求解器中运行该程序可以得到所有的稳定匹配，并以双方最大满意为目标，可获得最优稳定匹配。

主权项

基于回答集程序设计的交易双方的最优稳定匹配方法，其特征是，包括步骤如下：步骤1，买方和供应商根据选择属性信息计算得到双方的感知吸引力；步骤2，根据步骤1所得到的买方和供应商的感知吸引力建立联合矩阵；步骤3，买方和供应商对步骤2所建立的联合矩阵中的感知吸引力进行从大到小排序，并建立买方和供应商各自的偏好列表；步骤4，采用回答集程序设计语言对步骤3所建立的偏好列表进行描述编码；即建立如下规则：(1)引入谓词buyers(bi,sj)表示买方bi向偏好列表中的供应商sj发出邀请和谓词accept(bi,X)表示买方bi与供应商X成为合作伙伴；此时，如果买方bi没有与排在sj前面的供应商成为合作伙伴，就向供应商sj发出邀请；(2)引入谓词suppliers(bi,sj)表示供应商sj向偏好列表中的买方bi发出邀请和谓词accept(Y,sj)表示供应商sj与买方Y成为合作伙伴；此时，如果供应商sj没有与排在bi前面的买方成为合作伙伴，就向买方bi发出邀请；(3)引入谓词accept(bi,sj)表示买方bi和供应商sj成为合作伙伴；此时，如果买方bi接受供应商sj，同时供应商sj也接受买方bi，则其成为合作伙伴；(4)引入谓词accept(bi,bi)表示买方bi只接受其自身；此时，如果买方bi没有与其偏好列表中的任何供应商成为合作伙伴，则接受其自身；(5)引入谓词accept(sj,sj)表示供应商sj只接受其自身；此时，如果供应商sj没有与其偏好列表中的所有买方成为合作伙伴，则接受其自身；(6)引入最大满意度准则Cmax使匹配双方的满意度达到最大，得到最优稳定匹配；上述i＝1,2,…，m，j＝1,2,…，n；步骤5，在DLV求解器中，将步骤4所建立的规则转换为具体的ASP规则，即可得到最优稳定匹配。