人工智慧、模糊邏輯、與軟體工程之應(yīng)用課件

人工智慧、模糊邏輯、與軟體工程

之應(yīng)用國立彰化師範(fàn)大學(xué)資訊工程系賴聯(lián)福人工智慧、模糊邏輯、與軟體工程

之應(yīng)用國立彰化師範(fàn)大學(xué)資訊Outline人工智慧(ArtificialIntelligence)人工智慧的應(yīng)用人工智慧的執(zhí)行模糊邏輯(FuzzyLogic)軟體工程(SoftwareEngineering)應(yīng)用人工智慧和模糊邏輯技術(shù)於軟體工程Outline人工智慧(ArtificialIntell人工智慧（ArtificialIntelligence）電腦聰明？有智慧？電腦會下棋、算命、解數(shù)學(xué)難題、玩電腦遊戲、看病、問題診斷等智慧功能由軟體程式所提供軟體程式所提供的功能，電腦才會具有此能力，電腦並不會自己發(fā)展新功能一般常用來撰寫人工智慧軟體之語言人工智慧程式語言Prolog、Lisp、CLIPS、FuzzyCLIPS等一般用途程式語言VB、C、JAVA等人工智慧（ArtificialIntelligence）電人工智慧(AI)的意義Usingmethodsbasedontheintelligentbehaviorofhumansandotheranimalstosolvecomplexproblems

--BenCoppin人類的智慧行為有哪些？理解能力圖形識別（視覺）、聲音識別（聽覺）、語言理解學(xué)習(xí)能力從經(jīng)驗(yàn)中學(xué)習(xí)、從範(fàn)例中學(xué)習(xí)、從教導(dǎo)中學(xué)習(xí)推理能力邏輯推理、知識推理判斷能力診斷、解釋、預(yù)測求解能力下棋、問題規(guī)劃人工智慧(AI)的意義Usingmethodsbas人工智慧的應(yīng)用:圖形識別（電腦視覺）以文字辨別為例，需三個步驟方格切割骨架化資料庫比對ABCABCABC人工智慧的應(yīng)用:圖形識別（電腦視覺）以文字辨別為例，需三個人工智慧的應(yīng)用:下棋兩人輪流下棋，可以用遊戲樹（gametree）來計(jì)算對自己最有利的走法訂出評估函數(shù)：計(jì)算各種走法的評估值，以選擇對自己最有利的走法MinMaxsearch：由於為兩人輪流下棋，自己會選擇下層評估值的最大值（對自己最有利），而對方會選擇最小值（對自己最不利）-32-13-∞-∞24241355-2∞∞3-43：自己走，取最大值：對方走，取最小值此遊戲樹只計(jì)算到第三步第一步第二步第三步人工智慧的應(yīng)用:下棋兩人輪流下棋，可以用遊戲樹（game以圈叉棋為例：假設(shè)只計(jì)算兩步自己贏（連成一線）則評估值=∞，對方贏則評估值=－∞否則評估值=自己還有可能連線的總數(shù)－對方還有可能連線的總數(shù)11-1-2OOO1OX6-5=10OX5-5=0-1OX4-5=-11OX6-5=10OX5-5=0-1OX5-6=-10OX6-6=0-1OX5-6=-1-2OX4-6=-20OX6-6=01OX5-4=12OX6-4=2第一步第二步以圈叉棋為例：假設(shè)只計(jì)算兩步11-1-2OOO1OX6-5=人工智慧的應(yīng)用:專家系統(tǒng)(ExpertSystems)利用專家知識來診斷、解釋、預(yù)測、或求解答以醫(yī)生診斷系統(tǒng)為例：將醫(yī)生的專家知識電腦化，儲存在知識庫（KnowledgeBase）中若出現(xiàn)頭痛與鼻塞癥狀，則為A型感冒癥狀若出現(xiàn)咳嗽、流鼻水、與打噴嚏癥狀，則為B型感冒癥狀若出現(xiàn)發(fā)燒與喉嚨痛癥狀，則為C型感冒癥狀若為A型感冒癥狀需吃阿司匹靈若有胃痛癥狀需吃胃藥病人可以輸入其身體狀況到此醫(yī)生診斷系統(tǒng)中假設(shè)輸入頭痛、鼻塞、與胃痛三種癥狀專家系統(tǒng)可以根據(jù)所輸入的事實(shí)來比對（match）專家知識，以自動推理出診斷結(jié)果與藥方診斷結(jié)果：A型感冒癥狀藥方：阿司匹靈與胃藥人工智慧的應(yīng)用:專家系統(tǒng)(ExpertSystems)人工智慧的執(zhí)行使用人工智慧方法求得問題解答的過程中，需要執(zhí)行兩個重要工作知識的表示知識的推理數(shù)學(xué)邏輯為最常用的知識表示法將知識表示成數(shù)學(xué)邏輯後，可利用數(shù)學(xué)推演的證明，從舊有知識中推理出新知識人工智慧的執(zhí)行使用人工智慧方法求得問題解答的過程中，需要執(zhí)行述語邏輯（PredicateLogic）之例子假設(shè)我們有下列五項(xiàng)知識與事實(shí)，請問Mary與Peter的關(guān)係若x是y的父親，y是z的父親，則x是z的祖父若x是y的祖父，z是x的太太，則z是y的祖母John是Kevin的父親Kevin是Peter的父親Mary是John的太太把這五項(xiàng)知識與事實(shí)表示成述語邏輯(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)述語邏輯（PredicateLogic）之例子假設(shè)我們有下利用述語邏輯的歸結(jié)推演，以比對匹配及取代的方式產(chǎn)生新知識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取代zGrandMother(Mary,Peter)(x)(y)(z)GrandFather(x,y)Wife(z,x)→GrandMother(z,y)Wife(Mary,John)GrandFather(John,Peter)為新產(chǎn)生知識John取代x，Peter取代y，Mary取代z求得Mary與Peter的關(guān)係為GrandMother(Mary,Peter)GrandMother(Mary,Peter)稱為一個述語predicateGrandMother為後面兩個參數(shù)的關(guān)係名稱利用述語邏輯的歸結(jié)推演，以比對匹配及取代的方式產(chǎn)生新知識知識推理方式正向推理（forwardchaining）根據(jù)已知的資料與事實(shí)往前推論，產(chǎn)生新的知識，以達(dá)到目標(biāo)或稱為資料驅(qū)動（data-driven）述語邏輯的例子即為正向推理已知3項(xiàng)事實(shí)，包括John是Kevin的父親、Kevin是Peter的父親、Mary是John的太太、以及祖父關(guān)係與祖母關(guān)係的兩個規(guī)則目標(biāo)為“求出Mary與Peter的關(guān)係”（此目標(biāo)為未知）經(jīng)由正向推理之後產(chǎn)生新知識，得知Mary為Peter的祖母目標(biāo)已知資料與事實(shí)新事實(shí)新事實(shí)???推理推理推理知識推理方式正向推理（forwardchaining）目標(biāo)知識推理方式反向推理（backwardchaining）已知目標(biāo)是什麼，往後推論此目標(biāo)的達(dá)成方法或稱為目標(biāo)驅(qū)動（goal-driven）已知目標(biāo)解答子目標(biāo)推理????子目標(biāo)推理推理知識推理方式反向推理（backwardchaining）已反向推理之例子：機(jī)器人取下燈泡問題如下圖，房間內(nèi)有一個機(jī)器人、一個箱子、和一個燈泡，燈泡掛在天花板下，但機(jī)器人的高度搆不到燈泡，請問機(jī)器人如何取下燈泡？已知目標(biāo)為“機(jī)器人取下燈泡”機(jī)器人可以做的動作包括機(jī)器人用機(jī)器手臂取下燈泡機(jī)器人從A走到B機(jī)器人從B走到C機(jī)器人從C走到B機(jī)器人從B走到A機(jī)器人爬到箱子上機(jī)器人把箱子從A推到B機(jī)器人把箱子從B推到C機(jī)器人把箱子從C推到B機(jī)器人把箱子從B推到A請問機(jī)器人要如何做（做哪些動作以及順序?yàn)楹危┎拍苋∠聼襞?？ABC反向推理之例子：機(jī)器人取下燈泡問題ABC反向推理過程已知目標(biāo)為“機(jī)器人取下燈泡”，可以分解為三個子目標(biāo)箱子在B機(jī)器人站在箱子上機(jī)器人用機(jī)器手臂取下燈泡“箱子在B”的子目標(biāo)可以再分解為二個子目標(biāo)機(jī)器人在C機(jī)器人把箱子從C推到B“機(jī)器人在C”的子目標(biāo)可以再分解為二個子目標(biāo)機(jī)器人從A走到B機(jī)器人從B走到C因此解答為五個步驟：機(jī)器人從A走到B、機(jī)器人從B走到C、機(jī)器人把箱子從C推到B、機(jī)器人爬到箱子上、機(jī)器人用機(jī)器手臂取下燈泡反向推理過程模糊邏輯(FuzzyLogic)一般日常的用語或需求經(jīng)常都是模糊的而非明確絕對的，例如冷氣再冷一點(diǎn)電子鍋煮的飯稍微硬一點(diǎn)身材高一點(diǎn)、年紀(jì)輕一點(diǎn)、快、慢、多、少、輕、重、冷、熱等等傳統(tǒng)邏輯的真值只有“真”（1）或“假”（0），模糊邏輯允許真值介於0與1之間，而非絕對模糊邏輯可以使用歸屬函數(shù)（membershipfunction）來表達(dá)模糊的意義例如，某人找工作的條件為錢多、事少、離家近，其成員函數(shù)100.20.40.60.820K30K40K50K60K70K100.20.40.60.83035404550薪水多一點(diǎn)的成員函數(shù)每週工作時數(shù)少一點(diǎn)的成員函數(shù)55模糊邏輯(FuzzyLogic)一般日常的用語或需求經(jīng)常模糊性(Fuzziness)不精確性(Imprecision)語意不明確利用符合程度(degree)來表達(dá)不確定性(Uncertainty)資訊不足利用機(jī)率(probability)來表達(dá)模糊性(Fuzziness)不精確性(Imprecision模糊推論IF蕃茄紅了的話

THEN蕃茄就熟了這個蕃茄相當(dāng)紅推論出這個蕃茄相當(dāng)熟IF

股價近期上漲

AND上漲持續(xù)時間短

AND成交量變小

THEN

未來股價可能會持續(xù)上漲模糊推論IF蕃茄紅了的話模糊控制Fuzzy功能洗衣機(jī)：經(jīng)驗(yàn)與直覺＝＞衣服質(zhì)料與骯髒程度光感測器產(chǎn)生時間與透光度之曲線量測不同程度之油污、泥污、液體洗劑及粉末洗劑之曲線建立模糊推論＝＞經(jīng)驗(yàn)與實(shí)驗(yàn)＝＞產(chǎn)生洗滌時間Fuzzy功能冰箱：冷藏室除霜控制、冷凍室除霜控制、冷卻器除霜控制熱容量大小與感測器溫度變化曲線開門次數(shù)與感測器溫度變化曲線不同區(qū)間食品溫度變化曲線產(chǎn)生模糊推論＝＞調(diào)整壓縮機(jī)工作時間、風(fēng)扇風(fēng)量大小模糊控制Fuzzy功能洗衣機(jī)：軟體工程(SoftwareEngineering)軟體工程以標(biāo)準(zhǔn)的工程方法分多個階段一步步來開發(fā)軟體系統(tǒng)設(shè)計(jì)系統(tǒng)分析需求規(guī)劃分析系統(tǒng)上線維護(hù)系統(tǒng)測試程式編碼軟體工程(SoftwareEngineering)軟體工結(jié)構(gòu)化系統(tǒng)分析問題分解/功能分解將大而複雜的問題(或功能)分解到較小而簡化的問題(或功能)，直到成為容易理解的問題(或可直接實(shí)作的功能)為止MainABCA1A2XYZC1C2結(jié)構(gòu)化系統(tǒng)分析問題分解/功能分解MainABCA1A2X物件導(dǎo)向系統(tǒng)分析將資料與功能封裝於物件中客戶客戶編號:String客戶姓名:String性別:String聯(lián)絡(luò)電話:String傳真:String通訊地址:String電子郵件:String購物車編號:String名稱:String單位:String單價:Currency數(shù)量:Integer=1金額:Currency總金額:Currency新增訂購項(xiàng)目()設(shè)定訂購數(shù)量()計(jì)算總金額()刪除訂購項(xiàng)目()清空所有產(chǎn)品()確認(rèn)訂購訂單()訂單訂單編號:Integer客戶編號:String訂單日期:Date交貨地址:String總金額:Currency編號:String單價:Currency數(shù)量:Integer金額:Currency新增訂單()1N11書籍產(chǎn)品編號:StringISBN:String出版社:String售價:Currency作者:String書名:String出版日期:Date顯示細(xì)部說明()NNNN物件導(dǎo)向系統(tǒng)分析將資料與功能封裝於物件中客戶客戶編號:St應(yīng)用人工智慧技術(shù)於軟體工程Knowledge-BasedSoftwareEngineering

提供軟體系統(tǒng)知識推理之能力傳統(tǒng)的軟體工程無法處理知識密集(knowledge-intensive)之應(yīng)用，也無法提供推理功能(inference)以解決問題例子:資工系排課系統(tǒng)將系辦助理的排課知識寫成專家系統(tǒng)的規(guī)則(專家知識庫)載入所有的課程、教師、班級、教室、時段資料(事實(shí))專家系統(tǒng)的推理引擎可以根據(jù)所輸入的事實(shí)來比對(match)專家知識，以自動推理出同時符合的可行解應(yīng)用人工智慧技術(shù)於軟體工程Knowledge-BasedS將人工智慧程式整合至排課系統(tǒng)PresentationTierFlowControlTierBusinessLogicTierDataTierKnowledgeBaseInferenceEngineWorkingMemoryDatabaseSolutionApplicationServerApplicationSoftwareDBServerWebServerClientServletJSPBrowser將人工智慧程式整合至排課系統(tǒng)PresentationTie教師開課子系統(tǒng)教師開課子系統(tǒng)系辦排課子系統(tǒng)系辦排課子系統(tǒng)應(yīng)用人工智慧技術(shù)於軟體工程AutomatedSoftwareEngineering模擬軟體工程師與程式設(shè)計(jì)師的專家知識軟體開發(fā)自動化軟體規(guī)格自動驗(yàn)證軟體規(guī)格自動產(chǎn)生程式軟體程式自動測試?yán)?MicroStep、RationalROSE、BorlandTogether、TBCG應(yīng)用人工智慧技術(shù)於軟體工程AutomatedSoftwar會議排程系統(tǒng)的TBCG軟體規(guī)格會議排程系統(tǒng)的TBCG軟體規(guī)格自動產(chǎn)生會議排程系統(tǒng)的輸入畫面自動產(chǎn)生會議排程系統(tǒng)的輸入畫面會議排程系統(tǒng)的排程結(jié)果會議排程系統(tǒng)的排程結(jié)果應(yīng)用模糊邏輯技術(shù)於軟體工程網(wǎng)站資料庫的模糊查詢功能

