包研科，汪培莊，郭嗣琮

（遼寧工程技術(shù)大學(xué) 智能工程與數(shù)學(xué)研究院，遼寧 阜新 123000）

自1982年汪培莊[1]提出因素空間(factors space，F(xiàn)S)理論，時(shí)至今日，35年來(lái)理論與應(yīng)用的發(fā)展，充分展示了FS理論在解釋隨機(jī)性根源和概率規(guī)律的數(shù)學(xué)實(shí)質(zhì)，融合隨機(jī)數(shù)學(xué)與模糊數(shù)學(xué)的技術(shù)方面思想的深刻性，奠定了FS理論作為知識(shí)工程的思想框架的地位。

FS理論的早期成果可見(jiàn)汪培莊文集[2]。1994年汪培莊、李洪興合著[3]《知識(shí)表示的數(shù)學(xué)理論》一書(shū)系統(tǒng)地論述了FS理論在知識(shí)獲取、知識(shí)表示、知識(shí)管理和知識(shí)利用方面的數(shù)學(xué)思想與原理?！赌：?jì)算系統(tǒng)與模糊計(jì)算機(jī)》[4]及其相關(guān)的工程實(shí)踐標(biāo)志著FS理論與智能工程設(shè)計(jì)理念的完美結(jié)合，其中給出的概念內(nèi)涵和外延相互轉(zhuǎn)換的可操作方法，實(shí)現(xiàn)了決策樹(shù)算法和粗糙集算法沒(méi)有實(shí)現(xiàn)的“雙向轉(zhuǎn)換的目的”。其后，李洪興[5]關(guān)于《因素空間理論與知識(shí)表示的數(shù)學(xué)框架》長(zhǎng)達(dá)5年的系列討論，不僅推進(jìn)了FS理論的發(fā)展，也奠定了FS理論在知識(shí)發(fā)現(xiàn)與智能工程領(lǐng)域廣泛應(yīng)用的基礎(chǔ)。袁學(xué)海[6-8]從范疇論的角度對(duì)FS的結(jié)構(gòu)問(wèn)題進(jìn)行了深入討論；在FS理論的應(yīng)用方面，劉增良[9-13]在因素神經(jīng)網(wǎng)絡(luò)技術(shù)，軍事信息戰(zhàn)與網(wǎng)絡(luò)戰(zhàn)領(lǐng)域的研究成績(jī)斐然。此外，基于FS理論的專(zhuān)家系統(tǒng)[14-15]、多傳感器決策融合[16]、控制仿真[17-19]、模式識(shí)別[20-21]、安全科學(xué)[22-24]等應(yīng)用領(lǐng)域的研究，體現(xiàn)了FS作為智能科學(xué)的數(shù)學(xué)空間理論的價(jià)值和發(fā)展前景。

在KDD問(wèn)題的研究中，1998年何清[25]討論了基于FS和模糊聚類(lèi)的概念形成方法，2013年汪培莊發(fā)表《因素空間與因素庫(kù)》一文[26]，推動(dòng)FS理論在KDD領(lǐng)域的應(yīng)用。近年來(lái)，關(guān)于FS與數(shù)據(jù)科學(xué)的關(guān)系[27]，基于FS理論的分類(lèi)算法[28-29]、文本挖掘方法[30-31]等相關(guān)研究也有一定的進(jìn)展。

FS理論生根于數(shù)學(xué)，反映認(rèn)識(shí)論特點(diǎn)，是KDD和概念格生成的一種自然有效的數(shù)學(xué)方法。然而，早期奠基性工作建立在模糊數(shù)學(xué)的基礎(chǔ)上，融合了隨機(jī)數(shù)學(xué)和抽象代數(shù)的思想、方法和語(yǔ)言；FS理論的高起點(diǎn)在保證數(shù)學(xué)嚴(yán)謹(jǐn)性的同時(shí)，也為其普及推廣樹(shù)立了一道屏障。FS的經(jīng)典定義可見(jiàn)文獻(xiàn)[3]，此后的理論與應(yīng)用研究基本上遵循了這一定義的思想和描述。近年來(lái)，隨著FS領(lǐng)域應(yīng)用和教學(xué)的深入，出現(xiàn)了對(duì)FS定義的領(lǐng)域適應(yīng)性描述和擴(kuò)展[32-33]。2013年汪培莊在討論FS在數(shù)據(jù)科學(xué)中的應(yīng)用問(wèn)題時(shí)，對(duì)FS的定義進(jìn)行了修正[26]。

