科研之友
微信
新浪微博
Facebook
分享链接
摘要
归结原理是自动推理中一种简洁、可靠且完备的推理规则，标准矛盾体分离演绎理论是二元归结的一个延拓。由于矛盾体的结构非常复杂、现有的矛盾体种类和生成策略较少，因此文中基于命题逻辑的标准矛盾体分离演绎理论，首先通过复合两个或多个正则标准矛盾体，得到了生成新矛盾体的多个复合策略。然后提出了一类特殊标准矛盾体结构——复合正则标准矛盾体，丰富了矛盾体的结构特征。接着讨论了复合得到的新矛盾体不同子句的可扩充性，进而得到相应的文字添加策略。最后，提出了矛盾体的生成算法，为进一步在计算机上实现新矛盾体的生成提供参考。
- 单位
