向量邏輯

向量邏輯是一種建基於矩陣代數的邏輯模型。它假設邏輯真值可成為一種向量,而一元和二元謂詞演算皆以矩陣的算法進行。

基本介紹

  • 中文名:向量邏輯
  • 分類:布爾代數、邏輯
  • 領域:數理科學
歷史,概念,一元謂詞運運算元,二元謂詞運運算元,德摩根定律,對位定律,二維多值邏輯,向量輸出值的標量投影,布爾多項式,

歷史

向量邏輯是人們在研究人工神經網路模型所涉及的多維矩陣及向量時受到啟發而發展出來的理論系統。它把邏輯代數以矩陣和向量的形式表示。這種邏輯形式被用來發展一種以複數進行運算的模糊邏輯。另外,以矩陣和向量作為媒介的邏輯運算亦套用於量子物理、計算機科學及光學。皮爾士及柯比是最早嘗試使用線性代數來演繹邏輯運算的數學家之一。印度生物物理學家G.N.拉馬錢德蘭曾經提出一種以矩陣及向量來演繹一種古典耆那教邏輯運算。該邏輯系統要求每個命題各自有獨立的證明,而不能以二值邏輯的互補性質進行論證。

概念

傳統的二值邏輯僅使用少量數學函式演算一個或兩個邏輯變數。在古典邏輯,值 1 被賦為“真”,而值 0 則被賦為“假”。相對地,一個二值的向量邏輯需要為“真”、“假”二值賦予兩個由實數組成的 q-維單位列向量 s 及 n,亦即:
(其中
一任意自然數,而“單位”的意思是兩個向量的範數為 1。又,s、n二者通常互相正交)。由這種關係可衍生出一個內含各邏輯值的向量空間V2={s,n}。使用這些邏輯值推演的邏輯運運算元則為矩陣運運算元。
向量邏輯的運算建基於以上 q-維列向量的數量積
。由於 s 及 n 相互正交,假如 u = v,則
;而如果
,則

一元謂詞運運算元

向量邏輯的一元謂詞運運算元是運用
的成果,而相關的矩陣有 q 行及 q 列。在上面提及的向量邏輯系統中,兩個基本的一元謂詞運運算元分別是“恆等”及“否定”:
恆等:邏輯恆等函式 ID(p) 可以矩陣
表達。該矩陣的操作方式為:Ip = p, p ∈ V2;由於 s 對於 n 而言是正交的,我們可以得到:
,反之
否定:邏輯否定函式 ¬p 可以矩陣
表示。由此推論,Ns = n 且 Nn = s。由於否定函式有對合性,即 ¬(¬p) 等於 p (對應於 N2 = I)。Is 應予注意的是,以上的邏輯恆等矩陣並非矩陣代數中的單位矩陣

二元謂詞運運算元

每個向量邏輯系統都會有16個二元謂詞運運算元,對應於
類型的函式;這些二元謂詞運算矩陣有 q 行及 q2 列,並且根據克羅內克積的其中兩種特性而演算出來:
  • 混合律:如果 A、B、C、D 是四個可以構成 AC 及 BD 兩個乘積的矩陣,則
  • 轉置分配律:涉及轉置的乘積可以分配:
根據以上特性,可以演算出以下向量邏輯運運算元:
:在向量邏輯中,兩個邏輯值的“與” (p∧q) 是由一個套用於兩個向量值的矩陣
表示。此矩陣透過以下算式實現古典邏輯與的真值表
此矩陣應當滿足
:兩個邏輯值的“或” (p∨q) 由以下矩陣運算:
而且
蘊涵:古典邏輯的“蘊涵”對應於邏輯式 p → q ≡ ¬p ∨ q。向量邏輯亦定義相對應的矩陣去表示該關係:
。較直接的表達式則為
該矩陣應當滿足
等價值異或:在向量邏輯中,等價值表達式 p≡q 由以下矩陣表示:
而且
至於異或則是等價值的否定:¬(p≡q),因此有關矩陣可由
給出,亦即:
而且
與非或非:矩陣 S 及 P 分別對應古典邏輯的謝費爾(即“與非”)及皮爾士(即“或非”)操作:

德摩根定律

古典邏輯中的“與”、“或”兩個操作皆滿足德摩根定律,即 p∧q≡¬(¬p∨¬q) 以及其對偶p∨q≡¬(¬p∧¬q))。向量邏輯的相關操作亦可被證實為滿足德摩根定律
其中uv 皆為邏輯向量。
基於克羅內克積的特性,以下的因式分解成立:
由此可以證明,在二維的向量邏輯中,德摩根定律不僅與邏輯操作有關,亦適用於有關的邏輯運運算元:

對位定律

在古典命題運算中,對位定律pq≡¬q→¬p是由於有關等價值算式對於任何真值pq皆成立而獲得證明。但是,在向量邏輯範疇,對位定律是由一系列的等價值及克羅內克積運算而得出:
這是建基於向量邏輯的“或”運算矩陣D滿足交換律的特性。

二維多值邏輯

多值邏輯的學說體系由多位研究者協力發展(尤其是波蘭數學家揚·武卡謝維奇)。它容許涉及不確定值的邏輯運算。在二值向量邏輯範疇中,不確定值可由 s 、n 兩個基本真值以機率比重混合而成。假設存在一個不確定值(其中
)。向量邏輯的多值性可以由對這種不確定值的運算獲得證明。

向量輸出值的標量投影

多值向量邏輯的輸出值可以被投影為標量函式,並且能衍生一系列與賴欣巴哈式多值邏輯相似的機率邏輯。當有兩個已知的邏輯向量
,以及一個二元邏輯運算矩陣G,則通過加入特定向量 s,可以得出一個標量機率邏輯算式:
Val(標量)
(向量)
根據以上投影式可得出以下主要結果:
相關的否定式如下:
如果滿足該等算式的值屬於集合 {0, ½, 1},則有關的標量算式與武卡謝維奇提出的三值邏輯系統大致吻合。另外,數學家亦證明了如果將一元和二元向量邏輯運運算元施加於該集合屬下的機率向量,則其輸出值亦必屬於該集合。

布爾多項式

喬治·布爾確立了以多項式演繹邏輯運算的學說發展。一元邏輯運運算元(例如恆等或否定)的布爾多項式可用以下的方式表示:
根據二值邏輯的值,可以得出四個一元邏輯運算式:恆等式要求f(1)=1 、f(0)=0,否定式則要求f(1)=0、f(0)=1。至於16個二元邏輯運運算元的布爾多項式可由以下算式求出:
如果從相對應的真值表抽取相應的係數 f,二元邏輯運運算元可以轉譯成多項式。例如要建立一個與非邏輯的布爾多項式,係數 f 的值如下:
這些布爾多項式可以即時被擴充為包括任意數目的未知值,創造出大量的潛在邏輯運運算元。向量邏輯的矩陣-向量結構即為這種運算的線性邏輯演繹,其中上文設立的向量 s 和 n 可以對應上列多項式中的 x 、y 和1-x、1-y。 In 以“與非”為例,f(1,1)=n 而且 f(1,0)=f(0,1)=f(0,0)=s,從而演算出以下矩陣:

相關詞條

熱門詞條

聯絡我們