于 鵬

(陜西科技大學理學院, 陜西 西安 710021)

0 前 言

眾所周知，數(shù)理邏輯是以符號化為特點的形式化理論，它重推理不重數(shù)值計算，而數(shù)值計算恰好相反，其目的是借助于插值、差分、迭代等方法研究計算問題.兩者之間相距甚遠，似乎存在著一面無形的隔離墻.計量邏輯學的提出，不僅打破了這種隔離，還開辟了數(shù)理邏輯研究的新方向.利用計量邏輯學的基本原理，可以討論諸如命題集的相容性、發(fā)散性等問題，還可以利用計量邏輯學進行命題集F(S)上的近似推理和命題集的近似約簡.本文的目的就是探討命題集F(S)上的近似推理框架與命題集近似約簡之間的關系.本文中，首先給出了n值 Lukasiewicz 命題集的真度約簡及α-真度約簡的概念，將命題集的精確約簡轉化為近似約簡，然后指出了這種近似約簡與計量邏輯學中近似推理模式的內在聯(lián)系，為在F(S)上展開近似推理提供了新的途徑.

1 n值Lukasiewicz 命題系統(tǒng)中的真度約簡

定義1s={p1,p2,…}是一個可數(shù)集,F(S)是由S生成的(,∨,→)型自由代數(shù),是一個一元運算,∨和→是一個二元運算.F(S)中的成員S稱為原子公式.

τn(A)稱為n值Lukasiewicz 邏輯系統(tǒng)Ln中公式A的真度.這里 |E| 表示集合E的個數(shù).

性質1 在Ln中,設A,B∈F(S)

(1)A是重言式當且僅當τn(A)=1,A是矛盾式當且僅當τn(A)=0;

(2) 如果A≈B, 則τn(A)=τn(B);

(3)τn(A∨B)=τn(A)+τn(B)-τn(A∧B);

(4)τn(A)=1-τn(A) ;

(5) 如果├A→B,則τn(A)≤τn(B);

(6) 如果├A→B,τn(A)=τn(B),則,A～B;

(7)如果τn(A→B)≥α,τn(B→C)≥β,則τn(A→C)≥α+β-1.

定義4 設A,B∈F(S),令

ξ(A,B)=τn((A→B)∧B→A))

則稱ξ(A,B)為公式A與B的相似度，再令

ρ(A,B)=1-ξ(A,B))

則稱ρ(A,B)為公式A與B的距離，(F(S),ρ) 稱為邏輯度量空間.

定義5 設Г={A1,…，Am}?F(S),A∈Г,若?B∈D(Г),τn(?{Г-{B}}n→A)=1,則稱公式A為公式集Г的一個真度可約元,否則稱A為Г的真度不可約元.

定義6 設Г={A1,…,Am}?F(S),Г0?Г,若?A∈D(Г),τn(?{Г0}n→A)=1,并且,?Г*?Г0,?B∈D(Г), 使得τn(?{Г*}n→B)<1,則稱Г0是公式集Г的一個真度約簡.

定理1 設Г={A1,…，Am}?F(S) ,則公式集Г的真度約簡總存在.

定義7 設Г={A1,…,Am}?F(S) ，Г1,…,Гm,是Г的所有真度約簡,令

CГ=∩Гi,BГ=∪Гi-CГ,IГ=Г-∪Гi

則CГ稱為Г真度約簡的核,Ai∈CГ,稱為Г真度約簡的核心元素,Bi∈BГ稱為Г真度約簡的必要相對元素,Ci∈IГ稱為Г真度約簡的不必要元素.

定義8 設Г={A1,…,Am}?F(S),如果A∈Гi,τn(?{Г-{A}}n→?{Г}n)≥α,稱A為Г的一個α-真度可約元,若存在一個B∈D(Г),使得τn(?{Г-{A}}n→B)<α,則稱B是Г的一個α-真度不可約元.

