协商信任规则的冲突检测方法

摘要

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