-
题名命题逻辑中一类正则标准矛盾体的构造与复合
- 1
-
-
作者
臧珲
何星星
王成龙
李莹芳
李天瑞
-
机构
西南交通大学数学学院
西南财经大学计算机与人工智能学院
西南交通大学计算机与人工智能学院
-
出处
《计算机科学》
CSCD
北大核心
2024年第1期295-300,共6页
-
基金
中央高校基本科研业务费专项资金(2682020ZT107)
国家自然科学基金(62106206)
+1 种基金
教育部人文社科项目(19YJCZH048,20XJCZH016)
四川省科技计划(2023YFH0066)。
-
文摘
归结原理是自动推理中一种简洁、可靠且完备的推理规则,标准矛盾体分离演绎理论是二元归结的一个延拓。矛盾体的结构非常复杂,现有的矛盾体种类和生成策略较少。针对该问题,文中基于命题逻辑的标准矛盾体分离演绎理论,首先通过复合两个或多个正则标准矛盾体,得到了生成新矛盾体的多个复合策略;其次,提出了一类特殊标准矛盾体结构——复合正则标准矛盾体,丰富了矛盾体的结构特征;然后讨论了复合得到的新矛盾体不同子句的可扩充性,进而得到相应的文字添加策略;最后,提出了矛盾体的生成算法,为进一步在计算机上实现新矛盾体的生成提供了参考。
-
关键词
命题逻辑
标准矛盾体
复合正则标准矛盾体
复合策略
文字添加策略
-
Keywords
Propositional logic
Standard contradiction
Composite regular standard contradiction
Composite strategy
Literals adding strategy
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名一阶逻辑中一类多线型标准矛盾体的结构
- 2
-
-
作者
曾丹
何星星
李莹芳
李天瑞
-
机构
西南交通大学数学学院
-
出处
《计算机科学》
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
[自动化与计算机技术]
-
