基于良基語義的雙邊協(xié)商模型.pdf

1、在如今的社會生活中，協(xié)商已經(jīng)滲透到人類活動的各個方面。從買賣雙方的討價還價到多個國家首腦之間的高峰會談，這些都是協(xié)商的不同表現(xiàn)形式。而自動協(xié)商是人工智能領(lǐng)域的一個研究熱點。近年來，人們采用非單調(diào)特征的回答集程序來表示Agent的知識，通過回答集程序的相互更新來實現(xiàn)協(xié)商。
　　雖然目前已經(jīng)有許多基于回答集程序的方法被提出來用于解決協(xié)商問題，但是這些方法或多或少都存在一定的局限性。這些研究并沒有充分考慮到協(xié)商的最優(yōu)解和協(xié)商過程的復(fù)雜性

2、之間的平衡問題。在基于回答集程序的協(xié)商方法中，回答集被當做協(xié)商參與者的初始化需求。但是，求解回答集的過程是一個NP完全問題，而回答集程序的良基模型在多項式時間內(nèi)是可以計算得到的。因此，本文利用良基語義，結(jié)合信念修正的思想對協(xié)商過程進行優(yōu)化，從而提出了一個基于良基語義的雙邊協(xié)商模型。該模型可以有效地縮短協(xié)商的過程，實現(xiàn)協(xié)商最優(yōu)解和協(xié)商過程復(fù)雜性之間的平衡。
　　本文提出了一個基于良基語義的雙邊協(xié)商模型。在本文中，首先，利用回答集程序

3、來表示協(xié)商參與者的所有知識。然后，通過計算協(xié)商雙方的良基模型來對協(xié)商需求進行劃分，將良基集和其它文字集的并集作為初始化需求，將無基集作為協(xié)商參與者不關(guān)心的需求。再次，通過優(yōu)先級排序規(guī)則對可協(xié)商的需求文字集進行降序排列。最后，利用交替提議協(xié)議來實現(xiàn)協(xié)商過程：兩個Agent從初始化協(xié)商需求開始進行修正，逐步地更新自身的需求，從而在可接受時間內(nèi)獲得一個較優(yōu)的協(xié)商交易，即為最終的協(xié)商交易。如果在協(xié)商的過程中存在多個可行的協(xié)商交易，則利用協(xié)商結(jié)果

4、的評價準則進行比較，保留優(yōu)先級更高的協(xié)商結(jié)果。
　　本文的工作主要包括以下三個方面：
　　(1)提出了文字和文字集的優(yōu)先級排序規(guī)則
　　協(xié)商中的每一個Agent通常都不只有一個需求（即文字）。毫無疑問，一個理性的Agent會優(yōu)先選擇擁有更高優(yōu)先級的文字。文字的優(yōu)先級直接關(guān)系到協(xié)商結(jié)果的好壞。因此，本文首先定義了文字之間的優(yōu)先級排序規(guī)則；然后以文字的排序規(guī)則為基礎(chǔ)，給出了文字集之間的優(yōu)先級排序規(guī)則。
　　(2)提出

5、了基于信念修正的協(xié)商決策模型
　　協(xié)商中Agent原始的信念集合可以通過良基語義劃分為三個部分：良基集、其它文字集和無基集。借鑒信念修正的思想，這三個部分可以依次看做是Agent的如下信念：Agent優(yōu)先保留的信念、Agent可保留的信念和Agent不關(guān)心的信念?；诖?，本文利用信念修正的思想，提出了一種基于信念修正的協(xié)商決策模型。
　　(3)提出了協(xié)商結(jié)果的評價準則
　　如果在協(xié)商雙方的提議過程中，提議能夠被對方接受