《計量邏輯中真度理論的推廣及套用研究》是依託陝西師範大學，由吳洪博擔任項目負責人的面上項目。
基本介紹
- 中文名：計量邏輯中真度理論的推廣及套用研究
- 項目類別：面上項目
- 項目負責人：吳洪博
- 依託單位：陝西師範大學
- 申請代碼：F0214
- 批准號：61572016
- 負責人職稱：教授
- 研究期限：2016-01-01 至 2019-12-31
- 支持經費：49（萬元）
項目摘要
計量邏輯是與命題邏輯相關的一個新興的研究領域.計量邏輯的基礎是真度理論.目前,真度理論不但套用於命題邏輯理論自身的研究,其中的思想方法已經套用於謂詞邏輯,近似推理,非經典數理邏輯,模型檢驗等研究領域.本項目的研究內容包括: 一、完善有限值命題邏輯中廣義真度理論,建立連續值命題邏輯中廣義真度的合理形式; 二、完善謂詞邏輯中的真度理論,在謂詞邏輯中建立廣義真度的合理形式; 三、建立以廣義真度為基礎的近似推理框架,從而推廣以真度理論為基礎的近似推理理論; 四、三I算法是一條重要的模糊推理規則,已經被套用於模糊系統理論的研究之中.本項目將廣義真度理論的方法融合於三I算法規則之中,拓寬三I算法的套用範圍; 五、將廣義真度理論的方法套用於模態邏輯和模型檢驗的計量化研究中,豐富模態邏輯和模型檢驗的計量化理論的研究方法和內容.
