技術(shù)領(lǐng)域

本發(fā)明涉及通信領(lǐng)域，更具體地說(shuō)，本發(fā)明涉及一種協(xié)商信任規(guī)則邏輯性質(zhì)分析處理方法。

背景技術(shù)

傳統(tǒng)的信任協(xié)商中，信任規(guī)則由協(xié)商雙方制定后，就直接拿來(lái)組織協(xié)商。然而，雙方信任規(guī)則之間可能存在相互關(guān)系，并且信任規(guī)則本身也具有邏輯性質(zhì)。傳統(tǒng)的信任協(xié)商中，在協(xié)商前并無(wú)信任規(guī)則沖突檢測(cè)的過(guò)程，協(xié)商雙方依據(jù)各自制定好的協(xié)商信任規(guī)則直接組織協(xié)商。雖然研究者在沖突檢測(cè)方面做了較多的工作，例如2006年，有人試圖利用0-1表描述信任規(guī)則，但沒(méi)有提供相關(guān)的理論依據(jù)和深入研究。另外，2007年，2007年有人提出對(duì)信任規(guī)則進(jìn)行線(xiàn)性描述與分析，但這更多是出于理論上的研究，不易應(yīng)用實(shí)現(xiàn)。2008年有人從算法實(shí)施角度提出用矩陣形式描述信任規(guī)則，但無(wú)法根據(jù)應(yīng)用環(huán)境等需求進(jìn)行靈活的變化與擴(kuò)展。

總的來(lái)說(shuō)，這些描述、分析協(xié)商信任規(guī)則的方法沒(méi)有能在協(xié)商前對(duì)信任規(guī)則進(jìn)行分析，信任規(guī)則的相互關(guān)系、邏輯性質(zhì)沒(méi)有得到很好的利用，不能對(duì)協(xié)商過(guò)程的進(jìn)展以及信任的建立，乃至進(jìn)一步對(duì)信任規(guī)則的制定和完善都有很好的指導(dǎo)作用。

發(fā)明內(nèi)容

本發(fā)明所要解決的技術(shù)問(wèn)題是針對(duì)現(xiàn)有技術(shù)中存在上述缺陷，提供一種協(xié)商信任規(guī)則邏輯性質(zhì)分析處理方法，能夠利用命題邏輯對(duì)協(xié)商信任規(guī)則進(jìn)行一般地描述，對(duì)雙方協(xié)商信任規(guī)則進(jìn)行邏輯的等價(jià)、協(xié)調(diào)、可滿(mǎn)足等性質(zhì)的分析。

為了實(shí)現(xiàn)上述技術(shù)目的，根據(jù)本發(fā)明，提供了一種協(xié)商信任規(guī)則邏輯性質(zhì)分析處理方法，包括：如果信任協(xié)商的參與方分別與第一協(xié)商方和第二協(xié)商方進(jìn)行協(xié)商，且參與方和第一協(xié)商方之間的第一信任規(guī)則集與參與方和第二協(xié)商方之間的第二信任規(guī)則集是語(yǔ)法等價(jià)的，則將參與方和第一協(xié)商方之間的協(xié)商以及參與方和第二協(xié)商方之間的協(xié)商處理為可相互推導(dǎo)的。

優(yōu)選地，所述語(yǔ)法等價(jià)指的是，如果第一信任規(guī)則和第二信任規(guī)則在利用邏輯推演準(zhǔn)則進(jìn)行推導(dǎo)后能相互得到，則第一信任規(guī)則和第二信任規(guī)則是語(yǔ)法等價(jià)的。

優(yōu)選地，如果參與方分別與第一協(xié)商方和第二協(xié)商方進(jìn)行協(xié)商，且由參與方和第二協(xié)商方間的信任規(guī)則集能夠語(yǔ)義推導(dǎo)出參與方和第一協(xié)商方間的信任規(guī)則集，則在參與方和第二協(xié)商方間的協(xié)商結(jié)果成功的情況下，則判斷參與方和第一協(xié)商方間的信協(xié)商的結(jié)果也是成功的。

