期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一阶逻辑中一类多线型标准矛盾体的结构
1
作者
曾丹
何星星
+1 位作者
李莹芳
李天瑞
《计算机科学》
2025年第12期200-208,共9页
自动推理是人工智能的重要研究领域,推理规则是影响其效率的关键因素。基于矛盾体分离的演绎推理是一种可靠且完备的推理规则,具有多文字、多子句协同和动态演绎等优势。矛盾体构造方法对演绎效率至关重要。基于此,提出基于命题逻辑一...
自动推理是人工智能的重要研究领域,推理规则是影响其效率的关键因素。基于矛盾体分离的演绎推理是一种可靠且完备的推理规则,具有多文字、多子句协同和动态演绎等优势。矛盾体构造方法对演绎效率至关重要。基于此,提出基于命题逻辑一类矛盾体结构——多线型标准矛盾体,给出此类矛盾体在不同情况下的复合策略,即利用两个多线型标准矛盾体生成新的标准矛盾体的条件与方法,并对复合性质上的共性结论和特性结论进行区分;指出通过向子句添加特定文字,多线型标准矛盾体可以转换为更多条线的标准矛盾体,并给出此类矛盾体的文字添加策略;设计在命题逻辑中生成多线型标准矛盾体的算法;给出双线型矛盾体及完全标准矛盾体基于一阶逻辑的结构与性质。
展开更多
关键词
命题逻辑
一阶逻辑
标准
矛盾体
多线型标准矛盾体
复合策略
文字添加策略
在线阅读
下载PDF
职称材料
题名
一阶逻辑中一类多线型标准矛盾体的结构
1
作者
曾丹
何星星
李莹芳
李天瑞
机构
西南交通大学数学学院
出处
《计算机科学》
2025年第12期200-208,共9页
基金
国家自然科学基金(12102369)
中央高校基本科研业务费专项资金(2682024ZTPY041)
+1 种基金
四川省科技计划项目(2024YFHZ031)
成都市科技项目(2023-RK00-00080-ZF)。
文摘
自动推理是人工智能的重要研究领域,推理规则是影响其效率的关键因素。基于矛盾体分离的演绎推理是一种可靠且完备的推理规则,具有多文字、多子句协同和动态演绎等优势。矛盾体构造方法对演绎效率至关重要。基于此,提出基于命题逻辑一类矛盾体结构——多线型标准矛盾体,给出此类矛盾体在不同情况下的复合策略,即利用两个多线型标准矛盾体生成新的标准矛盾体的条件与方法,并对复合性质上的共性结论和特性结论进行区分;指出通过向子句添加特定文字,多线型标准矛盾体可以转换为更多条线的标准矛盾体,并给出此类矛盾体的文字添加策略;设计在命题逻辑中生成多线型标准矛盾体的算法;给出双线型矛盾体及完全标准矛盾体基于一阶逻辑的结构与性质。
关键词
命题逻辑
一阶逻辑
标准
矛盾体
多线型标准矛盾体
复合策略
文字添加策略
Keywords
Propositional logic
First-order logic
Standard contradiction
Multi-lines standard contradiction
Composite strategy
Literals addition strategy
分类号
TP181 [自动化与计算机技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一阶逻辑中一类多线型标准矛盾体的结构
曾丹
何星星
李莹芳
李天瑞
《计算机科学》
2025
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
