|
|||||
|
|
| 命题逻辑中一种矛盾体生成新方法 | |
| 引用本文： | 黎兴玉,何星星,马雪,李莹芳.命题逻辑中一种矛盾体生成新方法[J].计算机工程与科学,2023(6):1134-1140. |
| 作者姓名： | 黎兴玉 何星星 马雪 李莹芳 |
| 作者单位： | 1. 西南交通大学数学学院;2. 西南财经大学计算机与人工智能学院 |
| 基金项目： | 国家自然科学基金(62106206)；;教育部人文社科项目(19YJCZH048,20XJCZH016)；;中央高校基本科研业务费专项资金(2682020ZT107)； |
| 摘 要： | 人工智能是用计算机来模拟人的某些思维过程和智能行为的学科。自动推理中的归结原理是一种简洁、可靠且完备的推理规则。矛盾体的动态多子句协同演绎理论不仅是归结原理的重要延拓，而且具有较高的推理演绎效率。由于矛盾体的结构复杂、生成策略较少，因此在矛盾体的动态演绎可靠性和完备性的基础上，提出复合2个或多个矛盾体的部分子句的不同策略，为矛盾体的构造提供了一种有效的方法。 |
| 关 键 词： | 命题逻辑 矛盾体 矛盾体的复合性质 不可满足性 |