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

权利要求书

1.基于回答集程序设计的交易双方的最优稳定匹配方法，其特征是，包括步骤如下：

步骤1，买方和供应商根据选择属性信息计算得到双方的感知吸引力；

步骤2，根据步骤1所得到的买方和供应商的感知吸引力建立联合矩阵；

步骤3，买方和供应商对步骤2所建立的联合矩阵中的感知吸引力进行从大到小排序，并建立买方和供应商各自的偏好列表；

步骤4，采用回答集程序设计语言对步骤3所建立的偏好列表进行描述编码；即建立如下规则：

(1)引入谓词buyers(b_i,s_j)表示买方b_i向偏好列表中的供应商s_j发出邀请和谓词accept(b_i,X)表示买方b_i与供应商X成为合作伙伴；此时，如果买方b_i没有与排在s_j前面的供应商成为合作伙伴，就向供应商s_j发出邀请；

(2)引入谓词suppliers(b_i,s_j)表示供应商s_j向偏好列表中的买方b_i发出邀请和谓词accept(Y,s_j)表示供应商s_j与买方Y成为合作伙伴；此时，如果供应商s_j没有与排在b_i前面的买方成为合作伙伴，就向买方b_i发出邀请；

(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使匹配双方的满意度达到最大，得到最优稳定匹配；

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

步骤5，在DLV求解器中，将步骤4所建立的规则转换为具体的ASP规则，即可得到最优稳定匹配。