《模糊邏輯證明論、量詞理論及蘊涵運算元的構造問題研究》是依託南昌大學，由王三民擔任項目負責人的地區科學基金項目。
基本介紹
- 中文名：模糊邏輯證明論、量詞理論及蘊涵運算元的構造問題研究
- 項目類別：地區科學基金項目
- 項目負責人：王三民
- 依託單位：南昌大學
- 批准號：60863002
- 申請代碼：F0201
- 負責人職稱：教授
- 研究期限：2009-01-01 至 2011-12-31
- 支持經費：16（萬元）
項目摘要
本項目研究模糊邏輯的證明論、量詞理論以及蘊涵運算元的構造問題，其主要內容和意義如下：模糊邏輯證明論方面，主要研究基於連續三角模及其剩餘的模糊邏輯系統的超串演算的構造(特別是BL系統), 以及基於超串演算研究模糊邏輯形式系統的定理證明算法(特別是基於左連續三角模及其剩餘的MTL系統)，這些都是當前困擾模糊邏輯界的重要公開難題；模糊量詞理論方面, 主要研究語言量詞的(廣義)菅野積分模型的形式化，這些問題是我國知名學者應明生教授2006年在《人工智慧》上發表的文章中提出的，這項研究旨在把當前已得到的關於該模型的零星的結果完備化，從而推演出其所有的邏輯性質；蘊涵運算元的構造方面，主要研究Product和?ukasiewicz三角模及其餘模生成的蘊涵運算元，這也是模糊邏輯界多年未解的公開問題，構造新的蘊涵運算元就是建立自然語言中條件句的數學模型，在模糊推理、模糊控制等實際套用中有重要意義 。
