资源简介

(共17张PPT)
1.1 人工智能的起源
1
2
3
古代智能思想探究
逻辑与推理
可计算思想的产生
备用：深度学习：人工智能 展望与挑战
未来的深度学习
人工智能是以机器为载体所实现的生物智能( 如鸟类或鱼类等所具备的能力 )或人类智能。人是生物分类学上的智人 ( Homo sapiens，来源于拉丁语，意思是“wise man”，即“有智慧的人”)，是一种灵长目人科人属的直立行走物种。
一般而言，人类智能具有非常广泛的内涵，如联想、顿悟、判断、决策等。
人工智能，英文缩写为AI。它是研究、开发用于模拟、延伸和扩展人的智能的理论、方法、技术及应用系统的一门新的技术科学。
1.古代智能思想探究
《论语·子罕》：”知者不惑，仁者不忧，勇者不惧。”
“智能”定义：《荀子·正名》：所以知之在人者谓之知。知有所合谓之智。智所以能之在人者谓之能。能有所合谓之能。
《孙子兵法》：孙子说：“将者，智、信、仁、勇、严也。”即 ”智能发谋，信能赏罚，仁能附众，勇能果断，严能立威。”
---文字参考浙教版《人工智能初步》P5页
1.古代智能思想探究
《道德经》
智能内涵：从思辨和抽象角度
3000多年前，有为周穆王献舞的机器演员；
1800多年前，诸葛亮发明的不劳人力就可运输10万大军粮草的木牛流马；
1300多年前，专供唐朝皇后梳妆打扮的自动梳妆台；采用精妙的机械原理来指示方向的指南。
1.古代智能思想探究
古今中外的哲人都从道德、心智、认知等角度来讨论智能，但与智能能力模拟还相去甚远。
1.古代智能思想探究
智能行为大致分类
推理是进行思维模拟的基本形式之一，是从一个或几个已知的判断(前提 )推出新判断(结论 )的过程。三段论的原则是大前提正确，小前提正确，则结论是正确的。
所有的恒星都是气态星体 ( 大前提 )
太阳是恒星 ( 小前提 )
太阳是气态星体 ( 结论 )
所有心学学派人士都主张“知行合一”（大前提）
王阳明是心学学派人士（小前提）
王阳明主张“知行合一”（结论）
1
2
√
√
演绎“三段论”
2. 逻辑与推理
推理是进行思维模拟的基本形式之一，是从一个或几个已知的判断(前提 )推出新判断(结论 )的过程。三段论的原则是大前提正确，小前提正确，则结论是正确的。
所有的鸟都会飞 ( 错误大前提 )
鸵鸟是鸟 ( 小前提 )
鸵鸟会飞 ( 错误结论 )
中国的大学是分布于全国各地的 ( 大前提 )
浙江大学是中国的大学 (小前提 )
浙江大学是分布于全国各地的 ( 错误结论 )
3
4
×
×
演绎“三段论”
2. 逻辑与推理
2.逻辑与推理：人工智能研究
推理：思维模拟的基本形式之一，从一个或几个已知的判读（前提）推出新判断（结论）的过程。
《墨辩·经说上》：“小故，有之不必然，无之必不然。”
“大故，有之必然，无之必不然”
小故: 墨辩逻辑用语, 指必要条件
大故：与充要条件非常相似
推理逻辑：是一种自然语言逻辑，它强调的是自然语言和推理的运用。
在推理逻辑中，推理是通过自然语言的语义和语境来实现的，这些语义和语境必须遵循一定的规则和推理方法。
推理的过程是灵活的。
2. 逻辑与推理
区分：形式逻辑和推理逻辑
形式逻辑:是一种符号逻辑，它强调的是符号和公式的运用。在形式逻辑中，每个符号和公式都代表着一个确定的含义和概念。
推理是通过符号和公式的变换来实现的，这些变换必须遵循一定的规则和公式。
推理的过程是机械的。
3.可计算思想产生
3.可计算思想产生
图灵机(Turing Machine)是指一个抽象的计算模型,是一种离散的、有穷的、构造性的问题求解思路,一个问题的求解可以通过构造器图灵机来解决。
3.可计算思想产生
---图片出处：浙教版《人工智能初步》P8页
一个问题若能被图灵机经过有限步骤处理而停机，则该问题是可计算的。
图灵机、原始递归函数和Lambda演算三者功能是等效的。
3.可计算思想产生
15
图灵机就是指一个抽象的机器，它有一条无限长的纸带，纸带分成了一个一个的小方格，每个方格有不同的颜色。
3.可计算思想产生
图灵机产生
孪生素数是指取值相差为2的素数对，如3和5、17和19。华裔数学家张益唐证明了存在无穷多个差小于7000万的素数对。也就是说，如果两个素数之 间的差值小于7000万，那么这样的素数对有无穷多。
问：求解最大素数对(即 该素数对中包含最大素数对)这个问题是可计算的吗
例题讲解
[分析]目前无法通过计算来确定最大素数对。素数对问题是一个开放问题，即至今还没有找到确定性的算法来生成所有的素数对，包括最大的素数对。目前已知的解决方法是使用启发式算法和计算机搜索来找到较大范围内的素数对，但无法确定是否能够找到最大的素数对。
因此，求解最大素数对仍然是一个待解决的问题，无法通过计算得到确切的答案。
学习小结

展开更多......

收起↑