西电人工智能13确定性推理part6.pptVIP

Artificial Intelligence (AI)人工智能 主讲：戚玉涛 内容提要 归结演绎推理 归结演绎推理 子句集及其化简 鲁滨逊归结原理 归结反演推理的归结策略 用归结反演求取问题的答案 鲁滨逊归结原理 鲁滨逊归结原理包括 命题逻辑的归结 谓词逻辑的归结 命题逻辑的归结 命题逻辑的归结反演：在命题逻辑中，已知F，证明G为真的归结反演过程如下： ①否定目标公式G，得﹁G; ②把﹁G并入到公式集F中，得到{F，﹁G}； ③把{F，﹁G}化为子句集S。 ④ 应用归结原理对子句集S中的子句进行归结，并把每次得到的归结式并入S中。如此反复进行，若出现空子句，则停止归结，此时就证明了G为真。 鲁滨逊归结原理 鲁滨逊归结原理包括 命题逻辑的归结 谓词逻辑的归结 谓词逻辑的归结 在谓词逻辑中，由于子句集中的谓词一般都含有变元，因此不能象命题逻辑那样直接消去互补文字。 对于谓词逻辑，需要先用一个最一般合一对变元进行置换，然后才能进行归结。 谓词逻辑的归结原理 设C1和C2是两个没有公共变元的子句，L1和L2分别是C1和C2中的文字。如果 σ 是L1和﹁ L2存在最一般合一，则称： C12=({C1σ}-{ L1σ})∪({ C2σ}-{ L2σ}) 为C1和C2的二元归结式，L1和L2为归结式上的文字。 谓词逻辑的归结 例：设C1=P(a)∨R(x)，