《基於格值邏輯的語言真值歸結自動推理研究》是依託西南交通大學，由徐揚擔任項目負責人的面上項目。
基本介紹
- 中文名：基於格值邏輯的語言真值歸結自動推理研究
- 項目類別：面上項目
- 項目負責人：徐揚
- 依託單位：西南交通大學
- 批准號：60474022
- 申請代碼：F0301
- 負責人職稱：教授
- 研究期限：2005-01-01 至 2007-12-31
- 支持經費：26（萬元）
項目摘要
研究內容有三項：1、建立一種常用的語言真值格蘊涵代數：分別建立常用的語言真值集與基本修飾詞集並賦予其相應偏序；生成語言真值格蘊涵代數，並研究其與邏輯相關的結構及特性。2、研究基於格蘊涵代數的格值命題邏輯的語言真值歸結自動推理：語言真值命題邏輯公式的結構與變形，語言真值命題邏輯α-歸結原理及其可靠性與完備性，語言真值命題邏輯α-歸結域的結構，語言真值命題邏輯α-歸結方法及其可靠性與完備性，語言真值命題邏輯α-歸結自動推理程式及其可靠性與完備性。3、研究基於格蘊涵代數的格值一階邏輯的語言真值歸結自動推理：語言真值一階邏輯公式的結構與變形，語言真值一階邏輯α-歸結原理及其可靠性與完備性，語言真值一階邏輯α-歸結域的結構，語言真值一階邏輯α-歸結方法及其可靠性與完備性，語言真值一階邏輯α-歸結自動推理程式及其可靠性與完備性。旨在建立一種能同時處理模糊性與不可比較性的語言真值歸結自動推理理論與方法。
