经典人工智能技术—知识表示推理与搜索.pptVIP

智能科学与技术系 什么叫消解 例 1 ： 小王说他下午或者去图书馆或者在家休息 小王没去图书馆 R — 小王下午去图书馆 S — 小王下午在家休息 R ? S ﹁ R ? S 例 2 ： 如果今天不下雨，我就去你家 ﹁ P→Q 今天没有下雨 ﹁ P ? P ? Q 智能科学与技术系 含变量的消解 例：苏格拉底论断 凡人都会死 . ? x (Man ( x ) ? Mortal ( x )) 苏格拉底是人 . Man (Socrates) 如何得到结论：苏格拉底会死 . Mortal(Socrates) 要完成消解还面临几个问题 “ ? ”和“ ? ”必须消去 Man ( x ) ? Mortal ( x ) ?? Man ( x ) ? Mortal “ ? ”怎么办？ 化为子句集 置换与合一 如果能消去“ ? ”， ? Man ( x ) 和 Man (Socrates) 也不能构成互补对，形式不一样， 怎么办？ 智能科学与技术系 置换与合一 要把消解推理规则推广到含有变量的子句，必 须找到一个作用于亲本子句的置换，使亲本子 句含有互补文字 置换（ Substitution ） 置换是形为 {t 1 / x 1 , t 2 / x 2 , ..., t n / x n } 的一个有限集 x i 是互不相同的变元， t i 是项 用 t i 代换 x i ，不允许 t i