為能夠相對(duì)通俗地詮釋FS理論的基本思想和原理，2015年包研科[34]基于認(rèn)知本體論原理，梳理了FS理論中的基本概念和術(shù)語(yǔ)，給出了有別于FS經(jīng)典定義的描述。這一描述充分體現(xiàn)了汪培莊“因素是分析的維度，是變異的指標(biāo)和變量名稱(chēng)，是矛盾的編碼，是事物形成和描述的基因。以因素為軸所張成的坐標(biāo)空間就是因素空間，它為事物描述和思維形式提供了普適性的坐標(biāo)框架”[27]的論述精神。文獻(xiàn)[34]對(duì)FS的定義，最大的變化是對(duì)因素的順序關(guān)系、算符的意義給出了符合認(rèn)知本體論原理的描述，形式上同經(jīng)典定義有所不同，并再次觸發(fā)了對(duì)FS結(jié)構(gòu)問(wèn)題的思考。

本文的工作是文獻(xiàn)[34]的延續(xù)，進(jìn)一步討論FS的結(jié)構(gòu)問(wèn)題。

1 預(yù)備知識(shí)

為方便對(duì)本文工作的理解，作為預(yù)備知識(shí)，簡(jiǎn)要介紹文獻(xiàn)[34]中給出的原理、概念與術(shù)語(yǔ)、公理和關(guān)鍵命題，部分內(nèi)容筆者根據(jù)近期研究予以必要的重述。復(fù)述與重述不做標(biāo)識(shí)，有需要了解期間變化的讀者可同文獻(xiàn)[34]進(jìn)行比對(duì)。

1.1 認(rèn)知本體論原理

因素是認(rèn)知工具，因素分析應(yīng)遵循認(rèn)知本體論原理，因素空間的結(jié)構(gòu)應(yīng)體現(xiàn)和摹寫(xiě)人類(lèi)自身的認(rèn)知結(jié)構(gòu)與思維運(yùn)動(dòng)規(guī)律。

認(rèn)知由概念表達(dá)，概念是人類(lèi)思維體系中最基本的構(gòu)筑單位。概念通常由內(nèi)涵與外延兩個(gè)邏輯術(shù)語(yǔ)表達(dá)。內(nèi)涵往往采用“上位概念+本位屬性”的邏輯形式描述，而外延則是概念所描述的事項(xiàng)的集合。

認(rèn)知形成的標(biāo)志是概念的形成，其間的思維運(yùn)動(dòng)，主要由分析和綜合兩種思維方法構(gòu)成。分析的信息加工與處理技術(shù)是解析，實(shí)現(xiàn)方式是將事物拆分為更小的單元進(jìn)行管理和研究，或者表述為“發(fā)現(xiàn)事物的個(gè)性特征”。綜合的信息加工與處理技術(shù)是概括，實(shí)現(xiàn)方式是將一些具有相同屬性的事物歸納為更大的單元進(jìn)行管理和研究，或者表述為“對(duì)事物的一類(lèi)屬性進(jìn)行綜合”。

對(duì)一個(gè)概念的解析稱(chēng)為概念分化，是下位學(xué)習(xí)。對(duì)一些事物的共有屬性進(jìn)行概括，利用學(xué)習(xí)者已有的認(rèn)知結(jié)構(gòu)形成新的概念稱(chēng)為概念同化，是上位學(xué)習(xí)。

在認(rèn)知科學(xué)的基本概念與原理的基礎(chǔ)上，關(guān)于FS的認(rèn)知本體論原理，本文吸收了馮嘉禮[35]關(guān)于《思維與智能科學(xué)中的性質(zhì)論方法》的一些思想原理，參考了文獻(xiàn)[36]的討論。后續(xù)關(guān)于FS數(shù)學(xué)結(jié)構(gòu)的討論遵循下列認(rèn)知本體論原理：

1) 一個(gè)因素總是特定論域上的因素，離開(kāi)論域談?wù)撘蛩厥菦](méi)有意義的。更進(jìn)一步，一個(gè)因素總是特定論域上特定問(wèn)題的因素，離開(kāi)問(wèn)題無(wú)從討論因素的認(rèn)知功能。論域、因素和由因素形成的關(guān)于問(wèn)題的認(rèn)知結(jié)果構(gòu)成一個(gè)特定的思維空間。

