人工智能概述-AI.pdf

人工智能：模型与算法 人工智能概述 吴飞 浙江大学计算机学院 提纲 1、可计算思想起源与发展 2 、人工智能历史发展 3 、人工智能研究基本内容 古代哲人对智能的思考 智能发谋 知 （通智）者不惑 恻隐之心，仁之端也 信能赏罚 羞恶之心，义之端也 仁能服众 仁者不忧 辞让之心，礼之端也 勇者不惧 是非之心，智之端也 勇能果断 严能立威 五德皆备，然后可以为大将 孔子 孟子 （公元前551年―公元前479年） 公元前372年-公元前289年 孙武 （约公元前545年—约公元前470年） 荀子的智能观： 《荀子. 正名》 知觉：人所固有认识外界客 知之在人者谓 观事物本能，如视觉、听觉 之知 和触觉等能力 知有所合谓之 智慧：知觉对外界事物的认 智 知 所以能之在人 本能：人身上所具用来处置 者为之能 事物能力 荀子 战国末期赵国人 能有所合谓之 智能：对外界所产生的认知 能 和决策 (约公元前313年－公元前238年) 从感知、到理解、到认知、到决策与行动 计算的诞生：从手工计算到自动计算 上古结绳而治，后世圣人易之以 书契，百官以治，万民以察。 —— 《周易·系辞》 可计算思想：从可计算到不可计算 20世纪初，人们发现有许多问题无法找到解决的方法。于是开始怀疑，是否对这些问 题来说，根本就不存在算法，即不可计算。 从费马猜想到 费马定理 费马：法国业余数学家 （1601-1665） 新一代人工智能发展规划 人工智能：以机器为载体的人类智能或生物智能 工欲善其事，必先利其器：智能之器从何而来 问题2 ：证明算术公理的相容性 (the compatibility of the arithmetical axioms)  完备性 ：所有能够从该形式化系统推导出来的 命题 ，都可以从这个形式化系统推导出来。  一致性 ：一个命题不可能同时为真或为假  可判定性 ：算法在有限步内判定命题的真伪 如何证明（计算）这 David Hilbert (1862-19