第四章 正反向推理

• 文字（正负原子公式）、子句（析取）、Horn子句
• 置换、置换乘积、合一、最一般合一置换（mgu）、分歧集

• 算法1：合一算法UNIFY（mgu生成算法）

  • 例：求W={P(a, x, f(g(y))), P(z, f(a), f(u))}的mgu，求W={P(x, x), P(x, f(x))}的mgu

• 算法2：正向推理方法—前向链接算法

  • 例：美国法律规定，美国人(American)卖武器(weapon) 给敌对国家(hostile)是犯罪的(criminal)；美国的敌国Nono有一些 导弹(missile)，所有这些导弹是West上校卖给他们的，而West上 校是一个美国人。试证明：West是犯罪的，即Criminal(West)
• 算法3：反向推理方法—反向链接算法
  • 例：同上