基于泛邏輯學(xué)的邏輯關(guān)系柔性化研究

基于泛邏輯學(xué)的邏輯關(guān)系柔性化研究為了建立這種柔性化的邏輯體系，何華燦從模糊邏輯下手，在大量研究的基礎(chǔ)上，創(chuàng)立了泛邏輯學(xué)，實(shí)現(xiàn)了模糊邏輯關(guān)系的柔性化[2].根據(jù)泛邏輯學(xué)的觀點(diǎn)，模糊邏輯和概率邏輯都是它的詳細(xì)特例，它們?cè)谶壿嬯P(guān)系柔性化方面的思想是一致的.因而，基于泛邏輯學(xué)實(shí)現(xiàn)模糊邏輯關(guān)系柔性化的思想和方法，研究概率邏輯關(guān)系的柔性化問(wèn)題，是在泛邏輯學(xué)框架內(nèi)實(shí)現(xiàn)概率邏輯關(guān)系柔性化的一條有效途徑.1.泛邏輯學(xué)實(shí)現(xiàn)模糊邏輯關(guān)系柔性化的思想和方法泛邏輯學(xué)針對(duì)模糊邏輯關(guān)系存在的缺陷，基于三角范數(shù)理論，利用相關(guān)性解決了模糊命題聯(lián)合詞為什么應(yīng)該是一組連續(xù)可變的算子簇和怎樣使用該算子簇中的算子這樣兩個(gè)重大問(wèn)題，真正實(shí)現(xiàn)了模糊邏輯關(guān)系的柔性化.1.1模糊邏輯關(guān)系存在的重要缺陷在模糊邏輯中，其命題真值能夠通過(guò)在[0，1]區(qū)間連續(xù)取值的從屬函數(shù)#來(lái)刻畫(huà)，是柔性的.但其邏輯關(guān)系卻只能通過(guò)固定的模糊運(yùn)算聯(lián)合詞1，A，V，^，0來(lái)實(shí)現(xiàn)，是剛性的.由于剛性的模糊運(yùn)算聯(lián)合詞僅能用來(lái)描繪敘述那種完全確定的邏輯關(guān)系，而無(wú)法描繪敘述現(xiàn)實(shí)中大量存在的不確定的邏輯關(guān)系，因而邏輯關(guān)系的剛性化問(wèn)題是模糊邏輯存在的一個(gè)重要缺陷.這一缺陷說(shuō)明，模糊邏輯關(guān)系不該該是一組固定不變的算子，而應(yīng)該用一組不確定的算子簇來(lái)定義.為了尋找這組不確定的算子簇，有關(guān)科學(xué)家進(jìn)行了大量探尋求索，早在泛邏輯學(xué)出現(xiàn)之前人們就已經(jīng)提出了一些修補(bǔ)性方法.例如，模糊與/或算子對(duì)?/?，模糊蘊(yùn)含/等價(jià)算子對(duì)，廣義模糊算子對(duì)⑩*/?*，基于三角范數(shù)的模糊算子等.但是，這些方法都沒(méi)有能真正實(shí)現(xiàn)模糊邏輯關(guān)系的連續(xù)可變性，也都沒(méi)有能從邏輯學(xué)上找到存在這種連續(xù)可變運(yùn)算模型的合理性和客觀根據(jù).1.2泛邏輯學(xué)實(shí)現(xiàn)模糊邏輯關(guān)系柔性化的思想泛邏輯學(xué)以為模糊命題的相關(guān)性是引起模糊邏輯關(guān)系柔性的重要原因，它把相關(guān)性分為廣義自相關(guān)性和廣義相關(guān)性兩種類型，并用這兩種相關(guān)性來(lái)刻畫(huà)各種邏輯關(guān)系的柔性.1.2.1用廣義自相關(guān)性描繪敘述模糊非運(yùn)算的柔性廣義自相關(guān)性是指一個(gè)命題與其非命題之間的關(guān)聯(lián)性，它由模糊命題真值的測(cè)量誤差所引起，并將影響到模糊非命題的真值.廣義自相關(guān)性表現(xiàn)的是一種連續(xù)變化的特性，其大小是用一個(gè)在[0，1]區(qū)間連續(xù)變化的廣義自相關(guān)系數(shù)從0SK1)來(lái)表示的i代表的是模糊非運(yùn)算W(x，幻的風(fēng)險(xiǎn)水平，它的一些特殊值的含義如下：當(dāng)k=1時(shí)，表示邏輯上的最大否認(rèn)，對(duì)應(yīng)于最冒險(xiǎn)估計(jì)；當(dāng)*=0.5時(shí)，表示邏輯上的適度否認(rèn)，對(duì)應(yīng)于精到準(zhǔn)確估計(jì)；當(dāng)k=0時(shí)，表示邏輯上的最小可能否認(rèn)，對(duì)應(yīng)于保險(xiǎn)估計(jì).而且當(dāng)k由1^0時(shí)，W(x，fc)能夠在這些狀況之間平滑過(guò)渡，進(jìn)而能夠?qū)崿F(xiàn)邏輯非運(yùn)算的柔性化.1.2.2用廣義相關(guān)性描繪敘述模糊與/或運(yùn)算的柔性廣義相關(guān)性是指不同模糊命題之間的關(guān)聯(lián)性，它將影響到二元復(fù)合命題的真值計(jì)算.泛邏輯學(xué)中的廣義相關(guān)性又包括了模糊命題之間的相生和相克關(guān)系.其中，相生關(guān)系是各種包涵關(guān)系和共生關(guān)系的抽象，可用一個(gè)在[-1，1]區(qū)間連續(xù)變化的相生系數(shù)g來(lái)描繪敘述，當(dāng)g=1時(shí)，表示為最大相吸狀況;g=0時(shí)，表示為獨(dú)立狀況;g=-1時(shí)，表示為最大相斥狀況.相克關(guān)系是各種抑制關(guān)系(如敵對(duì)關(guān)系和生存競(jìng)爭(zhēng)關(guān)系)的抽象，可用一個(gè)在[-1，1]區(qū)間連續(xù)變化的相克系數(shù)f來(lái)描繪敘述，當(dāng)戶1時(shí)，表示為最大相克狀況f=0時(shí)，表現(xiàn)為僵持狀況f=-1時(shí)，表示為最小相克狀況.實(shí)際上，最小相克與最大相斥是同一種狀況，即相生性與相克性的分界限.它說(shuō)明，相生性與相克性既互相獨(dú)立，又可連續(xù)過(guò)渡.泛邏輯學(xué)對(duì)廣義相關(guān)性的這種連續(xù)變化特性是用一個(gè)統(tǒng)一描繪敘述相關(guān)性大小的廣義相關(guān)系數(shù)叫0幼幻)來(lái)表示的.對(duì)h的一些特殊值，受其控制的與運(yùn)算取，#)和或運(yùn)算處，#)的情況如下：可見(jiàn)，當(dāng)h在[0，1]區(qū)間由1^0時(shí)，r(x，y，h)和S(x，y，h)能夠在這些狀況之間平滑過(guò)渡，這就為實(shí)現(xiàn)與域關(guān)系的柔性化提供了可能.1.3泛邏輯學(xué)實(shí)現(xiàn)模糊邏輯關(guān)系柔性化的方法泛邏輯學(xué)實(shí)現(xiàn)模糊邏輯關(guān)系柔性化的基本方法是，首先根據(jù)不確定性問(wèn)題的模糊測(cè)度能否存在誤差，將其劃分為零級(jí)不確定性問(wèn)題或一級(jí)不確定性問(wèn)題，然后對(duì)零級(jí)或一級(jí)不確定性問(wèn)題，分別用零級(jí)范數(shù)完好簇或一級(jí)范數(shù)完好超簇來(lái)處理.1.3.1零級(jí)/一級(jí)不確定性問(wèn)題零級(jí)不確定性問(wèn)題是手印糊測(cè)度無(wú)誤差，能夠精到準(zhǔn)確得到模糊命題真值的問(wèn)題.此時(shí)，*=0.5，模糊非運(yùn)算是單一的，即W(x，0.5)=W(x)=1-x.但由于廣義相關(guān)性的存在，模糊與/或/蘊(yùn)含/等價(jià)等運(yùn)算并不單一，而是一組受h控制的變化的公式簇，即零級(jí)TISIIIQ范數(shù)完好簇.一級(jí)不確定性問(wèn)題是手印糊測(cè)度有誤差，不能精到準(zhǔn)確得到模糊命題真值的問(wèn)題.此時(shí)，0.5，模糊非運(yùn)算不再單一，而是一組受k控制的變化的公式簇，即N性生成元完好簇.同樣，由于廣義相關(guān)性的存在，其模糊與/或/蘊(yùn)含/等價(jià)等算子也不單一，而是一組受k和h控制的變化的公式簇，即一級(jí)TISIIIQ范數(shù)完好超簇.1.3.2N范數(shù)與N范數(shù)完好簇N范數(shù)是三角范數(shù)理論中研究的一個(gè)牽涉模糊非運(yùn)算的算子，也是泛邏輯學(xué)研究模糊非運(yùn)算的數(shù)學(xué)基礎(chǔ).利用N范數(shù)，能夠從理論上解釋和定義廣義自相關(guān)性對(duì)模糊非運(yùn)算模型的影響.在零級(jí)不確定性問(wèn)題中，k=0.5，模糊非運(yùn)算為N范數(shù)的一個(gè)特例.但在一級(jí)不確定性問(wèn)題中，0.5，模糊非運(yùn)算N(x1-x.這時(shí)，需要用一個(gè)受k控制的廣義自相關(guān)性修正函數(shù)來(lái)對(duì)誤差進(jìn)行修正，這個(gè)修正函數(shù)被稱為一級(jí)泛邏輯運(yùn)算的N性生成元完好簇，由它又可生成N范數(shù)完好簇.常用的N性生成元完好簇模型有多項(xiàng)式模型和指數(shù)模型兩種，與其對(duì)應(yīng)的N范數(shù)完好簇也有多項(xiàng)式模型N和指數(shù)模型鳩兩種.它們分別是：由于廣義自相關(guān)系數(shù)k是連續(xù)變化的，因而會(huì)有無(wú)限多個(gè)連續(xù)的N算子.其中k=0.5僅僅是N算子的一個(gè)特例，其值燦^)=￥^，0.5)=￥^)，此時(shí)N算子退化為Zadeh算子.1.3.3T/S范數(shù)完好簇與T/S范數(shù)完好超簇T范數(shù)和S范數(shù)是三角范數(shù)理論研究中牽涉到模糊與/或運(yùn)算的兩個(gè)算子，也是泛邏輯學(xué)研究模糊與/或運(yùn)算的數(shù)學(xué)基礎(chǔ).利用T/S范數(shù)，能夠從理論上解釋和定義廣義相關(guān)性對(duì)模糊與/或運(yùn)算模型的影響.(1)零級(jí)TIS范數(shù)完好簇對(duì)零級(jí)不確定性問(wèn)題，模糊與/或運(yùn)算僅受廣義相關(guān)性的影響，因而可分別用兩個(gè)僅受h控制的函數(shù)F(x，h)和Go(x，h)來(lái)表示這種影響.這兩個(gè)函數(shù)分別被稱為零級(jí)S性生成元完好簇和零級(jí)T性生成元完好簇，由它們所分別生成的零級(jí)T范數(shù)完好簇7Ix，y，h)和S范數(shù)完好簇S(x，y，h)如下：由于廣義相關(guān)系數(shù)h是連續(xù)變化的，因而會(huì)有無(wú)限多個(gè)連續(xù)的7Ix，y，h)算子和S(x，y，h)算子.其中，h=1是T算子的一個(gè)特例，其值7^，^)=7^，，1)=7^，0，退化為Zadeh算子.同樣，h=1也是S算子的一個(gè)特例，其值S(x，y，h)=S(x，y，1)=S(x，y)，也退化為Zadeh算子.(2)—級(jí)T/S范數(shù)完好超簇對(duì)一級(jí)不確定性問(wèn)題，h和k都會(huì)對(duì)模糊與/或運(yùn)算產(chǎn)生影響，因而需要分別用兩個(gè)均遭到h和k控制的函數(shù)F(x，hk)和G(x，hk)來(lái)表示這種影響.這兩個(gè)函數(shù)分別被稱為一級(jí)泛邏輯運(yùn)算的T性生成元完好超簇和^性生成元完好超簇.由它們又可分別生成一級(jí)T范數(shù)完好超簇7Ix，^k)和一級(jí)S范數(shù)完好超簇辦，少，從).以純指數(shù)型為例，一級(jí)T/S范數(shù)完好超簇分別為同樣，由于廣義自相關(guān)系數(shù)k和廣義相關(guān)數(shù)h是連續(xù)變化的，因而也會(huì)有無(wú)限多個(gè)連續(xù)的7Ix，y，hk)算子和S(x，y，hk)算子.其中k=0.5是一個(gè)特例，此時(shí)T(x，y，hk)和S(x，y，hk)均退化為零級(jí)模型.1.3.4T/S相容算子簇上述TIS算子簇都是與/或運(yùn)算的近似公式，當(dāng)k=0.5，^e[0.5，1]時(shí)，經(jīng)典模糊測(cè)度知足可加性，其T/S算子知足相容律，可使用精到準(zhǔn)確的Frank算子簇.Frank算子簇是當(dāng)前唯一被發(fā)現(xiàn)的一對(duì)相容算子簇，其定義為Frank算子簇是零級(jí)算子簇，它只要相容部分，沒(méi)有相克部分，僅適應(yīng)于he(0.5，1)的情況，即概率邏輯的討論范圍.1.3.5I/Q范數(shù)完好簇與1IQ范數(shù)完好超簇對(duì)于泛蘊(yùn)含算子I和泛等價(jià)算子Q，可以根據(jù)零級(jí)/一級(jí)不確定性問(wèn)題的劃分，將其分為零級(jí)IIQ范數(shù)完好簇和一級(jí)I/Q范數(shù)完好超簇，而且它們都能夠由前面討論過(guò)的不同級(jí)其余NITIS算子直接推出.至于其推導(dǎo)經(jīng)過(guò)和由該經(jīng)過(guò)所導(dǎo)出的零級(jí)IIQ范數(shù)完好簇1^，^)〕，^)和一級(jí)IIQ范數(shù)完好超簇I(x，y，h，k)/Q(x，y，h，k)可以下為參考文獻(xiàn).通過(guò)以上討論能夠看出，無(wú)論是NITISIIIQ范數(shù)完好簇，還是TISIIIQ范數(shù)完好超簇，都是受k或h控制的連續(xù)函數(shù).因而，由它們所描繪敘述的模糊邏輯關(guān)系也都應(yīng)該是連續(xù)變化的，即真正實(shí)現(xiàn)了模糊邏輯關(guān)系的柔性化.2.基于泛邏輯學(xué)的概率邏輯關(guān)系柔性化問(wèn)題概率是解決因隨機(jī)引起的不確定性問(wèn)題的一種有效方法，在現(xiàn)有的不確定推理方法中有不少是基于概率論的，例如確定性理論、主觀Bayes方法、證據(jù)理論等.但是，這些不確定性推理方法也僅僅僅是基于概率，而不能真正實(shí)現(xiàn)邏輯框架內(nèi)的概率邏輯不確定推理.產(chǎn)生這種現(xiàn)象的重要原因是概率邏輯本身存在著缺陷，尤其是存在著邏輯關(guān)系的剛性化問(wèn)題.2.1概率邏輯研究概述概率邏輯是由Keynes于1921年首先提出的，固然當(dāng)前已有多種不同的邏輯模型，但它們都還很不完善，各種模型都存在著本身的缺陷.2.1.1概率邏輯的概念在基于o代數(shù)的標(biāo)準(zhǔn)概率論中，概率是定義在標(biāo)準(zhǔn)概率空間005，P)上的.它知足非負(fù)性、規(guī)范性、可列可加性、有限可加性、次可加性、可減性、單調(diào)性、尸(必)=0及P卜a)=1-P⑷等，常用的概率運(yùn)算重要包含:補(bǔ)、加、乘、條件概率等.根據(jù)Camap的觀點(diǎn)，概率應(yīng)分為兩大類，一類是邏輯概率，是指概率的邏輯解釋;另一類是統(tǒng)計(jì)概率，是指概率的頻率解釋.概率邏輯就是指概率的邏輯解釋，它是在概率空間上定義的一個(gè)邏輯體系.2.1.2傳統(tǒng)概率邏輯的重要模型傳統(tǒng)概率邏輯模型重要包含基于標(biāo)準(zhǔn)概率空間的標(biāo)準(zhǔn)概率邏輯模型，基于概率最大熵原則的可能世界模型，以及擴(kuò)大概率空間的條件事件代數(shù)模型.(1)標(biāo)準(zhǔn)概率邏輯模型該模型是指在標(biāo)準(zhǔn)概率空間上建立的一種標(biāo)準(zhǔn)概率邏輯體系.卡爾納普(Carnap)概率邏輯和波普爾(Poroer)概率邏輯是這種模型的兩個(gè)典型代表.Popper概率邏輯包含Popper先驗(yàn)概率和Popper條件概率.其中，Popper先驗(yàn)概率是由Popper基于概率邏輯的自立性描繪敘述于1938年提出的先驗(yàn)概率函數(shù)來(lái)定義的，該函數(shù)的基天性質(zhì)包含:非負(fù)性、正規(guī)性、可加性、交換律、結(jié)合律、冪等律.Po^er先驗(yàn)概率函數(shù)的這些基天性質(zhì)通常被看做是先驗(yàn)概率函數(shù)的標(biāo)準(zhǔn)公理系統(tǒng).Po：pper條件概率是由Popper本人基于概率邏輯的自立性描繪敘述，分別于1955年和1959年提出的條件概率函數(shù)來(lái)定義的，該條件概率函數(shù)的基天性質(zhì)包含:非負(fù)性、正規(guī)性、可加性、乘法律、左交換律、右交換律.Carnap概率邏輯也包含Carnap先驗(yàn)概率和Carnap條件概率，其先驗(yàn)概率和條件概率分別是由Carnap(1950)函數(shù)和Carnap(1952)函數(shù)所描繪敘述的.其中，Carnap(1950)函數(shù)實(shí)際上是在前述Popper先驗(yàn)概率函數(shù)標(biāo)準(zhǔn)公理系統(tǒng)的基礎(chǔ)上增長(zhǎng)了下面限制條件：(2)可能世界概率邏輯模型該模型是Nilsson于1986年基于概率分布的最大熵原則提出的一種表示不確定推理的概率邏輯模型[5]，該模型的概率邏輯空間可用一個(gè)四元組(廠兌雙尸)來(lái)表示.其中:/是經(jīng)典邏輯中的命題集，O是/I的相容真值指派域，萬(wàn)是/上的概率邏輯真值分布，P是^上的一個(gè)概率分布.它們之間的關(guān)系可用矩陣表示為乃=FP.該矩陣表示形式實(shí)際上是一個(gè)非線性方程組.(3)條件事件代數(shù)模型條件事件代數(shù)是在確保規(guī)則概率與條件概率相容的前提下，把布爾代數(shù)上的邏輯運(yùn)算推廣到條件事件(規(guī)則)集合中得到的一個(gè)代數(shù)系統(tǒng).在二值邏輯中，邏輯蘊(yùn)含算子是一個(gè)主要的推理公式，但在概率邏輯中，卻不能用Pp^a)對(duì)P(啪)進(jìn)行度量.Lewis定理表示清楚，在概率空間中無(wú)法給出一種與尸(#)相一致的P04a)的定義.其重要原因是，在基于o代數(shù)的標(biāo)準(zhǔn)概率論中，概率空間是由一些非條件事件及其相應(yīng)的概率分配所決定的，而條件事件在概率空間(級(jí)B，P)中沒(méi)有被定義.因而，基于標(biāo)準(zhǔn)概率空間的概率邏輯也就無(wú)法進(jìn)行條件推理了.要解決條件概率推理問(wèn)題，就必需對(duì)僅包括基本領(lǐng)件的標(biāo)準(zhǔn)概率空間Ofl，B，P)進(jìn)行擴(kuò)大，使其能夠包括條件事件.關(guān)于條件事件代數(shù)的定義，現(xiàn)有多種描繪敘述方式，GNW條件事件代數(shù)是其中較有代表性的一種.該代數(shù)系統(tǒng)是從標(biāo)準(zhǔn)概率空間出發(fā)，去尋找一個(gè)新的可測(cè)空間(島方)，使該可測(cè)空間不僅包括概率論中的基本領(lǐng)件，而且還包括諸如“ifEthenH〞等規(guī)則形式的“條件事件〞，這樣就能夠進(jìn)行條件推理了.2.1.3傳統(tǒng)概率邏輯模型的簡(jiǎn)單分析從上述傳統(tǒng)概率模型的介紹能夠看出，標(biāo)準(zhǔn)概率邏輯模型并沒(méi)有突破標(biāo)準(zhǔn)概率空間的限制，是一種在邏輯框架內(nèi)解決概率邏輯不確定性推理的方法.但由于標(biāo)準(zhǔn)概率空間中僅包括了基本領(lǐng)件，沒(méi)有包括條件事件，因而它無(wú)法實(shí)現(xiàn)邏輯框架內(nèi)的條件推理.另外，該模型中定義的邏輯關(guān)系都是剛性化的，這種剛性化的邏輯關(guān)系無(wú)法知足現(xiàn)實(shí)問(wèn)題對(duì)邏輯關(guān)系柔性化的需求.可能世界概率邏輯模型是通過(guò)擴(kuò)大概率空間來(lái)實(shí)現(xiàn)的.雖然它能夠用類似于經(jīng)典邏輯中的假言推理來(lái)解決概率推理中的概率蘊(yùn)含問(wèn)題，但仍存在下面兩個(gè)嚴(yán)重問(wèn)題:第1，這種模型僅適應(yīng)于命題集較小的情況，當(dāng)命題集較大時(shí)，非線性方程組的次數(shù)會(huì)隨命題集中命題個(gè)數(shù)的增長(zhǎng)而升高;第2，利用解方程組的方法超越了邏輯學(xué)的范疇，沒(méi)有能在邏輯框架內(nèi)解決問(wèn)題.GNW條件事件代數(shù)模型固然通過(guò)擴(kuò)大概率邏輯空間能夠解決條件推理問(wèn)題，但也存在兩個(gè)嚴(yán)重缺陷:第1，該模型不是完全布爾型的，概率論中的一些典型定理在該模型中已不再適用;第2，對(duì)概率測(cè)度P擴(kuò)張以后得到的P。，也已不是一個(gè)概率測(cè)度.例如，這些都是人們所不希望的.因而，條件事件代數(shù)也不是在邏輯框架內(nèi)解決概率邏輯推理問(wèn)題的最佳方法.通過(guò)對(duì)這些傳統(tǒng)概率模型的分析能夠看出，要解決概率邏輯關(guān)系的柔性化問(wèn)題，實(shí)現(xiàn)邏輯框架內(nèi)的概率邏輯不確定推理，必需尋求新的邏輯學(xué)模型.泛邏輯學(xué)的出現(xiàn)為解決這一問(wèn)題提供了可能.2.2概率邏輯關(guān)系柔性化的思想從泛邏輯學(xué)的角度來(lái)看，廣義相關(guān)系數(shù)^=0.75是一種獨(dú)立相關(guān)狀況，對(duì)應(yīng)著概率算子：它說(shuō)明，現(xiàn)有概率邏輯僅僅是泛邏輯學(xué)在k=0，^e[0.5，1]時(shí)的一種特例.基于泛邏輯學(xué)的這一思想，從邏輯關(guān)系柔性化的角度分析概率邏輯算子^，v，A及|，可得到下面兩個(gè)主要啟示：(1)概率邏輯作為泛邏輯學(xué)在A=0.5，he[0.5，1]時(shí)的一個(gè)特例，其算子將遭到廣義相關(guān)系數(shù)h的影響.即當(dāng)h在區(qū)間[0.5，1]中發(fā)生變化時(shí)，概率邏輯算子應(yīng)該隨著h的改變而作柔性變化.但是，現(xiàn)有概率邏輯算子^，v，A都沒(méi)有考慮廣義相關(guān)性的影響，也都沒(méi)有建立這些邏輯算子和h之間的聯(lián)絡(luò).實(shí)際上，應(yīng)該能夠在泛邏輯學(xué)框架內(nèi)建立起這種受h控制的柔性的^，v，A算子函數(shù).