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

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

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

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

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