1.一種協商信任規則邏輯性質分析處理方法，其特征在于包括：

如果信任協商的參與方分別與第一協商方和第二協商方進行協商，且參與方和第一協商方之間的第一信任規則集與參與方和第二協商方之間的第二信任規則集是語法等價的，則將參與方和第一協商方之間的協商以及參與方和第二協商方之間的協商處理為可相互推導的。

2.根據權利要求1所述的協商信任規則邏輯性質分析處理方法，其特征在于，所述語法等價指的是，如果第一信任規則和第二信任規則在利用邏輯推演準則進行推導后能相互得到，則第一信任規則和第二信任規則是語法等價的。

3.根據權利要求1或2所述的協商信任規則邏輯性質分析處理方法，其特征在于還包括：如果參與方分別與第一協商方和第二協商方進行協商，且由參與方和第二協商方間的信任規則集能夠語義推導出參與方和第一協商方間的信任規則集，則在參與方和第二協商方間的協商結果成功的情況下，則判斷參與方和第一協商方間的信協商的結果也是成功的。

4.根據權利要求1或2所述的協商信任規則邏輯性質分析處理方法，其特征在于還包括：如果協商的參與方的任意兩個信任規則之間都不是矛盾公式，則判斷參與方的信任規則集是邏輯協調的。

5.根據權利要求1或2所述的協商信任規則邏輯性質分析處理方法，其特征在于還包括：如果協商的參與方的任意一個信任規則與一個協商方的任意一個信任規則之間都不是矛盾公式，則判斷參與方與協商方的信任規則集是邏輯協調的。

6.根據權利要求1或2所述的協商信任規則邏輯性質分析處理方法，其特征在于還包括：如果協商的參與方與一個協商方的信任規則集是不協調的，則按照這些不協調的信任規則進行協商的協商過程失敗終止。

7.根據權利要求1或2所述的協商信任規則邏輯性質分析處理方法，其特征在于還包括：在信任協商單方的信任協商規則集中，如果信任達成規則可滿足，則判斷信任協商單方在信任協商期間，至少存在著一條證書提交序列使得協商成功。

8.根據權利要求1或2所述的協商信任規則邏輯性質分析處理方法，其特征在于還包括：對于信任協商雙方，在雙方信任協商規則集中，如果信任協商雙方中的一方的信任達成規則可滿足，信任協商雙方中的另一方的信任達成規則也可滿足，則判斷在信任協商雙方的信任協商期間，至少存在著一條信任交互序列得雙方協商成功。