[发明专利]协商信任规则的冲突检测方法

权利要求书

1.一种协商信任规则的冲突检测方法，其特征在于包括：针对待证明真假 的假定命题，构建第一真值假设命题和第二真值假设命题；其中，第一真值假 设命题表示假定命题是正确的，第二真值假设命题表示假定命题是错误的；依 据第一真值假设命题和第二真值假设命题构建标签二叉树，其中标签二叉树上 的标签是真值假设命题；按照分解准则，逐步消去真值假设命题中的连接词， 从而将标签二叉树分解成原子树；再根据原子树中是否存在矛盾路径来判断第 一真值假设命题和第二真值假设命题的真假，从而得出命题的真假。

2.根据权利要求1所述的协商信任规则的冲突检测方法，其特征在于包括：

将信任规则描述对属性证书进行交、并、非组合运算的函数；

以第一真值假设命题为根，依据分解准则将其分解成原子树，在所有从叶 子节点到根节点的路径都是矛盾路径的情况下，判断所述信任规则是可推导矛 盾冲突的信任规则；

以第二真值假设命题为根，依据分解准则将其分解成原子树，在所有从叶 子节点到根节点的路径都是矛盾路径的情况下，判断所述信任规则是可推导永 真的信任规则。