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