一阶逻辑中基于矛盾体分离的多元动态自动演绎推理方法

发明专利无效专利

申请号：
CN201710335855.3
IPC分类号：G06N5/04
申请日期：
2017-05-12
申请人：
西南交通大学

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一阶逻辑中基于矛盾体分离的多元动态自动演绎推理方法
申请号	CN201710335855.3	申请日期	2017-05-12
法律状态	驳回	申报国家	中国
公开/公告日	2018-11-23	公开/公告号	CN108875946A
优先权	暂无	优先权号	暂无
主分类号	G06N5/04 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06N 基于特定计算模型的计算机系统〔7〕 G06N5/00 利用基于知识的模式的计算机系统〔7〕 G06N5/04 推理方法或设备〔7〕	IPC分类号	G;0;6;N;5;/;0;4查看分类表>
申请人	西南交通大学	申请人地址	四川省成都市金牛区二环路北一段111号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	西南交通大学	当前权利人	西南交通大学
发明人	徐扬;钟小梅;刘军;何星星;陈树伟
代理机构	成都天嘉专利事务所（普通合伙）	代理人	蒋斯琪

摘要

本发明公开了一阶逻辑中基于矛盾体分离的多元动态自动演绎推理方法，该方法通过在一阶逻辑中的子句集S中寻找标准矛盾体，然后在子句集S中剩余的子句中删除出现在标准矛盾体中的文字，并将全部剩余文字进行析取形成矛盾体分离式，最后根据矛盾体分离式判定初始的子句集S的属性，最终直到得出判定结果，则停止演绎推理。本发明可将静态的、二元的归结演绎推理机制改进推广成为动态的、多元的基于矛盾体分离的演绎推理机制，可应用于系统可信性自动验证、定理机器证明等领域，具有多元性、动态性、并行性、协调性、导向性、灵活性、方便性等特点。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供