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