人工智能导论——第5章 第五章 谓词演算及应用 是一种形式语言,具有严密的理论体系 是一种常用的知识表示方法 –例: – City(北京) – City(上海) – Age(张三,23) – (x)( y)( z)(F(x, y)F(y, z)GF(x, z) 1 5.1 归结原理 归结原理是一种定理证明方法,1965年 由Robinson提出,从理论上解决...