-
题名命题逻辑中一类正则标准矛盾体的构造与复合
- 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
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于命题逻辑的完全标准矛盾体及最小标准矛盾体
被引量：3
- 2
-
-
作者
唐雷明
白沐尘
何星星
黎兴玉
-
机构
西南交通大学数学学院
上海奈胜自动化有限公司
-
出处
《计算机科学》
CSCD
北大核心
2020年第S02期83-85,105,共4页
-
基金
国家自然科学基金项目(61603307,61673320,61473239)
教育部人文社科项目(19YJCZH048,20XJCZH016)
+1 种基金
中央高校基本科研业务费专项资金(JBK2003006)
四川省科技计划项目(2020YFG0045,2020YFG0238)。
-
文摘
归结是自动推理中简洁、可靠且完备的推理规则。标准矛盾体分离规则是归结原理的一个重要延拓。基于命题逻辑的标准矛盾体分离演绎推理,对标准矛盾体的性质进行进一步研究,提出了两类特殊标准矛盾体——完全标准矛盾体和最小标准矛盾体,得到了相应的性质和定理。这些性质定理主要描述了:1)各类标准矛盾体的本质特征;2)完全标准矛盾体中添加子句后另添加文字的策略及子句非扩充性的变化规律;3)完全标准矛盾体添加子句及相关文字后,其最小标准矛盾体呈现出的规律;4)最小标准矛盾体可扩充为完全标准矛盾体。这些结论使完全标准矛盾体与最小标准矛盾体能通过添加新子句或相关文字完成互相转换。这一性质为标准矛盾体演绎理论进一步应用于计算机求解提供了一定的理论支撑。
-
关键词
标准矛盾体
命题逻辑
完全标准矛盾体
最小标准矛盾体
-
Keywords
Contradiction
Propositional logic
Complete contradiction
Smallest contradiction
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名命题逻辑中文字块矛盾型及子句正则矛盾体
- 3
-
-
作者
王成龙
何星星
臧珲
李莹芳
王丹琛
李天瑞
-
机构
西南交通大学数学学院
西南财经大学计算机与人工智能学院
四川省数字经济研究中心
西南交通大学计算机与人工智能学院
-
出处
《计算机科学》
CSCD
北大核心
2024年第7期272-277,共6页
-
基金
中央高校基本科研业务费专项资金(2682020ZT107)
国家自然科学基金(62106206)
+1 种基金
教育部人文社科项目(19YJCZH048,20XJCZH016)
四川省科技计划(2023YFH0066)。
-
文摘
归结原理是自动推理中一种简洁、可靠且完备的推理规则。基于矛盾体分离的自动演绎理论是归结原理的延伸,矛盾体是该理论的核心部分。由于矛盾体结构复杂且生成策略较少,因此文中提出了一种新的生成矛盾体的策略,即利用多个标准矛盾体生成文字块矛盾型,再通过添加互补矛盾集得到新的矛盾体。重点讨论了具有特殊结构的文字块矛盾型生成的矛盾体,即子句正则矛盾体的性质,这些性质说明了具有特定结构的子句正则矛盾体添加子句后仍然是矛盾体。最后,提出了矛盾体的生成算法,为在计算机上实现新的矛盾体的生成提供参考。
-
关键词
标准矛盾体
命题逻辑
文字块矛盾型
子句正则矛盾体
-
Keywords
Standard contradiction
Propositional logic
Literal chunk contradiction
Clause regular contradiction
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
