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

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

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

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

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

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