優(yōu)選地，如果協(xié)商的參與方的任意兩個(gè)信任規(guī)則之間都不是矛盾公式，則判斷參與方的信任規(guī)則集是邏輯協(xié)調(diào)的。

優(yōu)選地，如果協(xié)商的參與方的任意一個(gè)信任規(guī)則與一個(gè)協(xié)商方的任意一個(gè)信任規(guī)則之間都不是矛盾公式，則判斷參與方與協(xié)商方的信任規(guī)則集是邏輯協(xié)調(diào)的。

優(yōu)選地，如果協(xié)商的參與方與一個(gè)協(xié)商方的信任規(guī)則集是不協(xié)調(diào)的，則按照這些不協(xié)調(diào)的信任規(guī)則進(jìn)行協(xié)商的協(xié)商過(guò)程失敗終止。

優(yōu)選地，在信任協(xié)商單方的信任協(xié)商規(guī)則集中，如果信任達(dá)成規(guī)則可滿(mǎn)足，則判斷信任協(xié)商單方在信任協(xié)商期間，至少存在著一條證書(shū)提交序列使得協(xié)商成功。

優(yōu)選地，對(duì)于信任協(xié)商雙方，在雙方信任協(xié)商規(guī)則集中，如果信任協(xié)商雙方中的一方的信任達(dá)成規(guī)則可滿(mǎn)足，信任協(xié)商雙方中的另一方的信任達(dá)成規(guī)則也可滿(mǎn)足，則判斷在信任協(xié)商雙方的信任協(xié)商期間，至少存在著一條信任交互序列得雙方協(xié)商成功。

本發(fā)明利用命題邏輯對(duì)協(xié)商信任規(guī)則進(jìn)行描述，對(duì)協(xié)商信任規(guī)則進(jìn)行等價(jià)、協(xié)調(diào)、可滿(mǎn)足等邏輯性質(zhì)的分析，從而在自動(dòng)信任協(xié)商中，可以使得一些存在問(wèn)題的協(xié)商適時(shí)終止，使得可能成功的協(xié)商持續(xù)交互和進(jìn)展，保護(hù)各方隱私的前提下，有效地解決信任關(guān)系建立的問(wèn)題。

附圖說(shuō)明

結(jié)合附圖，并通過(guò)參考下面的詳細(xì)描述，將會(huì)更容易地對(duì)本發(fā)明有更完整的理解并且更容易地理解其伴隨的優(yōu)點(diǎn)和特征，其中：

圖1示意性地示出了根據(jù)本發(fā)明優(yōu)選實(shí)施例的協(xié)商信任規(guī)則邏輯性質(zhì)分析處理方法的流程圖。

需要說(shuō)明的是，附圖用于說(shuō)明本發(fā)明，而非限制本發(fā)明。注意，表示結(jié)構(gòu)的附圖可能并非按比例繪制。并且，附圖中，相同或者類(lèi)似的元件標(biāo)有相同或者類(lèi)似的標(biāo)號(hào)。

具體實(shí)施方式

為了使本發(fā)明的內(nèi)容更加清楚和易懂，下面結(jié)合具體實(shí)施例和附圖對(duì)本發(fā)明的內(nèi)容進(jìn)行詳細(xì)描述。

為了便于理解，下面首先介紹信任規(guī)則邏輯描述的基本語(yǔ)法結(jié)構(gòu)。

信任規(guī)則中涉及的語(yǔ)法符號(hào)有：

命題變量：s,c₁,c₂,…,c_n，其中s表示相應(yīng)的資源，c_i表示證書(shū)。特別有時(shí)s也可以看成是一個(gè)證書(shū)。

命題常量：true、false，分別表示證書(shū)可以無(wú)條件披露或永遠(yuǎn)不能披露。