《人工智慧与软体工程之应用.ppt》由会员分享，可在线阅读，更多相关《人工智慧与软体工程之应用.ppt（28页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、人工智慧與軟體工程之應用人工智慧與軟體工程之應用 2NCUE CSIE Outlinel軟體工程(Software Engineering)l人工智慧(Artificial Intelligence)l人工智慧的應用l人工智慧的執行l應用人工智慧技術於軟體工程l結論3NCUE CSIE 軟體工程軟體工程(Software Engineering)l軟體工程以標準的工程方法分多個階段一步步來開發軟體系統設計系統分析需求規劃分析系統上線維護系統測試程式編碼4NCUE CSIE 結構化系統分析結構化系統分析l問題分解/功能分解將大而複雜的問題(或功能)分解到較小而簡化的問題(或功能)，直到成為容易理
2、解的問題(或可直接實作的功能)為止MainABCA1A2XYZC1C25NCUE CSIE 物件導向系統分析物件導向系統分析l將資料與功能封裝於物件中客戶客戶編號:String客戶姓名:String性別:String聯絡電話:String傳真:String通訊地址:String電子郵件:String購物車編號:String名稱:String單位:String單價:Currency數量:Integer=1金額:Currency總金額:Currency新增訂購項目()設定訂購數量()計算總金額()刪除訂購項目()清空所有產品()確認訂購訂單()訂單訂單編號:Integer客戶編號:String訂單
3、日期:Date交貨地址:String總金額:Currency編號:String單價:Currency數量:Integer金額:Currency新增訂單()1N11書籍產品編號:StringISBN:String出版社:String售價:Currency作者:String書名:String出版日期:Date顯示細部說明()NNNN6NCUE CSIE 人工智慧（人工智慧（Artificial Intelligence）l電腦聰明？有智慧？電腦會下棋、算命、解數學難題、玩電腦遊戲、看病、問題診斷等智慧功能由軟體程式所提供l軟體程式所提供的功能，電腦才會具有此能力，電腦並不會自己發展新功能l一般常用
4、來撰寫人工智慧軟體之語言人工智慧程式語言lProlog、Lisp、CLIPS 等一般用途程式語言lVB、C、JAVA 等7NCUE CSIE 人工智慧人工智慧(AI)的意義的意義lUsing methods based on the intelligent behavior of humans and other animals to solve complex problems -Ben Coppinl人類的智慧行為有哪些？理解能力l圖形識別（視覺）、聲音識別（聽覺）、語言理解學習能力l從經驗中學習、從範例中學習、從教導中學習推理能力l邏輯推理、知識推理判斷能力l診斷、解釋、預測求解能力l下
5、棋、問題規劃8NCUE CSIE 人工智慧的應用人工智慧的應用:圖形識別（電腦視覺）圖形識別（電腦視覺）l以文字辨別為例，需三個步驟方格切割骨架化資料庫比對ABC9NCUE CSIE 人工智慧的應用人工智慧的應用:下棋下棋l兩人輪流下棋，可以用遊戲樹（game tree）來計算對自己最有利的走法訂出評估函數：計算各種走法的評估值，以選擇對自己最有利的走法MinMax search：由於為兩人輪流下棋，自己會選擇下層評估值的最大值（對自己最有利），而對方會選擇最小值（對自己最不利）-32-13-24241355-23-43：自己走，取最大值：對方走，取最小值此遊戲樹只計算到第三步第一步第二步第三
6、步10NCUE CSIE l以圈叉棋為例：假設只計算兩步自己贏（連成一線）則評估值=，對方贏則評估值=否則 評估值=自己還有可能連線的總數對方還有可能連線的總數11-1-2OOO1OX6-5=10OX5-5=0-1OX4-5=-11OX6-5=10OX5-5=0-1OX5-6=-10OX6-6=0-1OX5-6=-1-2O X4-6=-20OX6-6=01OX5-4=12OX6-4=2第一步第二步11NCUE CSIE 人工智慧的應用人工智慧的應用:模糊邏輯模糊邏輯(Fuzzy Logic)l一般日常的用語或需求經常都是模糊的而非明確絕對的，例如冷氣再冷一點電子鍋煮的飯稍微硬一點身材高一點、年
7、紀輕一點、快、慢、多、少、輕、重、冷、熱 等等l傳統邏輯的真值只有“真”（1）或“假”（0），模糊邏輯允許真值介於 0 與 1 之間，而非絕對模糊邏輯可以使用成員函數（membership function）來表達模糊的意義例如，某人找工作的條件為錢多、事少、離家近，其成員函數100.20.40.60.820K 30K 40K 50K 60K 70K100.20.40.60.83035404550薪水多一點的成員函數每週工作時數少一點的成員函數5512NCUE CSIE 人工智慧的應用人工智慧的應用:專家系統專家系統(Expert Systems)l利用專家知識來診斷、解釋、預測、或求解答以醫
8、生診斷系統為例：l將醫生的專家知識電腦化，儲存在知識庫（Knowledge Base）中若出現頭痛與鼻塞症狀，則為 A 型感冒症狀若出現咳嗽、流鼻水、與打噴嚏症狀，則為 B 型感冒症狀若出現發燒與喉嚨痛症狀，則為 C 型感冒症狀若為 A 型感冒症狀需吃阿司匹靈若有胃痛症狀需吃胃藥l病人可以輸入其身體狀況到此醫生診斷系統中假設輸入頭痛、鼻塞、與胃痛三種症狀l專家系統可以根據所輸入的事實來比對（match）專家知識，以自動推理出診斷結果與藥方診斷結果：A 型感冒症狀藥方：阿司匹靈與胃藥13NCUE CSIE 人工智慧的執行人工智慧的執行l使用人工智慧方法求得問題解答的過程中，需要執行兩個重要工作知
9、識的表示知識的推理l數學邏輯為最常用的知識表示法將知識表示成數學邏輯後，可利用數學推演的證明，從舊有知識中推理出新知識14NCUE CSIE 述語邏輯（述語邏輯（Predicate Logic）之例子）之例子假設我們有下列五項知識與事實，請問 Mary 與 Peter 的關係l若 x 是 y 的父親，y 是 z 的父親，則 x 是 z 的祖父l若 x 是 y 的祖父，z 是 x 的太太，則 z 是 y 的祖母 lJohn 是 Kevin 的父親lKevin 是 Peter 的父親lMary 是 John 的太太把這五項知識與事實表示成述語邏輯l(x)(y)(z)Father(x,y)Fathe
10、r(y,z)GrandFather(x,z)l(x)(y)(z)GrandFather(x,y)Wife(z,x)GrandMother(z,y)lFather(John,Kevin)lFather(Kevin,Peter)lWife(Mary,John)15NCUE CSIE 利用述語邏輯的歸結推演，以比對匹配及取代的方式產生新知識lGrandFather(John,Peter)(x)(y)(z)Father(x,y)Father(y,z)GrandFather(x,z)Father(John,Kevin)Father(Kevin,Peter)John 取代 x，Kevin 取代 y，Pet
11、er 取代 zlGrandMother(Mary,Peter)(x)(y)(z)GrandFather(x,y)Wife(z,x)GrandMother(z,y)Wife(Mary,John)GrandFather(John,Peter)為新產生知識John 取代 x，Peter 取代 y，Mary 取代 z求得 Mary 與 Peter 的關係為 GrandMother(Mary,Peter)lGrandMother(Mary,Peter)稱為一個述語 predicateGrandMother 為後面兩個參數的關係名稱16NCUE CSIE 知識推理方式知識推理方式l正向推理（forward
12、 chaining）根據已知的資料與事實往前推論，產生新的知識，以達到目標或稱為 資料驅動（data-driven）述語邏輯的例子即為正向推理l已知 3 項事實，包括 John 是 Kevin 的父親、Kevin 是 Peter 的父親、Mary 是 John 的太太、以及祖父關係與祖母關係的兩個規則l目標為“求出 Mary 與 Peter 的關係”（此目標為未知）l經由正向推理之後產生新知識，得知 Mary 為 Peter 的祖母目標已知資料與事實新事實新事實推理推理推理17NCUE CSIE 知識推理方式知識推理方式l反向推理（backward chaining）已知目標是什麼，往後推論此
13、目標的達成方法或稱為 目標驅動（goal-driven）已知目標解答子目標推理子目標推理推理18NCUE CSIE l反向推理之例子：機器人取下燈泡問題如下圖，房間內有一個機器人、一個箱子、和一個燈泡，燈泡掛在天花板下，但機器人的高度搆不到燈泡，請問機器人如何取下燈泡？l已知目標為“機器人取下燈泡”l機器人可以做的動作包括機器人用機器手臂取下燈泡機器人從 A 走到 B機器人從 B 走到 C機器人從 C 走到 B機器人從 B 走到 A機器人爬到箱子上機器人把箱子從 A 推到 B機器人把箱子從 B 推到 C機器人把箱子從 C 推到 B機器人把箱子從 B 推到 Al請問機器人要如何做（做哪些動作以及
14、順序為何）才能取下燈泡？ABC19NCUE CSIE l反向推理過程已知目標為“機器人取下燈泡”，可以分解為三個子目標l箱子在 Bl機器人站在箱子上l機器人用機器手臂取下燈泡“箱子在 B”的子目標可以再分解為二個子目標l機器人在 Cl機器人把箱子從 C 推到 B“機器人在 C”的子目標可以再分解為二個子目標l機器人從 A 走到 Bl機器人從 B 走到 C因此解答為五個步驟：l機器人從 A 走到 B、機器人從 B 走到 C、機器人把箱子從 C 推到 B、機器人爬到箱子上、機器人用機器手臂取下燈泡20NCUE CSIE 應用人工智慧技術於軟體工程應用人工智慧技術於軟體工程lKnowledge-Ba
15、sed Software Engineering 提供軟體系統知識推理之能力傳統的軟體工程無法處理知識密集(knowledge-intensive)之應用，也無法提供推理功能(inference)以解決問題l例子:資工系排課系統將系辦助理的排課知識寫成專家系統的規則(專家知識庫)載入所有的課程、教師、班級、教室、時段資料(事實)專家系統的推理引擎可以根據所輸入的事實來比對(match)專家知識，以自動推理出同時符合的可行解21NCUE CSIE 將人工智慧程式整合至排課系統將人工智慧程式整合至排課系統Presentation TierFlow Control TierBusiness Logi
16、c TierData TierKnowledgeBaseInferenceEngineWorkingMemoryDatabaseSolutionApplication ServerApplication SoftwareDB ServerWeb ServerClientServletJSPBrowser22NCUE CSIE 教師開課子系統教師開課子系統23NCUE CSIE 系辦排課子系統系辦排課子系統24NCUE CSIE 應用人工智慧技術於軟體工程應用人工智慧技術於軟體工程lAutomated Software Engineering模擬軟體工程師與程式設計師的專家知識軟體開發自動化l軟體規格自動驗證l軟體規格自動產生程式l軟體程式自動測試l例子:MicroStep、Rational Rose、Borland Together、TBCG25NCUE CSIE 會議排程系統的會議排程系統的 TBCG 軟體規格軟體規格26NCUE CSIE 自動產生會議排程系統的輸入畫面自動產生會議排程系統的輸入畫面27NCUE CSIE 會議排程系統的會議排程系統的排程結果排程結果28NCUE CSIE 結論結論l軟體工程的終極目標?自動化程式設計l加入人工智慧是否有可能達成目標?Specific vs Generall電腦是否可能有自行思考之能力?Strong AI vs Weak AI