定義9 設Г={A1,…,Am}?F(S),Г0?Г,如果min{τn(?{Г0}n→A)|A∈D(Г)}≥α,并且?Г*?Г0都存在B∈D(Г)使得τn(?{Г*}n→B)<α,則稱Г0是Г的一個α-真度約簡.

2 真度約簡與計量邏輯學中3種近似推理之間的關系

定義10 設Г?F(S),B∈F(S),?ε>0，如果

這里H(D(Г),D(∑))=H*(D(Г),D(∑))∨H*(D(∑),D(Г)),H*(D(Г),D(∑))=sup{ρ(A,D(∑))|A∈D(Г)}.

引理1 在Ln中, 設Г={A1,…,Am}?F(S),?B∈F(S),則

(1) sup{τn(C→B)|C∈D(Г)}=τn(?{Г}n→B)；

(2) inf{τn(B→C)|C∈D(Г)}=τ(B→?{Г}n).

證明：(1)在Ln中，|-(?{Г}n→C)→((C→B)→(?{Г}n→B))顯然成立，則由C∈D(Г)，|-?{Г}n→C及MP規(guī)則與性質1(1)可知，|-(C→B)→(?{Г}n→B)成立，τn(C→B)≤τn(?{Г}n→B)，所以sup{τn(C→B)|C∈D(Г)}=τn(?{Г}n→B).

(2)在Ln中，|-(?{Г}n→C)→((B→?{Г}n)→(B→C)顯然成立，則由C∈D(Г)，|-?{Г}n→C及MP規(guī)則與性質1(1)可知，|-(B→?{Г}n)→(B→C)成立，τn(B→?{Г}n)≤τn(B→C)，所以inf{τn(B→C)|C∈D(Г)}=τ(B→?{Г}n).

定理2 設Г={A1,A2,…,An}?F(S),Г0是Г的一個α-真度約簡,則

(3)Г0是Г的一個α-真度約簡，則min{τ(?{Г0}n→A)|A∈D(Г}=τ(?{Г0}n→?{Г}n)≥α.因為D(Г0)?D(Г),所以?A∈D(Г0),ρ(A,D(Г))=0,H*(D(Г0),D(Г))=0,與此同時

H*(D(Г),D(Г0)) =sup{ρ(A,D(Г0))|A∈D(Г)}=sup{1-τ((?{Г0}n}→A)|A∈D(Г)}

=1-inf{τ(?{Г0}n)→A)|A∈D(Г)}

=1-τ(?{Г0}n→?{Г}n)≤1-α

參考文獻

[1] Liberatore P .Redundancy in logic I:CNF propositional formulate[J].Artificition Intelligence, 2005, 163：203-232.

[2] Yan Ren, Xiaojue Ma, Hongtao Wang.Reduction of a propositional set and its roots in system[J]. Fuzzy Systems and Mathematics, 2006,2： 23-27.

[3] Lifeng Li, Dongxiao Zhang. The application of concept Lattice theory in the reduction of the proposition set in two-valued propositional logic[J]. Acta Electronica Sinica, 2007,35：1 538-1 542.

[4] L F Li, J K Zhang, F Fen.Reduction theory of finite proposition set in Lukasiewicz[J]. Computer Engineering and Applications , 2009, 7：44-45.

[5] Peng Yu, Zaien Hou.Proposition reduction based on the truth degree of proposition formula[J]. Fuzzy Systems and Mathematics , 2010,24(1)：66-70.

[6] G.J. Wang. Quantitative logic (I)[J].Chinese Journal of Engineering Mathematics, 2006, 23：191-215.

[7] Yu Peng，Liu Fengchu,Wang Sanwu. The triple I truth degree solution of generalized modus ponens problem[J]. Computer Engineering and Applications,2009, 45(12):47-49.

[9] Wang Guojun. Introduction to Mathematical Logic and Resolution Principle(2nd.Ed.)[M]. Beijing: Science in China Press, 2006.

[9] G.J.Wang,H.Wang .Non-fuzzy versions of fuzzy reasoning in classical logics[J].Information Science , 2001,138：211-236.