《基於格值邏輯的語言真值α-廣義歸結自動推理研究》是依託西南交通大學，由徐揚擔任項目負責人的面上項目。
基本介紹
- 中文名：基於格值邏輯的語言真值α-廣義歸結自動推理研究
- 項目類別：面上項目
- 項目負責人：徐揚
- 依託單位：西南交通大學
- 批准號：60875034
- 申請代碼：F0601
- 負責人職稱：教授
- 研究期限：2009-01-01 至 2011-12-31
- 支持經費：32（萬元）
項目摘要
針對帶有不確定性的自動推理，依據基於格蘊涵代數的格值邏輯，借鑑廣義歸結自動推理學術思想，套用語言真值格蘊涵代數，遵循不確定性的程度差異性，在基於格蘊涵代數的格值邏輯之不確定性推理和語言真值α-歸結自動推理的研究基礎上，研究基於格值邏輯的語言真值α-廣義語義歸結自動推理、基於格值邏輯的語言真值α-廣義線性歸結自動推理、基於格值邏輯的語言真值α-廣義鎖歸結自動推理（簡稱：三種典型的α-廣義歸結自動推理），分別提出相應的基本理論、建立相應的具有可靠性和完備性的方法、構造相應的具有可靠性和完備性的最佳化算法、設計相應的比較實用的程式，並比較三種典型的α-廣義歸結自動推理方法、算法、程式的有效性、複雜性和實用性，為帶有不確定性的語言真值α-廣義歸結自動推理提供基本理論、實用方法、有效算法、應用程式。
