人的智能活動(dòng)正是體現(xiàn)在對(duì)不確定性信息的獲取、提煉、推理、判斷和決策上，其中不確定性推理是關(guān)鍵的環(huán)節(jié)，也自然成為計(jì)算機(jī)科學(xué)和人工智能的核心問題之一。隨著Zadeh的模糊推理的提出，許多不確定性推理的方法和理論相繼出現(xiàn)。自然，多值邏輯和模糊邏輯就成為不確定性推理的邏輯基礎(chǔ)。多值邏輯和模糊邏輯是經(jīng)典邏輯的擴(kuò)充和發(fā)展，其真值域從經(jīng)典邏輯的二值擴(kuò)充為多值或無限值。但其鏈型值域又決定了它只能處理有序的或可比較性的不確定性的信息。格是一種重要的代數(shù)結(jié)構(gòu)，現(xiàn)實(shí)世界的不可比較的現(xiàn)象可以用格來刻畫。格值邏輯的真值域?yàn)楦翊鷶?shù)結(jié)構(gòu)，這樣就既能處理全序性信息，又能處理非全序性信息，因而能更好地處理可比較或不可比較信息的不確定性推理。徐揚(yáng)提出格蘊(yùn)涵代數(shù)，并以格蘊(yùn)涵代數(shù)為真值域討論了一系列的格值邏輯系統(tǒng)，如：LP（X），LF（X），Lvpl和Lvfl。本文在基于格蘊(yùn)涵代數(shù)的格值命題邏輯系統(tǒng)LP（X），L_vpl和格值一階邏輯系統(tǒng)LF（X），L_vfl中，研究了不確定性推理的規(guī)則，廣義量詞及其推理規(guī)則，初步探討了語法性質(zhì)和歸結(jié)原理，主要工作為以下四個(gè)方面：1．在格值命題邏輯系統(tǒng)... 

【文章來源】：西南交通大學(xué)四川省 211工程院校 教育部直屬院校

【文章頁數(shù)】：99 頁

【學(xué)位級(jí)別】：博士

【文章目錄】：
摘要
Abstract
第1章 緒論
    1.1 形成本文的學(xué)術(shù)背景
        1.1.1 關(guān)于非經(jīng)典邏輯的研究
        1.1.2 關(guān)于不確定性推理的研究
    1.2 本文的主要內(nèi)容
    1.3 預(yù)備知識(shí)
第2章 格值命題邏輯系統(tǒng)LP(X)中的不確定性推理
    2.1 格值命題邏輯系統(tǒng)LP(X)
    2.2 LP(X)中的FMP,FMT規(guī)則和還原性定理
    2.3 LP(X)中不確定性推理規(guī)則的轉(zhuǎn)化
第3章 格值一階邏輯系統(tǒng)LF(X)中的不確定性推理
    3.1 格值一階邏輯系統(tǒng)LF(X)
    3.2 LF(X)中的廣義量詞
    3.3 帶廣義量詞運(yùn)算的推理規(guī)則
    3.4 帶廣義量詞的不確定性推理
    3.5 帶廣義量詞FMP,FMT推理規(guī)則和還原性定理
    3.6 LF(X)中語法證明和可靠性定理
    3.7 LF(X)中的完備性定理
    3.8 格值一階邏輯系統(tǒng)LF(X)中的范式
    3.9 格值一階邏輯系統(tǒng)LF(X)中的HERBRAND定理
第4章 格值命題邏輯系統(tǒng)LVPL中的不確定性推理
    4.1 格值命題邏輯系統(tǒng)LVPL
    4.2 LVPL中的不確定性推理規(guī)則及模態(tài)推理
    4.3 LVPL中的FMP和FMT規(guī)則及還原性定理
    4.4 推理結(jié)果的比較
第5章 格值一階邏輯系統(tǒng)L_(VFL)中的不確定性推理
    5.1 格值一階邏輯系統(tǒng)LVFL
    5.2 LVFL中的廣義量詞及帶廣義量詞的不確定性推理
    5.3 廣義量詞的包含關(guān)系及推理
    5.4 LVFL中的FMP,FMT推理規(guī)則及還原性定理
    5.5 LVFL中帶廣義量詞的SK(O|¨)LEM廣義范式
第6章 總結(jié)與展望
    6.1 總結(jié)
    6.2 展望
致謝
攻讀博士期間的科研論文情況



本文編號(hào)：3396647