子句集中子句之间是合取关系，只要有一个子句不可满足， 则子句集就不可满足。鲁宾逊归结原理（消解原理）的基本思想：检查子句集 S 中是否包含空子句，若包含，则 S 不可满足。若不包含，在 S 中选择合适的子句进行归结，一旦归结出空子句，就说明 S 是不可满足的。1. 命题逻辑中的归结原理（基子句的归结）定义3.1（归结）：设C1与C2是子句集中的任意两个子句，如果 C1中的文字L1与 C2中的文字L2互补，那么从C1和 C2中分别消去L1和L2，并将二个子句中余下的部分析取，构成一个新子句C12
努力学习人工智能
2023-09-07
54 点赞
0 评论
81 浏览
