人工智能导论——第5章 第五章 谓词演算及应用 是一种形式语言,具有严密的理论体系 是一种常用的知识表示方法 –例: – City(北京) – City(上海) – Age(张三,23) – (x)( y)( z)(F(x, y)F(y, z)GF(x, z) 1 5.1 归结原理 归结原理是一种定理证明方法,1965年 由Robinson提出,从理论上解决...
计算机与互联网 > 人工智能 > 人工智能导论 第五版第5版 王万良 电子文件PDF 人工智能导论 第五版第5版 王万良 电子文件PDF 鹤洋隶图书专营店已退店 人工智能导论 第五版第5版 王万良 电子文件PDF 人工智能... 该商品已下柜,欢迎挑选其他商品!