多主體之間的互知推理

多主體之間的互知推理

在多因素認(rèn)知系統(tǒng)中，每個(gè)環(huán)節(jié)都是論證者。多主體之間互知推理的復(fù)雜性在于,這種推理的對(duì)象中,不僅包括對(duì)象世界的知識(shí),而且包含系統(tǒng)中其他的同樣正在進(jìn)行推理的主體;推理者對(duì)其他主體的思考及其結(jié)果進(jìn)行推理,這些主體同樣對(duì)推理者的思考及其結(jié)果進(jìn)行推理。這使得推理的素材是彈性的,動(dòng)態(tài)的,隨著推理的過(guò)程不斷變化的。這種推理,是對(duì)人的日常思維能力的挑戰(zhàn),也是對(duì)邏輯學(xué)的挑戰(zhàn)。本文通過(guò)構(gòu)造關(guān)于知道的模型,用邏輯語(yǔ)義學(xué)的方法,來(lái)刻劃多主體之間的互知。主體i所不明知程度p在形式語(yǔ)言K中:1,2,…,n分別表示系統(tǒng)中n個(gè)不同的主體。p,q,r,s…分別表示如“舊金山正在下雨”、“冰冰額上有泥巴”這樣一些原子命題,它們的集合Ф構(gòu)成作為主體認(rèn)知和推理對(duì)象的外部世界的知識(shí)。模態(tài)算子Ki表示“主體i知道…”。因此,Kip讀作“主體i知道p”。原子命題是公式;如果A是公式,則?A是公式;如果A和B是公式,則A∧B是公式。如果A是公式,則KiA是公式。A∨B(讀作“A析取B”,表示“A或者B”)定義為?(?A∧?B);A→B(讀作“A蘊(yùn)含B”,表示“如果A,那么B”)定義為?A∨B;A?B(讀作“A當(dāng)且僅當(dāng)B”)定義為(A→B)∧(B→A);T是p∨?p這樣的永真公式(稱為重言式)的縮寫(xiě),表示“真”;F定義為?T,表示“假”?，F(xiàn)在,我們可以把在自然語(yǔ)言中非常復(fù)雜的關(guān)于知道的命題表述得十分簡(jiǎn)明。例如,公式K1K2p∧?K2K1K2p表示“主體1知道主體2知道p,但是主體2不知道主體1知道主體2知道p”。我們可以用“知道”來(lái)定義主觀模態(tài)“可能”:主體i認(rèn)為A是可能的,當(dāng)且僅當(dāng)主體i不知道?A,即?K1?A。而像“主體i不知道是否p”這樣的斷定,實(shí)際上是說(shuō)“主體i認(rèn)為P和?p都是可能的”,也就是說(shuō)“主體i既不知道?p也不知道p”,即?Ki?p∧?Kip。考慮下面這個(gè)有關(guān)水門事件的斷定:迪恩不知道尼克松是否知道迪恩知道尼克松知道麥卡德偷竊了奧博林在水門的辦公室。令主體1表示迪恩,主體2表示尼克松,p表示“麥卡德偷竊了奧博林在水門的辦公室”,則該斷定可表達(dá)為?K1?(K2K1K2p)∧?K1(?K2K1K2p)wirjya型模型M,是一個(gè)克里普克結(jié)構(gòu)(W,V,R1,…,Rn),其中,W是一可能世界集;V是一個(gè)解釋,它給任一可能世界,指派以一個(gè)確定的真值賦值,即對(duì)任一wi∈W,和任一原子命題p∈Ф,V(p,wi)=T或V(p,wi)=F,但不能二者。如果p表示“舊金山正在下雨”,則V(p,wi)=T表示在可能世界wi中,舊金山正在下雨;Ri是W上的二元關(guān)系。如果wj和wk有關(guān)系Ri,記為wjRiwk,表示主體i依據(jù)在可能世界wj中的信息,認(rèn)為可能世界wk是可能的。(一個(gè)世界,是一個(gè)事件集,只要其中不包括矛盾事件,就是一個(gè)可能世界;但一個(gè)可能世界,對(duì)于某個(gè)主體來(lái)說(shuō),完全可能是不可能世界,如果這個(gè)主體知道這個(gè)可能世界中某個(gè)事件的矛盾事件。)這里,我們進(jìn)一步規(guī)定Ri是同時(shí)滿足自返、對(duì)稱和傳遞關(guān)系的等價(jià)關(guān)系,這樣,如果主體i在可能世界wj中覺(jué)得wk是可能的,這說(shuō)明在可能世界wj和wk中,主體i具有對(duì)外部世界同樣的信息,從而對(duì)他來(lái)說(shuō),這兩個(gè)世界是無(wú)法區(qū)分的。因此,wjRiwk也表述為“主體i無(wú)法區(qū)分wj和wk”。一個(gè)公式A在一個(gè)結(jié)構(gòu)(模型)M的一個(gè)給定的可能世界wi中真,記作(M,wi)?A,讀作(M,wi)滿足A。(M,wi)?p當(dāng)且僅當(dāng)V(p,wi)=T。(M,wi)?A∧B當(dāng)且僅當(dāng)(M,wi)?A并且(M,wi)?B。(M,wi)??A當(dāng)且僅當(dāng)(M,wi)?/A。(M,wi)?KiA當(dāng)且僅當(dāng)對(duì)任一wj∈W,如果wiRiwj,則(M,wi)?KiA。上述模型所表達(dá)的核心意思是:主體i知道p,當(dāng)且僅當(dāng)p在主體i認(rèn)為可能的所有可能世界中都真。我們用一個(gè)實(shí)例的圖示來(lái)描述這一點(diǎn),克里普克結(jié)構(gòu)的優(yōu)點(diǎn)之一是可圖示的。上圖所示的模型M=(W,V,R1,R),其中,W={w1,w2,w3},p在w1和w3中真,而在w2中假。主體1不能區(qū)分w1和w2(即主體1在w1認(rèn)為w2是可能的,由R的對(duì)稱性,自然在w2同樣認(rèn)為w1是可能的,即w1R1w2和w2R1w1成立),主體2不能區(qū)分w1和w3。標(biāo)有1,2的線段在wi(i=1,2,3)從自身指向自身,表示R關(guān)系的自返性,即表示wiRjwi(i=1,2,3;j=1,2),例如表示w3R1w3;標(biāo)有1的線段的兩端指向w1和w2,表示主體1不能區(qū)分w1和w2,并表示R關(guān)系的對(duì)稱性。同樣,標(biāo)有2的線段表示主體2不能區(qū)分w1和w3。令p表示“北京天晴”,則依據(jù)上圖,可得出以下結(jié)論:結(jié)論1。在可能世界w1,北京天晴,但主體1并不知道這一點(diǎn),因?yàn)樗趙1中認(rèn)為w1和w2都是可能的(或者說(shuō)依據(jù)他在w1的知識(shí),他無(wú)法確定w1和w2究竟哪個(gè)是真實(shí)世界,即無(wú)法區(qū)分w1和w2),而p在w1中真,但在w2中假。結(jié)論2。主體2在可能世界w1知道北京天晴,因?yàn)樵诳赡苁澜鐆1,主體2認(rèn)為可能的世界是w1和w2,在這兩個(gè)可能世界中,p都是真的。結(jié)論3。主體2在可能世界w2知道并非北京天晴,因?yàn)橹黧w2在w2中認(rèn)為可能的世界只有w2自身,而在w2中,?p真。同理,主體1在可能世界w3中知道北京天晴。結(jié)論4。在可能世界w1,主體1知道主體2知道北京是否天晴,因?yàn)樵诳赡苁澜鐆1,主體1認(rèn)為可能的兩個(gè)世界是w1和w2,在這兩個(gè)世界中,主體2都知道北京的天氣(見(jiàn)結(jié)論2和結(jié)論3)。也就是說(shuō),雖然在可能世界w1,主體1并不知道北京是否天晴,但是他知道主體2知道這一點(diǎn)。結(jié)論5。和結(jié)論4成為對(duì)比的是,在可能世界w1,雖然主體2知道北京天晴(結(jié)論2),但是他不知道主體1不知道這一點(diǎn)。因?yàn)樵诳赡苁澜鐆1,主體2認(rèn)為可能的兩個(gè)世界是w1和w3,在w1中,主體1不知道北京天晴(結(jié)論1),但在w3中,主體1知道北京天晴(結(jié)論3)。以上結(jié)論,可以用一個(gè)邏輯表達(dá)式概括:(M,w1)?p∧?K1p∧K2p∧K1(K2p∨K2?p)∧?K2?K1p前面已經(jīng)指出,一個(gè)可能世界是一個(gè)事件集,相應(yīng)的命題在其中真或假。在以上的討論中,構(gòu)成w1和w3的事件都是“北京天晴”,因此,似乎是兩個(gè)相同的世界因而可以略去一個(gè)。但事實(shí)上卻不能這樣。因?yàn)橐粋€(gè)可能世界的規(guī)定,不光基于構(gòu)成它的事件,而且基于主體認(rèn)為它是否可能。例如,在可能世界w1,主體1認(rèn)為可能世界w2是可能的,但在可能世界w2,他卻不這么認(rèn)為,這樣,他在w1不知道北京天晴,而在w3則知道這一點(diǎn)。共同知識(shí)的定義在n主體系統(tǒng)中,如果所有的主體都知道所有的主體都知道…(重復(fù)≥n遍)A,則稱這n個(gè)主體掌握了關(guān)于A的共同知識(shí),或稱A是這n個(gè)主體的共同知識(shí)。這一多主體認(rèn)知系統(tǒng)中的重要概念,最早是由路易斯在討論“協(xié)約”時(shí)提出的,他認(rèn)為,某種東西要成為多方的“協(xié)約”,必須成為締約各方的共同知識(shí),也就是說(shuō),締約各方不但都要知道協(xié)約的內(nèi)容,而且要知道各方都知道協(xié)約的內(nèi)容,等等。為了對(duì)共同知識(shí)進(jìn)行形式刻劃,需要在語(yǔ)言K中增加新的算子EG和CG,滿足:如果A是公式,則EG、CG都是公式。G表示主體集{1,2,…,n}。EGA表示“G中每個(gè)主體都知道A”;CGA表示“A是G中所有主體的共同知識(shí)”。在不引起歧義的情況下,作為下標(biāo)的G可以省略,即EGA和CGA分別記為EA和CA。如果{1,2,…,i}是G的一個(gè)真子集(即i<n),則E{1,2,…,i}A表示在{1,2,…,i}中每個(gè)主體都知道A。這種寫(xiě)法同樣用于C。這樣,K3?C{1,2}p就表示主體3知道p不是主體1和主體2的共同知識(shí)。在模型M中作如下定義:(M,wi)?EA,當(dāng)且僅當(dāng)對(duì)任一i∈G,(M,wi)?KiA,即在可能世界wi中,EA真,當(dāng)且僅當(dāng)每個(gè)主體都知道A。令E1A表示EA,Ek+1A表示EEkA,則(M,wi)?CA,當(dāng)且僅當(dāng)(M,wi)?EkA(k≥n),即在可能世界wi中,CA真(A是所有主體的共同知識(shí)),當(dāng)且僅當(dāng)所有的主體都知道所有的主體都知道…(重復(fù)≥n遍)A。(注意,事實(shí)上,對(duì)于任意k>1和任意wi∈W,如果(M,wi)?EkA,則(M,wi)?Ek-1A。)對(duì)共同知識(shí)可以作出一種有意思的直觀圖示,為此,先來(lái)定義何為從一個(gè)可能世界到另一個(gè)可能世界可通達(dá)。(1)對(duì)任意可能世界wj1和wj2,如果存在主體i,wj1Riwj2,則稱從wj1至wj2可通達(dá),并稱這種通達(dá)為一步可通達(dá);(2)對(duì)任意可能世界wj1、wj2和wj3,如果從wj1至wj2可通達(dá),并且從wj2至wj3可通達(dá),則從wj1至wj3可通達(dá)。并且,如果從wj1至wj2是k步可通達(dá),從wj2至wj3是1步可通達(dá),則從wj1至wj3是k+1步可通達(dá)。雖然一般模態(tài)邏輯都把結(jié)構(gòu)中的R關(guān)系稱為可通達(dá)關(guān)系,但這里定義的可通達(dá)關(guān)系不同于Ri關(guān)系。第一,Ri關(guān)系是相對(duì)于某個(gè)主體i而言的,可通達(dá)關(guān)系不是相對(duì)于某個(gè)主體i而言的;第二,存在可通達(dá)關(guān)系的可能世界之間,不一定有R關(guān)系成立。例如,圖1中從w2至w3可通達(dá),但w2R1w3和w2R2w3都不成立。關(guān)于可通達(dá)關(guān)系,有兩條重要推論。推論1。(M,wi)?EkA,當(dāng)且僅當(dāng)(M,wi)?A并且對(duì)所有wj,如果從wi至wjk步可通達(dá),則(M,wj)?A推論2。(M,wi)?CA,當(dāng)且僅當(dāng)對(duì)所有wj,如果從wi至wj可通達(dá),則(M,wj)?A可以設(shè)想這樣一個(gè)示圖,其中,每個(gè)可能世界表示為一個(gè)點(diǎn),任意兩個(gè)一步可通達(dá)的可能世界之間用線段聯(lián)接。以上兩個(gè)結(jié)論的意義在于,判定A是否為可能世界wi上的共同知識(shí),只須看A是否在從wi可通達(dá)的點(diǎn)(可能世界)上都真;判定EkA在wi上是否為真,只須看A是否在從wik步可通達(dá)的點(diǎn)上都真。下面,運(yùn)用以上的模型方法,來(lái)分析一個(gè)很有意思的實(shí)例。孩子3有現(xiàn)實(shí)u3000可能世界一個(gè)教室中有10個(gè)孩子。其中,有7個(gè)孩子額上沾有泥巴。每個(gè)孩子都能看到別的孩子額上是否有泥巴,但無(wú)法看到自己的。這時(shí)老師走進(jìn)教室,對(duì)孩子們說(shuō):“你們之中至少有一人額上有泥巴”。然后,他問(wèn):“誰(shuí)知道自己額上有泥巴?知道的請(qǐng)舉手?！彼缡沁B續(xù)問(wèn)了六遍,無(wú)人舉手,當(dāng)問(wèn)到第七遍的時(shí)候,所有額上有泥巴的孩子都舉起了手。假設(shè)所有的孩子都有理想的邏輯分析能力,那么,他們是如何思考并得出結(jié)論的?現(xiàn)在,嘗試構(gòu)造語(yǔ)義模型,對(duì)“額上沾泥巴的孩子”作形式分析。假設(shè)孩子有n個(gè),要證明的是,沾泥巴的孩子的人數(shù),正好等于他們都舉手時(shí)老師提問(wèn)的次數(shù)。自然需要假設(shè)題目陳述的條件,例如,所有的孩子都足夠聰明,對(duì)所有孩子都是共同知識(shí)。令1,2,…,n分別表示n個(gè)不同的孩子。(x1,…,xn)表示可能世界,其中任一xi,xi=1,或者xi=0。如果xi=1,則表示孩子i額上有泥巴,否則表示沒(méi)有。顯然,對(duì)于n個(gè)孩子,這樣的不同可能世界共2n個(gè)。例如,如果只有3個(gè)孩子,則可能世界{1,0,1}表示孩子1和孩子3有泥巴。假設(shè)這個(gè)可能世界就是真實(shí)世界。在這個(gè)世界中,在老師說(shuō)話之前,孩子1能看到孩子2沒(méi)有泥巴而孩子3有泥巴,他惟一不能確定的是自己額上是否有泥巴,因此,他認(rèn)為(1,0,1)(即真實(shí)世界)和(0,0,1)都是可能的。也就是說(shuō),孩子i在可能世界(a1,…,an)認(rèn)為可能世界(b1,…,bn)是可能的,即(a1,…,an)Ri(b1,…,bn),當(dāng)且僅當(dāng)除了ai≠bi以外,(a1,…,an)和(b1,…,bn)完全相同。令Ф={p1,…,pn,p},其中pi表示“孩子i有泥巴”(i=1,…,n),p表示“至少有一個(gè)孩子有泥巴”。(M,(x1,…,xn))?pi當(dāng)且僅當(dāng)xi=1。(M,(x1,…,xn))?p當(dāng)且僅當(dāng)存在xj,xj=1。這樣,完成了對(duì)模型M=(W,V,R1,…,Rn)的定義。這一模型的優(yōu)點(diǎn)之一是基于之上可以作出清晰直觀的圖示解析。令2n個(gè)點(diǎn)表示上述2n個(gè)不同的可能世界,并在任意兩個(gè)一步可通達(dá)的點(diǎn)之間用標(biāo)有數(shù)字i的線段聯(lián)接(即如果孩子i在wi認(rèn)為wj可能,則用標(biāo)有i的線段聯(lián)接表示這兩個(gè)可能世界的點(diǎn)),這樣,長(zhǎng)于想象的讀者可以知道,我們因此得到了一個(gè)n維立方體。下圖表示的就是當(dāng)n=3(即假設(shè)只有3個(gè)孩子)時(shí)這樣的一個(gè)三維立方體。圖2中共有8個(gè)點(diǎn),表示所有的8個(gè)可能世界。每?jī)蓚€(gè)可能世界之間都有標(biāo)有數(shù)字的線段聯(lián)接,例如,標(biāo)有1的線段聯(lián)接(1,1,1)和(0,1,1),表示孩子1在這兩個(gè)世界的任何一個(gè)中都認(rèn)為另一個(gè)世界是可能的。圖中也說(shuō)明,從任何一個(gè)可能世界出發(fā),其余的可能世界都是可通達(dá)的。從圖2立即可以得出(證明)許多結(jié)論,例如:結(jié)論1。每個(gè)孩子都知道除自己外哪個(gè)孩子額上有泥巴。不妨設(shè)可能世界(1,0,1)是現(xiàn)實(shí)世界,在這一世界中,孩子1認(rèn)為可能的世界是(1,0,1)和(0,0,1),在這兩個(gè)可能世界中,孩子3都有泥巴,因此,孩子1知道孩子3有泥巴;同理,孩子2知道孩子1和孩子3有泥巴;孩子3知道孩子1有泥巴。結(jié)論2?！懊總€(gè)孩子都知道除自己外哪個(gè)孩子額上有泥巴”是所有孩子的共同知識(shí)。結(jié)論1的證明所選擇的可能世界帶有任意性,因此,“每個(gè)孩子都知道除自己外哪個(gè)孩子額上有泥巴”在所有可能世界中真,即在從任意一個(gè)可能世界可通達(dá)的所有可能世界中真,因此,是共同知識(shí)。結(jié)論3。(M,(1,0,1))?Ep,即在可能世界(1,0,1)中,所有的孩子都知道至少有一個(gè)孩子額上有泥巴。自(1,0,1)一步可通達(dá)的可能世界有(1,1,1)、(1,0,0)和(0,0,1),在這四個(gè)可能世界中,p即“至少有一個(gè)孩子有泥巴”都真。結(jié)論4。M,(1,0,1))??E2p,即在可能世界(1,0,1)中,并非所有的孩子都知道所有的孩子都知道至少有一個(gè)孩子額上有泥巴。因?yàn)榇嬖谧?1,0,1)兩步可通達(dá)的可能世界(0,0,0),其中p假,即沒(méi)有孩子有泥巴。結(jié)論5。在可能世界(1,0,1)中,孩子1雖然認(rèn)為(0,0,0)是不可能的,但認(rèn)為孩子3可能在(0,0,1)中認(rèn)為(0,0,0)是可能的。當(dāng)老師說(shuō)至少有一個(gè)孩子額上有泥巴后,這個(gè)命題立即成為所有孩子的共同知識(shí),這樣,任一孩子都不可能在任一可能世界中認(rèn)為(0,0,0)是可能的,這樣,通向(0,0,0)的可通達(dá)關(guān)系中斷,(0,0,0)世界可移去,圖2中的立方體因而坍塌成如下