130-人工智慧、模糊逻辑、与软体工程之应.ppt

人工智慧、模糊邏輯、與軟體工程之應用 國立彰化師範大學資訊工程系 賴聯福 Outline 人工智慧 (Artificial Intelligence) 人工智慧的應用 人工智慧的執行 模糊邏輯(Fuzzy Logic) 軟體工程 (Software Engineering) 應用人工智慧和模糊邏輯技術於軟體工程 人工智慧（Artificial Intelligence） 電腦聰明？有智慧？ 電腦會下棋、算命、解數學難題、玩電腦遊戲、看病、問題診斷等 智慧功能由軟體程式所提供 軟體程式所提供的功能，電腦才會具有此能力，電腦並不會自己發展新功能 一般常用來撰寫人工智慧軟體之語言 人工智慧程式語言 Prolog、Lisp、CLIPS 、FuzzyCLIPS 等 一般用途程式語言 VB、C、JAVA 等 人工智慧 (AI) 的意義 Using methods based on the intelligent behavior of humans and other animals to solve complex problems -- Ben Coppin 人類的智慧行為有哪些？ 理解能力 圖形識別（視覺）、聲音識別（聽覺）、語言理解 學習能力 從經驗中學習、從範例中學習、從教導中學習 推理能力 邏輯推理、知識推理 判斷能力 診斷、解釋、預測 求解能力 下棋、問題規劃 人工智慧的應用: 圖形識別（電腦視覺） 以文字辨別為例，需三個步驟 方格切割 骨架化 資料庫比對 人工智慧的應用: 下棋 兩人輪流下棋，可以用遊戲樹（game tree）來計算對自己最有利的走法 訂出評估函數：計算各種走法的評估值，以選擇對自己最有利的走法 MinMax search：由於為兩人輪流下棋，自己會選擇下層評估值的最大值（對自己最有利），而對方會選擇最小值（對自己最不利） 以圈叉棋為例：假設只計算兩步 自己贏（連成一線）則評估值=∞，對方贏則評估值=－∞ 否則 評估值=自己還有可能連線的總數－對方還有可能連線的總數 人工智慧的應用: 專家系統 (Expert Systems) 利用專家知識來診斷、解釋、預測、或求解答 以醫生診斷系統為例： 將醫生的專家知識電腦化，儲存在知識庫（Knowledge Base）中 若出現頭痛與鼻塞症狀，則為 A 型感冒症狀 若出現咳嗽、流鼻水、與打噴嚏症狀，則為 B 型感冒症狀 若出現發燒與喉嚨痛症狀，則為 C 型感冒症狀 若為 A 型感冒症狀需吃阿司匹靈 若有胃痛症狀需吃胃藥 病人可以輸入其身體狀況到此醫生診斷系統中 假設輸入頭痛、鼻塞、與胃痛三種症狀 專家系統可以根據所輸入的事實來比對（match）專家知識，以自動推理出診斷結果與藥方 診斷結果： A 型感冒症狀 藥方：阿司匹靈與胃藥 人工智慧的執行 使用人工智慧方法求得問題解答的過程中，需要執行兩個重要工作 知識的表示 知識的推理 數學邏輯為最常用的知識表示法 將知識表示成數學邏輯後，可利用數學推演的證明，從舊有知識中推理出新知識 述語邏輯（Predicate Logic）之例子 假設我們有下列五項知識與事實，請問 Mary 與 Peter 的關係 若 x 是 y 的父親， y 是 z 的父親，則 x 是 z 的祖父 若 x 是 y 的祖父， z 是 x 的太太，則 z 是 y 的祖母 John 是 Kevin 的父親 Kevin 是 Peter 的父親 Mary 是 John 的太太 把這五項知識與事實表示成述語邏輯 (?x)(?y)(?z) Father(x,y) ? Father(y,z) → GrandFather(x,z) (?x)(?y)(?z) GrandFather(x,y) ? Wife(z,x) → GrandMother(z,y) Father(John,Kevin) Father(Kevin,Peter) Wife(Mary,John) 利用述語邏輯的歸結推演，以比對匹配及取代的方式產生新知識 GrandFather(John,Peter) (?x)(?y)(?z) Father(x,y) ? Father(y,z) → GrandFather(x,z) Father(John,Kevin) Father(Kevin,Peter) John 取代 x，Kevin 取代 y，Peter 取代 z GrandMother(Mary,Peter) (?x)(?y)(?z) GrandFather(x,y) ? Wife(z,x) → GrandMother(z,y) Wife(Mary,John) GrandFather(John,Pe