人工智能导论 课件 3. 知识表示与推理.pdf

人工智能导论 课件 3. 知识表示与推理.pdf

知识表示与推理

引入

国际象棋算法的搜索树围棋算法的搜索树

引入

对抗高水平的玩家中,则实现了97.7%的胜率(642,047局)

引言

•启发式算法是智能,还有哪些是智能呢?

•人类的智能还体现在推理证明……

引入

•1957年,Newell,Simon的小组,数学定理证明程序,证明了《数

学原理》书中第二章中的38个定理(1963年,全部52个)

•1960年,纽厄尔研制出解10种类型课题的通用

文档评论(0)

1亿VIP精品文档

相关文档