[发明专利]命题逻辑中基于最大矛盾体判定公式属性的方法在审
| 申请号： | 201710335861.9 | 申请日： | 2017-05-12 |
| 公开（公告）号： | CN108875948A | 公开（公告）日： | 2018-11-23 |
| 发明（设计）人： | 徐扬;钟小梅;陈树伟;何星星;刘军 | 申请（专利权）人： | 西南交通大学 |
| 主分类号： | G06N5/04 | 分类号： | G06N5/04 |
| 代理公司： | 成都天嘉专利事务所(普通合伙) 51211 | 代理人： | 蒋斯琪 |
| 地址： | 610031 四川省*** | 国省代码： | 四川;51 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了命题逻辑中基于最大矛盾体判定公式属性的方法，其步骤为：首先，利用子句集S中出现的全部命题变元构造最大矛盾体，然后在最大矛盾体中寻找满足一定条件的子句D，最后根据子句D判定子句集S的属性；本发明在基于矛盾体分离的多元动态自动演绎推理理论基础上，给出了一种利用最大矛盾体判定命题逻辑子句集属性的方法，且该方法在判定子句集为可满足的同时给出了一个满足该子句集的解释。 | ||
| 搜索关键词： | 矛盾体 判定 命题逻辑 公式属性 理论基础 命题变元 | ||
【主权项】：
1.命题逻辑中基于最大矛盾体判定公式属性的方法，其特征在于包括如下步骤：对于命题逻辑中的子句集S＝{C1，…，Ci，…，Cn}，即S＝C1∧…∧Ci∧…∧Cn，所述Ci为子句，其中i＝1，2，…，n；第一步，根据子句集S中出现的全部命题变元构造最大矛盾体；第二步，在最大矛盾体中找出子句D，使得对S中的任意子句Ci，Ci中至少有一个文字不出现在D中；第三步，判定子句集S的属性：若所述子句D存在，则子句集S是可满足的，方法停止，否则，子句集S是不可满足的，方法停止。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于西南交通大学，未经西南交通大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710335861.9/，转载请声明来源钻瓜专利网。
