人工智能chapter4章节.pptVIP

附加过程 可以用来扩展归结推理过程。 可以用来化简子句，{P, Q, ?R}，若已知?R为真。则确定这个子句永真。 永真子句可以从子句集中删掉。 永假文字可以从子句中删掉。 §4.5 Unsatisfactory 归结推理最简单的应用就是验证不可满足性。如果一个子句集是不可满足的，则总可以通过归结从该子句集推导出矛盾，即空子句。 利用归结推理也可以验证逻辑蕴涵。 ? |= ? ? ? ? ，根据反演定理，只需证明??{??}不一致，即不可满足。 步骤：（1） 将?? 加入到?中，得到?’；（2）将?’转换成子句型；（3）对子句型进行归结，若得到空子句，则?’不可满足，即? |= ? 。该过程称为归结反演推理。 模型的视角 如果? |= ? ，则?的所有模型都是?的模型。因此，这些模型里没有??的模型。因此??{??} 不可满足。 反之，假设??{??} 不可满足，而?可满足。令I是满足?的一个解释，I不可满足??。因此， I满足?。因为I是任意的，所以所有满足?的解释都可满足I，因此?的模型都是?的模型，即? |= ?。 4.6 True-of-False Questions 1.{F(Art, Jon)} ? 2.{F(Bob, Kim)} ? 3{?F(x, y), P(x, y)} ? 4.{?P(Art, Jon)} ? 5.{P(Art, Jon)} 1,3 6.{P(Bob, Kim)} 2,3 7.{?F(Art, Jon)} 3,4 8.{} 4,5 9.{} 1,7 重言式的证明 F(Art, Jon) ? ? F(Art, Jon) 4.7 Fill-in-the Blank Questions 要回答谁是Jon的父母 引入自由变量x P(x, Jon) 目标是推出x是什么 为要回答的?引入answer文字 Ans(?1, ..., ?n)，?1, ..., ?n是?中的自由变量 ?x P(x, Jon) ? Ans(x) 化为子句型，加入前提进行归结 4.7 Fill-in-the Blank Questions 1.{F(Art, Jon)} ? 2.{F(Bob, Kim)} ? 3{?F(x, y), P(x, y)} ? 4.{?P(z, Jon), Ans(z)} ? 5.{P(Art, Jon)} 1,3 6.{P(Bob, Kim)} 2,3 7.{?F(w, Jon), Ans(w)} 3,4 8.{Ans(Art)} 4,5 9.{Ans(Art)} 1,7 4.7 Fill-in-the Blank Questions 1.{F(Art, Jon)} ? 2.{M(Ann, Jon)} ? 3.{?F(x, y), P(x, y)} ? 4.{?M(u, v), P(u, v)} ? 5.{?P(z, Jon), Ans(z)} ? 6.{P(Art, Jon)} 1,3 7.{P(Ann, Jon)} 2,4 8.{?F(s, Jon), Ans(s)} 3,5 9.{?M(t, Jon), Ans(t)} 4,5 10.{Ans(Art)} 5,6 11.{Ans(Ann)} 5,7 12.{Ans(Art)} 1,8 13.{Ans(Ann)} 2,9 The disadvantage of Resolution Don’t know when will the resolution stop. Due to the undecidatilty of logical implication, we can never know whether we have found all the possible answers. In some cases the final clause may be include more answer literal. 4.7 Fill-in-the Blank Questions 1.{F(Art, Jon), F(Bob, Jon)} ? 2.{?F(x, Jon), Ans(x)} ? 3.{F(Bob, Jon), Ans(Art)} 1,2 4.{Ans(Art), Ans(Bob)} 2,3 作业 P92-P93：第1、2、5题 * * * * * * * Chapter 4: * ? School of CIT, Beijing JiaoTong University Chapter 4. Resolution §4.1 Clausal Form §4.2 Unification §4.3