人工智能导论-确定性推理之消解反演

人工智能导论，举一些消解反演的例子，分析消解反演的步骤。由于公式的表示较为麻烦，这里全部手写，字丑见谅。

例题分析

  注意答题的时候分四步

1. 定义谓词
2. 谓词公式
3. 子句集
   把谓词公式化成子句集的步骤:
   • 消去—>，公式：P—>Q转化为~P∨Q
   • 利用等价关系把“~”移到紧靠谓词的位置上
     
   • 对变量标准化，使不同量词约束的变元有不同的名字
   • 消去存在量词
     
     
   • 化为前束形，提取全称量词，全部移到公式的最左边
   • 利用等价关系 P∨(Q∧R) ⇔(P∨Q) ∧ (P∨R) 把母式化为合取范式。
   • 消去全称量词

   • 对变元更名，使不同子句中的变元不同名

   • 消去合取词，得到子句集

   • (注意NIL不要写成NULL)

4. 归结

注意：存在后面不能够跟蕴含！用析取！例如：有些男生不爱踢足球，不能用(∃x)(Boy(x)—>~Play(x,football))，要用(∃x) (Boy(x)∧~Play(x,football))。