命题逻辑中一种矛盾体生成新方法

来源：计算机工程与科学杂志2023年第6期北京时间：

作者：黎兴玉, 何星星, 马雪, 李莹芳

单位：（1．西南交通大学数学学院，四川 成都 610031；2.西南财经大学计算机与人工智能学院,四川 成都 611130）

摘要：人工智能是用计算机来模拟人的某些思维过程和智能行为的学科。自动推理中的归结原理是一种简洁、可靠且完备的推理规则。矛盾体的动态多子句协同演绎理论不仅是归结原理的重要延拓，而且具有较高的推理演绎效率。由于矛盾体的结构复杂、生成策略较少，因此在矛盾体的动态演绎可靠性和完备性的基础上，提出复合2个或多个矛盾体的部分子句的不同策略，为矛盾体的构造提供了一种有效的方法。

关键词：命题逻辑,矛盾体,矛盾体的复合性质,不可满足性,

基金资助：国家自然科学基金(62106206);教育部人文社科项目(19YJCZH048,20XJCZH016)；中央高校基本科研业务费专项资金(2682020ZT107)