




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
1、第七章 模糊推理一、判斷句1句型:“”,:表示概念的一個詞(組),簡記為2普通判斷句及其集合表示若表示確切概念,則稱為普通判斷句。例如: :“大學(xué)生”,“研究生”,“河北人” :“張三是研究生”,“李四是研究生”,“張三是河北人”可真,可假,使為真的構(gòu)成一個集合。定義1設(shè)是一個判斷句,則稱集合為的集合表示或真域。3模糊判斷句及其集合表示若是模糊概念,則為模糊判斷句。例如:“老人”,“陰天”,“年輕”等。:“張三”,“李四”,此時(shí)只能取0,1中的數(shù)表示對的真值程度,記為:,一般記定義2 稱為的集合表示或真域。,:“是老人”的真域?yàn)椋?F真、假取1/2為界區(qū)分F真假若,則稱對為F真;若,則稱對為F
2、假;若,則稱為F真;若,則稱為F假。5判斷句的邏輯運(yùn)算:“是或是”:“是且是”:“不是”例1 表示“明天是晴天”;表示“明天是多云”;表示“明天不是晴天”。6邏輯運(yùn)算的集合表示(或,與,非):二、推理句(同一論域上)1句型:“若是,則是”,稱為推理句,簡記為“”。例1“若是等邊三角形,則是等腰三角形”是推理句。(普通)例2“若是學(xué)生,則是小說迷”也是推理句。(模糊)2普通推理句(非真即假)(1)真域(2)性質(zhì)若推理句永真,則稱它是一個定理(恒真推理句)。一般作為推理依據(jù),有如下性質(zhì):設(shè)分別是的真域。是定理是定理,是定理是定理。()例3設(shè)=有生命的物體=動物,人 “是馬” :馬 “有四條腿” :
3、四條腿 “不是人” :非人顯然是定理,是定理是定理。馬四條腿動物不是人肯定前件的假言推理(MP)(三段論)是定理,對真對真,用集合表示就是否定后件的假言推理(MT)是定理,對假對假,用集合表示就是3F推理句在中,是模糊概念,則稱為F推理句。例如,“若是晴天”,則“是暖和天”;“若是一個努力學(xué)習(xí)的人”,則“是一個學(xué)習(xí)好的人”。4模糊推理句的集合表示(真域)的真域:或 即或5.F真假(以1/2為界)F真:若,則稱對F真;F假:若,則稱對F假;F定理:,則稱F真或F定理。6F邏輯推理規(guī)則(1)(MP):是F定理且對為F真對為F真,而且(2)(MT):是F定理且對為F假對為F假,且(3)合成規(guī)則是F定
4、理是F定理是F定理,而且證 設(shè)分別為判斷句的真域,而的真域取為。(1)又于是因此結(jié)論成立。(2)又于是從而,且(3)設(shè)分別為判斷句的真域,而,的真域分別取為:已知若,則從而于是所以因此結(jié)論成立。注:若的真域取為,定理1仍然成立。 #三、不同論域上的F推理句1句型:“若是,則是”,稱為推理句,簡記為“”。的真域,的真域2普通推理句的集合表示(1)真域 表8-1111100011001(2)推理規(guī)則定理1對真,且對為真對為真。證設(shè)是的真域,則且 #定理2對真,且對假對假。證設(shè)是的真域,則且 #定理3(合成規(guī)則)對真,對真對真。證設(shè)是的真域;是的真域;是的真域。對有下兩種情況:(1)若,則(2)若,
5、則#例1設(shè)論域?yàn)闅鉁刈兓秶?,為每天供冷氣的時(shí)間范圍,求推理句“若氣溫高于32,則供冷時(shí)間超過12小時(shí)”的真域。解令判斷句“氣溫高于32”、“供冷時(shí)間超過12小時(shí)”的真域分別為。即那么,“若氣溫高于32,則供冷時(shí)間超過12小時(shí)”的真域?yàn)楫?dāng),必有;或。這兩種情況,推理句對 都為真。3模糊推理句(1)真域其隸屬函數(shù)為表示F推理句 對的真值。(2)推理規(guī)則類似普通情形,F(xiàn)邏輯推理規(guī)則以推理句為依據(jù),也有如下性質(zhì)。定理4 見260頁(1) 對F-真,且 對F-真對F-真,且(2) 對F-假,且 對F-假對F-假,且(3)(合成規(guī)則)對F-真,且對F-真對F-真,且證明(略)。例2設(shè):分別表示某地區(qū)男子
6、身高、體重論域,(單位:米、公斤)。求F推理句“若很高,則很重”的真域。解:“很高”的真域記作用F向量表示為:“很重”的真域記作用F向量表示為:F推理句的真域?yàn)椋浩渲校嚎杀硎緸?×7矩陣可表示為6×7矩陣于是“很高”,則=1.8m以上;“很重”則=70kg以上。這時(shí),對推理句“若很高,則很重”為F真。由推理句的真域R也反映了這個事實(shí)。例如為F真。4真域的選擇(常見的真域)當(dāng)時(shí)均于一致,即四、似然推理1設(shè)是“若是,則是”的真域,則,從而決定了一個 從到的變換稱為似然推理(若,則,大前提)例1 若小則大,已給較小,問如何?設(shè)論域解若小,則大 。其中=若小則大,算出如下:由推理規(guī)則,有即。結(jié)論是:當(dāng)較小時(shí),為較大,上面過程就是似然推理。2條件語句前面是:若則,否則任意句型:“若則,否則”真域:取規(guī)則:已知,則似然推理結(jié)果為:這里,運(yùn)算“”代表F關(guān)系的合成。例2“若小則大,否則不大”,已知很小,問如何?設(shè):解:于是有根據(jù)推理規(guī)則,得即若很小,則很大。3多重條件語句句型:若則,否則若則,否則若則。設(shè)的真域分別為,的真域分別是。真域:取其隸屬函數(shù)為4復(fù)合蘊(yùn)
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 2025年農(nóng)村房屋買賣合同書樣本
- 2025電梯購買合同協(xié)議書范本
- 2025化工產(chǎn)品運(yùn)輸合同范本
- 2025年上海住房公積金條款正式納入勞動合同示范文本
- 2025年地方政府合同管理辦法
- 山東省臨沂市河?xùn)|區(qū)、費(fèi)縣2024-2025學(xué)年高一下學(xué)期期中聯(lián)考語文試題(含答案)
- 疫情轉(zhuǎn)讓轉(zhuǎn)租合同協(xié)議
- 現(xiàn)場管理咨詢合同協(xié)議
- 電子章合同協(xié)議
- 生產(chǎn)場地合作合同協(xié)議
- 租賃活動板房協(xié)議書
- 管道燃?xì)獍踩嘤?xùn)課件
- 國網(wǎng)四川省電力公司電網(wǎng)工程設(shè)備材料補(bǔ)充信息參考價(jià)2025
- 慢性病管理的護(hù)理方法試題及答案
- 2025年高考英語二輪復(fù)習(xí)熱點(diǎn)題型專項(xiàng)訓(xùn)練:完形填空夾敘夾議文(含答案)
- 安保人員安全培訓(xùn)課件
- 2025年中國光伏電池市場發(fā)展現(xiàn)狀調(diào)研及投資趨勢前景分析報(bào)告
- 2025年元宇宙+游戲行業(yè)新興熱點(diǎn)、發(fā)展方向、市場空間調(diào)研報(bào)告
- 問題等于機(jī)會的培訓(xùn)
- 森林管護(hù)員面試題及答案
- 培訓(xùn)課件:混凝土結(jié)構(gòu)的施工技術(shù)(澆筑、養(yǎng)護(hù))
評論
0/150
提交評論