基于回答集程序的電子商務(wù)協(xié)商問(wèn)題研究.pdf

1、隨著信息技術(shù)的飛速發(fā)展，電子商務(wù)作為一種快速，便捷的交易方式越來(lái)越多的走進(jìn)人們的生活，而協(xié)商作為電子商務(wù)交易中的一個(gè)重要環(huán)節(jié)，在多Agent系統(tǒng)的研究中起到了至關(guān)重要的作用。邏輯程序的協(xié)商問(wèn)題是目前多Agent協(xié)商的一個(gè)研究熱點(diǎn)，回答集程序作為邏輯程序的一種，具有豐富的知識(shí)表達(dá)能力和非單調(diào)推理能力。本文通過(guò)將回答集程序用于電子商務(wù)的自動(dòng)協(xié)商問(wèn)題研究中，提出了一個(gè)消費(fèi)者一方(買(mǎi)方)單邊修改回答集程序的異步協(xié)商模型。該模型中，回答集程序作為

2、協(xié)商雙方Agent的知識(shí)表示，每一個(gè)Agent選擇自己的一個(gè)回答集作為初始的協(xié)商需求，通過(guò)消費(fèi)者一方接收對(duì)方需求和放棄自己的部分需求的過(guò)程來(lái)模擬整個(gè)協(xié)商過(guò)程。作為協(xié)商的一方，為保證交易的效率，避免回答集程序頻繁更新，電商平臺(tái)（賣(mài)方）在整個(gè)協(xié)商過(guò)程中不修改自己的回答集程序，而是將回答集程序的更新推遲到一段時(shí)間之后，通過(guò)以往交易記錄中消費(fèi)者提出的協(xié)商需求信息，生成所需要的更新程序，并通過(guò)合并更新程序來(lái)完成更新。對(duì)于每一個(gè)理性的Agent，他

3、們?cè)谶x擇自己的一個(gè)回答集作為初始的協(xié)商需求時(shí)，都會(huì)有自己的偏好，這些偏好通常是決定協(xié)商能否成功的關(guān)鍵，因?yàn)檫@些偏好決定了他們的哪些協(xié)商需求可以適當(dāng)放棄，哪些是寧愿協(xié)商失敗也不會(huì)妥協(xié)的。協(xié)商雙方在最初協(xié)商的時(shí)候都希望根據(jù)自己的偏好對(duì)協(xié)商需求進(jìn)行優(yōu)先排序，并選擇一個(gè)最能反映自己偏好的回答集作為自己的初始協(xié)商需求。
　　本文通過(guò)分析回答集程序中規(guī)則之間的依賴關(guān)系，并使用這種規(guī)則之間的依賴關(guān)系來(lái)構(gòu)造回答集程序的規(guī)則依賴圖，提出了一種基于規(guī)

4、則依賴圖的協(xié)商需求排序方法。而且我們對(duì)Agent的協(xié)商需求進(jìn)行了分類：核心需求和非核心需求，對(duì)于非核心需求Agent是可以妥協(xié)，而核心需求是不可以妥協(xié)的。由于協(xié)商的過(guò)程即博弈的過(guò)程，通過(guò)分析協(xié)商模型的博弈論屬性，判斷協(xié)商的結(jié)果是否具有博弈論中的某些均衡屬性，是證明該模型是否有效的方法之一。因此，我們證明了本文提出的異步協(xié)商模型具有以下幾個(gè)主要的博弈論相關(guān)屬性：在設(shè)定商家交易過(guò)程中選擇更新回答集程序會(huì)存在開(kāi)銷的條件下，無(wú)論協(xié)商是否有沖突產(chǎn)