基于格值一階邏輯系統(tǒng)的不確定性推理及其應(yīng)用研究.pdf

1、不確定性推理是人工智能研究領(lǐng)域的關(guān)鍵問(wèn)題之一.基于邏輯系統(tǒng)研究推理是一種科學(xué)的研究方法.現(xiàn)實(shí)生活中人們大都習(xí)慣用[0，1]上的值或自然語(yǔ)言描述不確定性，并在不確定性的環(huán)境中進(jìn)行推理，進(jìn)一步基于此進(jìn)行判斷與決策，所以研究[0，1]和語(yǔ)言真值上的不確定性推理成了引人關(guān)注的研究領(lǐng)域.
　　 本文基于國(guó)內(nèi)外相關(guān)研究成果，對(duì)基于格值一階邏輯系統(tǒng)的不確定性推理的理論和方法及其在模糊推理、語(yǔ)言值推理和多屬性群決策上的應(yīng)用進(jìn)行了較系統(tǒng)和深入的研

2、究，并取得了如下四個(gè)方面的研究成果：
　　 一、關(guān)于語(yǔ)言真值格蘊(yùn)涵代數(shù)的結(jié)構(gòu)的研究
　　 1.定義了格蘊(yùn)涵代數(shù)中加(乘)既約元及元素的不可約有限加(乘)分解；
　　 2.給出了語(yǔ)言真值格蘊(yùn)涵代數(shù)的加(乘、并、交)既約元及元素的不可約有限加(乘、并、交)分解；
　　 3.給出了幾種特殊類(lèi)型的語(yǔ)言真值格蘊(yùn)涵代數(shù)方程的解法.
　　 二、關(guān)于基于格值一階邏輯系統(tǒng)Lvfl的不確定性推理的理論研究
　　

3、 1.針對(duì)一些有代表性的單輸入單輸出推理模型，給出了推理模型中推理規(guī)則的前件、后件以及新信息在一定程度上相容的一些條件，并證明了所給條件的合理性；
　　 2.針對(duì)一些有代表性的實(shí)用的單輸入單輸出推理模型，給出了基于格值一階邏輯系統(tǒng)Lvfl的不確定性推理過(guò)程中推理參量的一些選取規(guī)則以及推理結(jié)果既有合理的邏輯語(yǔ)義解釋又有嚴(yán)密的邏輯語(yǔ)法論證的一些條件.
　　 三、關(guān)于基于(L)ukasiewicz一階邏輯系統(tǒng)Luf的不確定性

4、推理及其應(yīng)用的研究
　　 將基于(L)ukasiewicz一階邏輯系統(tǒng)Luf的不確定性推理應(yīng)用在模糊推理中，使模糊推理結(jié)果在(L)ukasiewicz一階邏輯系統(tǒng)Luf中既有合理的邏輯語(yǔ)義解釋又有嚴(yán)密的邏輯語(yǔ)法論證.
　　 四、關(guān)于基于格值一階邏輯系統(tǒng)Lvfl的語(yǔ)言真值不確定性推理及其應(yīng)用的研究
　　 1.提出了基于格值一階邏輯系統(tǒng)Lvfl的語(yǔ)言真值不確定性推理方法，并將其應(yīng)用在日常生活中人們經(jīng)常遇到的用語(yǔ)言表述