2) 概念的分化與同化動(dòng)態(tài)平衡。在概念形成過(guò)程中，思維在解析與概括的交替運(yùn)用中發(fā)展。解析強(qiáng)化內(nèi)涵知識(shí)，促進(jìn)概念分化；概括豐富外延認(rèn)知，促進(jìn)概念同化。在這個(gè)過(guò)程中，內(nèi)涵與外延存在反變關(guān)系，即內(nèi)涵擴(kuò)張必然減小外延，反之內(nèi)涵縮減將導(dǎo)致外延擴(kuò)張。一個(gè)概念的形成，是一定認(rèn)知階段上分化與同化的暫時(shí)平衡。

3) 概念的內(nèi)涵與外延對(duì)合，即內(nèi)涵與外延所描述的事項(xiàng)一致。在概念形成過(guò)程中，解析與概括之間的差異是思維的技術(shù)性差異，不同技術(shù)產(chǎn)生的信息在思維運(yùn)動(dòng)中以概念的內(nèi)涵與外延對(duì)合為目標(biāo)糾纏運(yùn)動(dòng)，辯證統(tǒng)一。

1.2 基本概念

基于認(rèn)知本體論原理的FS的基本概念、術(shù)語(yǔ)和符號(hào)約定如下：

1) 論域是一個(gè)關(guān)于問(wèn)題的本體論研究對(duì)象的非空可列集合，記為。因素是定義在論域上的一個(gè)滿映射，記為式中：集合稱(chēng)為的相空間(寓意必須考慮映射像的分布特征)，描述論域上的一類(lèi)本體論性態(tài)。

約定兩個(gè)特殊因素：

差運(yùn)算的目的是“從一個(gè)因素中排除另一個(gè)因素的干涉效應(yīng)”，記為，定義為

1.3 基本命題

約定如下兩個(gè)公理：

在前述概念(定義)和兩個(gè)公理的基礎(chǔ)上，可以證明下列命題：

1.4 因素空間

在不引起誤會(huì)的場(chǎng)合，不必刻意區(qū)分FS和CIS的不同，即一個(gè)因素空間既是一個(gè)完備信息系統(tǒng)。

引進(jìn)CFS的目的是方便描述結(jié)構(gòu)化數(shù)據(jù)分析問(wèn)題。文獻(xiàn)[34]中討論了因素概念的外延，隨機(jī)變量是基本的數(shù)量化因素。若有限個(gè)二階矩隨機(jī)變量各自有不同的概率分布，則BF，于是就是一個(gè)結(jié)構(gòu)化信息系統(tǒng)。CFS在結(jié)構(gòu)化數(shù)據(jù)分析的應(yīng)用中，只需將樣本空間理解為論域，而代數(shù)等價(jià)于(S)，相應(yīng)概念的對(duì)應(yīng)關(guān)系可作如下約定：

相應(yīng)的，信息系統(tǒng)

CFS的概念有助于FS分析方法與技術(shù)體系的建構(gòu)，有助于理解因素空間同概率空間、希爾伯特空間和張量空間的關(guān)系。

前述討論是對(duì)因素空間宏觀結(jié)構(gòu)的一種公理化詮釋?zhuān)湟饬x在于為信息系統(tǒng)分析提供了一個(gè)統(tǒng)一的語(yǔ)境場(chǎng)。

2 因素空間的結(jié)構(gòu)

2.1 交錯(cuò)自同構(gòu)變換與回旋格

通常認(rèn)為，格是認(rèn)知描述與形式概念分析理想的代數(shù)系統(tǒng)[2,36]。

本文引進(jìn)格上的交錯(cuò)自同構(gòu)變換和回旋格的概念，然后給出FS對(duì)偶回旋定理，構(gòu)成對(duì)FS代數(shù)結(jié)構(gòu)的新認(rèn)知。

下面詮釋格上交錯(cuò)自同構(gòu)變換的幾何意義。

若將式(1)理解為一條定寬的紙帶，從左到右摹寫(xiě)式(1)中的格層與偏序關(guān)系，最左端為0，最右端為1。

記為

圖 1 回旋格的幾何構(gòu)型Fig. 1 The geometry of convolution lattice

2.2 對(duì)偶回旋定理

