命题逻辑中一类正则标准矛盾体的构造与复合 |
| |
作者姓名: | 臧珲 何星星 王成龙 李莹芳 李天瑞 |
| |
作者单位: | 1. 西南交通大学数学学院;2. 西南财经大学计算机与人工智能学院;3. 西南交通大学计算机与人工智能学院 |
| |
基金项目: | 中央高校基本科研业务费专项资金(2682020ZT107);;国家自然科学基金(62106206);;教育部人文社科项目(19YJCZH048,20XJCZH016);;四川省科技计划(2023YFH0066)~~; |
| |
摘 要: | 归结原理是自动推理中一种简洁、可靠且完备的推理规则,标准矛盾体分离演绎理论是二元归结的一个延拓。矛盾体的结构非常复杂,现有的矛盾体种类和生成策略较少。针对该问题,文中基于命题逻辑的标准矛盾体分离演绎理论,首先通过复合两个或多个正则标准矛盾体,得到了生成新矛盾体的多个复合策略;其次,提出了一类特殊标准矛盾体结构——复合正则标准矛盾体,丰富了矛盾体的结构特征;然后讨论了复合得到的新矛盾体不同子句的可扩充性,进而得到相应的文字添加策略;最后,提出了矛盾体的生成算法,为进一步在计算机上实现新矛盾体的生成提供了参考。
|
关 键 词: | 命题逻辑 标准矛盾体 复合正则标准矛盾体 复合策略 文字添加策略 |
|