模糊推理

精確提集合精確論推程，稱近似推。思維，推程近似。例，根據件語句（假言）“若紅柿紅”，則紅柿熟”提（言）“紅柿非紅”，即論“紅柿非熟”。精確推典二值邏輯值邏輯完。..扎德於1975年首先提出模糊推理的合成規則和把條件語句“若 x為 A，則 y為 B”轉換為模糊關係的規則。此後J.F.鮑德溫和R.R.耶格爾等人又各自採用帶有模糊真值的模糊邏輯而提出了不同於扎德的方法。

．．提模糊集概念，模糊

系統研究迅猛展，模糊控制技術廣泛業控制產品製造，取令矚功。模糊推模糊控制論基礎，雖模糊推量研究，研究靠邏輯基礎。王國俊教授於1996年建立了模糊命題演算的形式系統L~*，之後在系統L~*的框架中，從語義上為模糊推理規則構建了邏輯基礎。1999年又基於只。蘊涵運算元提出了糊推理的全蘊涵三I演演算法，這是比Zadeh提出的如今在控制領域中廣泛應用的CRI方法更為合理，邏輯基礎更強的推理演演算法。

由於蘊涵運算元的選取與模糊推理的效果密切相關，特別是互為伴隨的三角模與蘊涵運算元的研究對將模糊推理與模糊邏輯相結合具有重要而廣泛的意義。目的就是基於互為伴隨的三角模與蘊涵運算元建立一種新的模糊命題演算的形式系統RL，使得兩類重要的邏輯系統L~*和BL邏輯都是它的擴張。在這種新的模糊邏輯中，從語構上為模糊推理三I演演算法構建邏輯基礎，得到了模糊推理的非模糊形式。這樣，就將模糊推理的三I演演算法納入到形式模糊邏輯的框架之中，模糊推理過程可轉化為模糊邏輯中的形式演繹，從而也使模糊推理有了嚴格的邏輯基礎。