上述結(jié)論的建立，數(shù)學(xué)原理基于認(rèn)知原理，遵循概念內(nèi)涵與外延的對(duì)合性與反變關(guān)系原理，因素解析能力的大小主導(dǎo)因素的序關(guān)系，偏序格受順序公理、對(duì)合定理、反變關(guān)系定理和排序定理的影響，同數(shù)學(xué)上經(jīng)典的偏序格不盡相同。因此，在代數(shù)格中，雖然形式運(yùn)算性質(zhì)同數(shù)學(xué)經(jīng)典的代數(shù)格描述一致，但內(nèi)在運(yùn)算機(jī)理有所不同。

1) 將因素大小的定義

變異為

2) 將順序公理

變異為

在上述3個(gè)約定下，需要系統(tǒng)的修改、重述1.3節(jié)涉及序關(guān)系的命題，其他命題形式不變。修改后的相關(guān)命題如下：

認(rèn)知本體論的解釋?zhuān)好}2’由命題2描述概念內(nèi)涵與外延的反變關(guān)系轉(zhuǎn)變?yōu)槊枋鰧?duì)外延的限制。

認(rèn)知本體論的解釋?zhuān)好}7’和命題8’修改了序關(guān)系與代數(shù)運(yùn)算的聯(lián)系規(guī)則，將因素固有的概括功能從“隱性”表達(dá)轉(zhuǎn)變?yōu)椤帮@性”表達(dá)。

綜上所述，得到下面的定理1。

因素是認(rèn)知工具，F(xiàn)S是認(rèn)知科學(xué)的數(shù)學(xué)模型。有別于Boole代數(shù)，F(xiàn)S的本質(zhì)在于其回旋性，反映了概念形成過(guò)程中分化與同化的雙向統(tǒng)一性，具體地講：

1) FS的回旋性反映概念內(nèi)涵與外延的對(duì)合性。在論域上，最小元形成完全概括性認(rèn)知，最大元形成徹底的個(gè)性化認(rèn)知。因此，在對(duì)論域形成的終極認(rèn)知即“論域中的每一個(gè)對(duì)象都是不同的個(gè)體，同時(shí)所有對(duì)象又是一個(gè)整體”的意義上，因素和是等效的。在解析過(guò)程中，零因素是析運(yùn)算的單位元，也是合運(yùn)算的零元。反過(guò)來(lái)，在概括過(guò)程中，全因素是析運(yùn)算的零元，也是合運(yùn)算的單位元。當(dāng)終極認(rèn)知形成之時(shí)，必有。

2) FS的回旋性反映概念內(nèi)涵與外延的反變關(guān)系。這種反變關(guān)系在實(shí)際的認(rèn)知過(guò)程中，往往表現(xiàn)為概念的分化與同化的糾纏，對(duì)于理解一個(gè)事物而言，究竟是概念分化多一些好，還是同化多一些好？概念的分化與同化的糾纏，反映概念形成過(guò)程中因素的解析力和概括力交互作用的過(guò)程。從論域?yàn)橐粋€(gè)整體的角度，解析導(dǎo)致“論域劃分”，破壞整體性；從論域中對(duì)象的個(gè)體性出發(fā)，概括是在論域劃分的基礎(chǔ)上重構(gòu)整體性。同理，從“屬性限定”揭示一類(lèi)事物共同特征的角度講是概括；而從概念的結(jié)構(gòu)、即“屬性限定”為概念分化技術(shù)的角度講是解析。在認(rèn)知過(guò)程中，概括與解析各具所長(zhǎng)，往往交互作用，殊途同歸。由因素認(rèn)知一個(gè)概念不外乎借助因素的解析力和概括力，辨識(shí)概念的內(nèi)涵(屬性限定)，界定概念的外延(論域劃分)，并使兩種過(guò)程形成同一認(rèn)知。

在FS中，因素運(yùn)算的認(rèn)知性質(zhì)由解析力主導(dǎo)，準(zhǔn)確地揭示了概念的內(nèi)涵與外延的反變關(guān)系。但是，概括力的隱化導(dǎo)致因素操作的代數(shù)性質(zhì)同經(jīng)典Boole代數(shù)理論中的部分運(yùn)算性質(zhì)形式不同。這種情況恰是FS的價(jià)值所在。由因素描述的認(rèn)知過(guò)程中，概括和解析不是兩種截然分開(kāi)的過(guò)程，僅僅是間或性的哪個(gè)表現(xiàn)更強(qiáng)勢(shì)一些，解析能力的提升(降低)導(dǎo)致概括能力的降低(提升)，總合覺(jué)察力不變。

