智能控制第三章搜索推理技术.pptVIP

* (1) 假言推理 父辈子句 P ～P ∨Q (即 P = Q) 消解式 Q (2) 合并 ? 父辈子句 P ∨Q～P ∨Q 消解式 Q∨Q = Q (3) 重言式 父辈子句 P ∨ Q ～P ∨～Q P ∨～P 消解式 Q ∨ ～Q P ∨Q ～P ∨ ～Q (4) 空子句(矛盾) ～P  P NIL 第三十页，共六十二页，2022年，8月28日 * 含有变量的消解式 要把消解推理规则推广到含有变量的子句，必须找到一个作用于父辈子句的置换，使父辈子句含有互补文字。 含有变量的子句之消解式 例子 P[x,f(y)]∨Q(x)∨R[f(a),y] ～P[f (f(a)),z]∨R(z，w) Q [f (f(a))] ∨R(f(a)，y) ∨R(f(y)，w) σ ={f(f(a))/x,f(y)/z} 3.4 消解原理 第三十一页，共六十二页，2022年，8月28日 * 父辈子句 消解式 P和 ～P∨Q (即P?Q) Q P∨Q和 ～P∨Q Q P∨Q 和 ～P∨～Q Q∨～Q 和P∨～P ～P ∨ P NIL ～P∨Q 和 ～Q∨R (即P?Q 和 Q?R)