資源簡介

(共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萬，那么這樣的素數對有無窮多。
問：求解最大素數對(即 該素數對中包含最大素數對)這個問題是可計算的嗎
例題講解
[分析]目前無法通過計算來確定最大素數對。素數對問題是一個開放問題，即至今還沒有找到確定性的算法來生成所有的素數對，包括最大的素數對。目前已知的解決方法是使用啟發式算法和計算機搜索來找到較大范圍內的素數對，但無法確定是否能夠找到最大的素數對。
因此，求解最大素數對仍然是一個待解決的問題，無法通過計算得到確切的答案。
學習小結

展開更多......

收起↑