讓使用者可以在人力資源網(wǎng)站中依據(jù)其需求輸入模糊資料，包括模糊工作機(jī)會與模糊個人履歷使用者的查詢條件經(jīng)常是不明確的，可輸入模糊查詢條件，使得網(wǎng)站資料庫的查詢更具彈性讓使用者可以決定每個查詢條件的重要性，真正反應(yīng)出使用者對於不同查詢條件重要性程度的需求整合考量各個查詢條件符合程度後的查詢結(jié)果，並可依據(jù)此結(jié)果排序，作為使用者的選擇依據(jù)，有助於解決資訊超載問題，使用者不需花費(fèi)多餘時間在符合程度低的資訊上作瀏覽應(yīng)用模糊邏輯技術(shù)於軟體工程網(wǎng)站資料庫的模糊查詢功能離散型資料的歸屬函數(shù)連續(xù)型資料的歸屬函數(shù)離散型資料的歸屬函數(shù)連續(xù)型資料的歸屬函數(shù)求職模糊查詢求職模糊查詢求職模糊查詢結(jié)果求職模糊查詢結(jié)果求才模糊查詢求才模糊查詢求才模糊查詢結(jié)果求才模糊查詢結(jié)果人工智慧、模糊邏輯、與軟體工程

之應(yīng)用國立彰化師範(fàn)大學(xué)資訊工程系賴聯(lián)福人工智慧、模糊邏輯、與軟體工程

