運算元模糊邏輯及其推理

《運算元模糊邏輯及其推理》是依託吉林大學，由劉敘華擔任項目負責人的面上項目。

基本介紹

• 中文名：運算元模糊邏輯及其推理
• 項目類別：面上項目
• 項目負責人：劉敘華
• 依託單位：吉林大學
• 批准號：69473027
• 申請代碼：F0201
• 負責人職稱：教授
• 研究期限：1995-01-01 至 1997-12-31
• 支持經費：7（萬元）

項目摘要

本項目在已有工作基礎上，對運算元模糊邏輯及推理方法做進一步研究。使用運算元顯示地描述模糊命題的不確定性，將對模糊推理中對模糊命題的不一致性和不完全性的處理轉化為對運算元的計算過程。通過形式演繹描述和處理人類基於知識的推理形為的規律和特徵。將一階邏輯中的歸結方法及其一些改進方案推廣到布爾運算元模糊邏輯中，通過引進公式恆真水平和恆假水平的概念，證明了其廣義完備性。通過對布爾運算元模糊邏輯的初步研究，還促進我們進一步修正和改進已有的運算元模糊邏輯中的某些結論，對建立良好的實用定量模型的方法以做了有益的探索。我們正對布爾運算元模糊邏輯做進一步的研究，有望獲得實質性進展。