3 結(jié)論與展望

本文工作對(duì)文獻(xiàn)[34]的核心概念進(jìn)行梳理，簡(jiǎn)化了公理性約定，凝練并重述核心命題，承接前期工作的理論與思想。著眼因素空間的理論與方法在信息科學(xué)領(lǐng)域的應(yīng)用，重述因素空間的定義，提出了自為因素、可基因素族、完備因素空間和正則因素空間的概念，初步地、明確勾勒出因素空間與信息系統(tǒng)之間的關(guān)系。

本文對(duì)FS理論的貢獻(xiàn)在于交錯(cuò)自同構(gòu)變換、回旋格和對(duì)偶回旋定理，突破了經(jīng)典論述關(guān)于FS結(jié)構(gòu)的認(rèn)知，為認(rèn)知科學(xué)討論若干基本概念之間關(guān)系和思維運(yùn)動(dòng)的問(wèn)題給出了可借鑒數(shù)學(xué)模型，為FS理論在人工智能領(lǐng)域的研究與應(yīng)用提供了新的切入點(diǎn)。

據(jù)此，本文對(duì)FS理論與應(yīng)用研究的展望如下：

1) 進(jìn)一步構(gòu)建FS理論“四位一體”的思想框架。在本文的討論中，一個(gè)中心思想就是“人工智能是人類(lèi)認(rèn)知模式的數(shù)學(xué)重構(gòu)”，在這個(gè)過(guò)程中，關(guān)于人工智能的數(shù)學(xué)思想、原理與算法必須同人的認(rèn)知模式高度契合，理論研究的思想框架必須同人類(lèi)問(wèn)題解決過(guò)程中的思維場(chǎng)高度契合，并同機(jī)器實(shí)現(xiàn)的技術(shù)特征高度契合。這一思想暗涵于本文之中，可以想象在以(U)為頂點(diǎn)的四面體中，底面(U))表示因素分析理論，側(cè)面(U))表示商空間理論，側(cè)面(U))表示張量分析理論，側(cè)面表示數(shù)據(jù)分析理論，每個(gè)棱表示兩個(gè)頂點(diǎn)之間的雙向信息通道。這個(gè)四面體構(gòu)成完整的FS理論的思想框架。

2) 發(fā)展基于FS對(duì)偶回旋定理的因素分析技術(shù)體系。本文發(fā)現(xiàn)的FS對(duì)偶回旋定理，明確了因素空間中信息的運(yùn)動(dòng)過(guò)程存在麥比烏斯環(huán)特征。佩捷、王蘭新在《從麥比烏斯到陳省身——麥比烏斯變換與麥比烏斯帶》一書(shū)中，較為系統(tǒng)地介紹了在代數(shù)幾何、拓?fù)鋵W(xué)的研究中發(fā)現(xiàn)的麥比烏斯帶有趣的性質(zhì)。麥比烏斯帶的存在源自實(shí)數(shù)域R的乘法群R*的不連通性，這一性質(zhì)更深刻的等價(jià)描述如下[37]：

另外，格代數(shù)與麥比烏斯代數(shù)存在天然的聯(lián)系[37-40]。

這表明，從純數(shù)學(xué)的角度看，F(xiàn)S對(duì)偶回旋定理所描述的數(shù)學(xué)性質(zhì)以不同的形式存在已久。但是，本文再發(fā)現(xiàn)的過(guò)程卻貫通了認(rèn)知科學(xué)與數(shù)學(xué)深刻的內(nèi)在聯(lián)系，鞏固了FS理論作為人工智能研究的思想框架和認(rèn)知科學(xué)研究的數(shù)學(xué)模型的地位。眾多的文獻(xiàn)給出了麥比烏斯變換群在其他數(shù)學(xué)分支，如數(shù)論、組合數(shù)學(xué)、微分幾何、黎曼幾何、羅巴切夫斯基幾何、模與叢論中的應(yīng)用，以及在圖像處理領(lǐng)域、通信科學(xué)、密碼學(xué)、量子物理學(xué)、遺傳生物學(xué)、有機(jī)化學(xué)、乃至機(jī)械與工程領(lǐng)域中的應(yīng)用，無(wú)不昭示著FS對(duì)偶回旋定理潛在的理論與應(yīng)用價(jià)值。