之應(yīng)用國立彰化師範(fàn)大學(xué)資訊Outline人工智慧(ArtificialIntelligence)人工智慧的應(yīng)用人工智慧的執(zhí)行模糊邏輯(FuzzyLogic)軟體工程(SoftwareEngineering)應(yīng)用人工智慧和模糊邏輯技術(shù)於軟體工程Outline人工智慧(ArtificialIntell人工智慧（ArtificialIntelligence）電腦聰明？有智慧？電腦會下棋、算命、解數(shù)學(xué)難題、玩電腦遊戲、看病、問題診斷等智慧功能由軟體程式所提供軟體程式所提供的功能，電腦才會具有此能力，電腦並不會自己發(fā)展新功能一般常用來撰寫人工智慧軟體之語言人工智慧程式語言Prolog、Lisp、CLIPS、FuzzyCLIPS等一般用途程式語言VB、C、JAVA等人工智慧（ArtificialIntelligence）電人工智慧(AI)的意義Usingmethodsbasedontheintelligentbehaviorofhumansandotheranimalstosolvecomplexproblems

--BenCoppin人類的智慧行為有哪些？理解能力圖形識別（視覺）、聲音識別（聽覺）、語言理解學(xué)習(xí)能力從經(jīng)驗(yàn)中學(xué)習(xí)、從範(fàn)例中學(xué)習(xí)、從教導(dǎo)中學(xué)習(xí)推理能力邏輯推理、知識推理判斷能力診斷、解釋、預(yù)測求解能力下棋、問題規(guī)劃人工智慧(AI)的意義Usingmethodsbas人工智慧的應(yīng)用:圖形識別（電腦視覺）以文字辨別為例，需三個步驟方格切割骨架化資料庫比對ABCABCABC人工智慧的應(yīng)用:圖形識別（電腦視覺）以文字辨別為例，需三個人工智慧的應(yīng)用:下棋兩人輪流下棋，可以用遊戲樹（gametree）來計(jì)算對自己最有利的走法訂出評估函數(shù)：計(jì)算各種走法的評估值，以選擇對自己最有利的走法MinMaxsearch：由於為兩人輪流下棋，自己會選擇下層評估值的最大值（對自己最有利），而對方會選擇最小值（對自己最不利）-32-13-∞-∞24241355-2∞∞3-43：自己走，取最大值：對方走，取最小值此遊戲樹只計(jì)算到第三步第一步第二步第三步人工智慧的應(yīng)用:下棋兩人輪流下棋，可以用遊戲樹（game以圈叉棋為例：假設(shè)只計(jì)算兩步自己贏（連成一線）則評估值=∞，對方贏則評估值=－∞否則評估值=自己還有可能連線的總數(shù)－對方還有可能連線的總數(shù)11-1-2OOO1OX6-5=10OX5-5=0-1OX4-5=-11OX6-5=10OX5-5=0-1OX5-6=-10OX6-6=0-1OX5-6=-1-2OX4-6=-20OX6-6=01OX5-4=12OX6-4=2第一步第二步以圈叉棋為例：假設(shè)只計(jì)算兩步11-1-2OOO1OX6-5=人工智慧的應(yīng)用:專家系統(tǒng)(ExpertSystems)利用專家知識來診斷、解釋、預(yù)測、或求解答以醫(yī)生診斷系統(tǒng)為例：將醫(yī)生的專家知識電腦化，儲存在知識庫（KnowledgeBase）中若出現(xiàn)頭痛與鼻塞癥狀，則為A型感冒癥狀若出現(xiàn)咳嗽、流鼻水、與打噴嚏癥狀，則為B型感冒癥狀若出現(xiàn)發(fā)燒與喉嚨痛癥狀，則為C型感冒癥狀若為A型感冒癥狀需吃阿司匹靈若有胃痛癥狀需吃胃藥病人可以輸入其身體狀況到此醫(yī)生診斷系統(tǒng)中假設(shè)輸入頭痛、鼻塞、與胃痛三種癥狀專家系統(tǒng)可以根據(jù)所輸入的事實(shí)來比對（match）專家知識，以自動推理出診斷結(jié)果與藥方診斷結(jié)果：A型感冒癥狀藥方：阿司匹靈與胃藥人工智慧的應(yīng)用:專家系統(tǒng)(ExpertSystems)人工智慧的執(zhí)行使用人工智慧方法求得問題解答的過程中，需要執(zhí)行兩個重要工作知識的表示知識的推理數(shù)學(xué)邏輯為最常用的知識表示法將知識表示成數(shù)學(xué)邏輯後，可利用數(shù)學(xué)推演的證明，從舊有知識中推理出新知識人工智慧的執(zhí)行使用人工智慧方法求得問題解答的過程中，需要執(zhí)行述語邏輯（PredicateLogic）之例子假設(shè)我們有下列五項(xiàng)知識與事實(shí)，請問Mary與Peter的關(guān)係若x是y的父親，y是z的父親，則x是z的祖父若x是y的祖父，z是x的太太，則z是y的祖母John是Kevin的父親Kevin是Peter的父親Mary是John的太太把這五項(xiàng)知識與事實(shí)表示成述語邏輯(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)述語邏輯（PredicateLogic）之例子假設(shè)我們有下利用述語邏輯的歸結(jié)推演，以比對匹配及取代的方式產(chǎn)生新知識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取代zGrandMother(Mary,Peter)(x)(y)(z)GrandFather(x,y)Wife(z,x)→GrandMother(z,y)Wife(Mary,John)GrandFather(John,Peter)為新產(chǎn)生知識John取代x，Peter取代y，Mary取代z求得Mary與Peter的關(guān)係為GrandMother(Mary,Peter)GrandMother(Mary,Peter)稱為一個述語predicateGrandMother為後面兩個參數(shù)的關(guān)係名稱利用述語邏輯的歸結(jié)推演，以比對匹配及取代的方式產(chǎn)生新知識知識推理方式正向推理（forwardchaining）根據(jù)已知的資料與事實(shí)往前推論，產(chǎn)生新的知識，以達(dá)到目標(biāo)或稱為資料驅(qū)動（data-driven）述語邏輯的例子即為正向推理已知3項(xiàng)事實(shí)，包括John是Kevin的父親、Kevin是Peter的父親、Mary是John的太太、以及祖父關(guān)係與祖母關(guān)係的兩個規(guī)則目標(biāo)為“求出Mary與Peter的關(guān)係”（此目標(biāo)為未知）經(jīng)由正向推理之後產(chǎn)生新知識，得知Mary為Peter的祖母目標(biāo)已知資料與事實(shí)新事實(shí)新事實(shí)???推理推理推理知識推理方式正向推理（forwardchaining）目標(biāo)知識推理方式反向推理（backwardchaining）已知目標(biāo)是什麼，往後推論此目標(biāo)的達(dá)成方法或稱為目標(biāo)驅(qū)動（goal-driven）已知目標(biāo)解答子目標(biāo)推理????子目標(biāo)推理推理知識推理方式反向推理（backwardchaining）已反向推理之例子：機(jī)器人取下燈泡問題如下圖，房間內(nèi)有一個機(jī)器人、一個箱子、和一個燈泡，燈泡掛在天花板下，但機(jī)器人的高度搆不到燈泡，請問機(jī)器人如何取下燈泡？已知目標(biāo)為“機(jī)器人取下燈泡”機(jī)器人可以做的動作包括機(jī)器人用機(jī)器手臂取下燈泡機(jī)器人從A走到B機(jī)器人從B走到C機(jī)器人從C走到B機(jī)器人從B走到A機(jī)器人爬到箱子上機(jī)器人把箱子從A推到B機(jī)器人把箱子從B推到C機(jī)器人把箱子從C推到B機(jī)器人把箱子從B推到A請問機(jī)器人要如何做（做哪些動作以及順序?yàn)楹危┎拍苋∠聼襞?？ABC反向推理之例子：機(jī)器人取下燈泡問題ABC反向推理過程已知目標(biāo)為“機(jī)器人取下燈泡”，可以分解為三個子目標(biāo)箱子在B機(jī)器人站在箱子上機(jī)器人用機(jī)器手臂取下燈泡“箱子在B”的子目標(biāo)可以再分解為二個子目標(biāo)機(jī)器人在C機(jī)器人把箱子從C推到B“機(jī)器人在C”的子目標(biāo)可以再分解為二個子目標(biāo)機(jī)器人從A走到B機(jī)器人從B走到C因此解答為五個步驟：機(jī)器人從A走到B、機(jī)器人從B走到C、機(jī)器人把箱子從C推到B、機(jī)器人爬到箱子上、機(jī)器人用機(jī)器手臂取下燈泡反向推理過程模糊邏輯(FuzzyLogic)一般日常的用語或需求經(jīng)常都是模糊的而非明確絕對的，例如冷氣再冷一點(diǎn)電子鍋煮的飯稍微硬一點(diǎn)身材高一點(diǎn)、年紀(jì)輕一點(diǎn)、快、慢、多、少、輕、重、冷、熱等等傳統(tǒng)邏輯的真值只有“真”（1）或“假”（0），模糊邏輯允許真值介於0與1之間，而非絕對模糊邏輯可以使用歸屬函數(shù)（membershipfunction）來表達(dá)模糊的意義例如，某人找工作的條件為錢多、事少、離家近，其成員函數(shù)100.20.40.60.820K30K40K50K60K70K100.20.40.60.83035404550薪水多一點(diǎn)的成員函數(shù)每週工作時數(shù)少一點(diǎn)的成員函數(shù)55模糊邏輯(FuzzyLogic)一般日常的用語或需求經(jīng)常模糊性(Fuzziness)不精確性(Imprecision)語意不明確利用符合程度(degree)來表達(dá)不確定性(Uncertainty)資訊不足利用機(jī)率(probability)來表達(dá)模糊性(Fuzziness)不精確性(Imprecision模糊推論IF蕃茄紅了的話

THEN蕃茄就熟了這個蕃茄相當(dāng)紅推論出這個蕃茄相當(dāng)熟IF

股價近期上漲

AND上漲持續(xù)時間短

AND成交量變小

THEN

未來股價可能會持續(xù)上漲模糊推論IF蕃茄紅了的話模糊控制Fuzzy功能洗衣機(jī)：經(jīng)驗(yàn)與直覺＝＞衣服質(zhì)料與骯髒程度光感測器產(chǎn)生時間與透光度之曲線量測不同程度之油污、泥污、液體洗劑及粉末洗劑之曲線建立模糊推論＝＞經(jīng)驗(yàn)與實(shí)驗(yàn)＝＞產(chǎn)生洗滌時間Fuzzy功能冰箱：冷藏室除霜控制、冷凍室除霜控制、冷卻器除霜控制熱容量大小與感測器溫度變化曲線開門次數(shù)與感測器溫度變化曲線不同區(qū)間食品溫度變化曲線產(chǎn)生模糊推論＝＞調(diào)整壓縮機(jī)工作時間、風(fēng)扇風(fēng)量大小模糊控制Fuzzy功能洗衣機(jī)：軟體工程(SoftwareEngineering)軟體工程以標(biāo)準(zhǔn)的工程方法分多個階段一步步來開發(fā)軟體系統(tǒng)設(shè)計(jì)系統(tǒng)分析需求規(guī)劃分析系統(tǒng)上線維護(hù)系統(tǒng)測試程式編碼軟體工程(SoftwareEngineering)軟體工結(jié)構(gòu)化系統(tǒng)分析問題分解/功能分解將大而複雜的問題(或功能)分解到較小而簡化的問題(或功能)，直到成為容易理解的問題(或可直接實(shí)作的功能)為止MainABCA1A2XYZC1C2結(jié)構(gòu)化系統(tǒng)分析問題分解/功能分解MainABCA1A2X物件導(dǎo)向系統(tǒng)分析將資料與功能封裝於物件中客戶客戶編號:String客戶姓名:String性別:String聯(lián)絡(luò)電話:String傳真:String通訊地址:String電子郵件:String購物車編號:String名稱:String單位:String單價:Currency數(shù)量:Integer=1金額:Currency總金額:Currency新增訂購項(xiàng)目()設(shè)定訂購數(shù)量()計(jì)算總金額()刪除訂購項(xiàng)目()清空所有產(chǎn)品()確認(rèn)訂購訂單()訂單訂單編號:Integer客戶編號:String訂單日期:Date交貨地址:String總金額:Currency編號:String單價:Currency數(shù)量:Integer金額:Currency新增訂單()1N11書