[发明专利]协商信任规则的冲突检测方法在审
| 申请号： | 201510785306.7 | 申请日： | 2015-11-16 |
| 公开（公告）号： | CN105469146A | 公开（公告）日： | 2016-04-06 |
| 发明（设计）人： | 夏冬梅 | 申请（专利权）人： | 上海电机学院 |
| 主分类号： | G06N5/04 | 分类号： | G06N5/04 |
| 代理公司： | 上海思微知识产权代理事务所(普通合伙) 31237 | 代理人： | 菅秀君 |
| 地址： | 200240 *** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种协商信任规则的冲突检测方法，包括：针对待证明真假的假定命题，构建第一真值假设命题和第二真值假设命题；其中，第一真值假设命题表示假定命题是正确的，第二真值假设命题表示假定命题是错误的；依据第一真值假设命题和第二真值假设命题构建标签二叉树，其中标签二叉树上的标签是真值假设命题；按照分解准则，逐步消去真值假设命题中的连接词，从而将标签二叉树分解成原子树；再根据原子树中是否存在矛盾路径来判断第一真值假设命题和第二真值假设命题的真假，从而得出命题的真假。 | ||
| 搜索关键词： | 协商 信任 规则 冲突 检测 方法 | ||
【主权项】：
一种协商信任规则的冲突检测方法，其特征在于包括：针对待证明真假的假定命题，构建第一真值假设命题和第二真值假设命题；其中，第一真值假设命题表示假定命题是正确的，第二真值假设命题表示假定命题是错误的；依据第一真值假设命题和第二真值假设命题构建标签二叉树，其中标签二叉树上的标签是真值假设命题；按照分解准则，逐步消去真值假设命题中的连接词，从而将标签二叉树分解成原子树；再根据原子树中是否存在矛盾路径来判断第一真值假设命题和第二真值假设命题的真假，从而得出命题的真假。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于上海电机学院，未经上海电机学院许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201510785306.7/，转载请声明来源钻瓜专利网。
- 上一篇：一种酒店管理方法
- 下一篇：一种心音小波神经网络的构造方法
