證詞邏輯初探——對信息源的信任

1、‘■’■，獨(dú)創(chuàng)性聲明本人提交的學(xué)位論文是在導(dǎo)師指導(dǎo)下進(jìn)行的研究工作及取得的研究成果。論文中引用他人已經(jīng)發(fā)表或出版過的研究成果，文中已加了特別標(biāo)注。對本研究及學(xué)位論文撰寫曾做出貢獻(xiàn)的老師、朋友、同仁在文中作了明確說明并表示衷心感謝。一7 、學(xué)位論文作者：／東、辱。 簽字日期： 切／／年t 月，羅日、N }學(xué)位論文版權(quán)使用授權(quán)書本學(xué)位論文作者完全了解西南大學(xué)有關(guān)保留、使用學(xué)位論文的規(guī)定，有權(quán)保留并向國家有關(guān)部門或機(jī)構(gòu)送交論文的復(fù)印件和磁盤，

2、允許論文被查閱和借閱。本人授權(quán)西南大學(xué)研究生院( 籌) 可以將學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫進(jìn)行檢索，可以采用影印、縮印或掃描等復(fù)制手段保存、匯編學(xué)位論文。( 保密的學(xué)位論文在解密后適用本授權(quán)書，本論文：口不保密，口保密期限至 年 月止) 。學(xué)位論文作者簽名：乖雩導(dǎo)師簽名：簽字日期：勱，／年，月門日 簽字日期：兩南人學(xué)碩f j 學(xué)伊論文 中文摘要證詞邏輯初探——對信息源的信任邏輯學(xué)專業(yè)碩士研究生雷宇指導(dǎo)老師何向東教授中文摘要在一

3、個(gè)豐體集中，每個(gè)豐體對其他主體都有不同的信任程度。如果每個(gè)r 豐體的證詞( 發(fā)言) 都被看為一個(gè)信息源，那么，動(dòng)態(tài)證詞邏輯( D y n a m i c t e s t i m o n i a ll o g i c ，D T L ) 就是要模型刻畫這些被當(dāng)作信息源的主體之間的信息交流和豐體信念的變化。從一個(gè)角度說，D T L 通過在系統(tǒng)中增加“信息源”和“信任”，擴(kuò)展了動(dòng)態(tài)認(rèn)知邏輯中的信念修正部分。從另一角度說，D T L 通過在系統(tǒng)中

4、增加信念修正，也對模態(tài)邏輯中“信念”這個(gè)概念進(jìn)行了擴(kuò)展。在證詞邏輯的多主體框架內(nèi)，我們可以模型刻畫信息源的信息如何導(dǎo)致信息的接受者修正自己關(guān)于世界的信念、關(guān)于信息源的信念和關(guān)于其他主體的信念。我們也可以刻畫引一個(gè)主體不確定另一個(gè)主體到底相信什么’是怎么產(chǎn)生的”、 “一個(gè)主體如何鑒別消息源到底信任誰”。為了刻畫這些問題，我們引入了證詞模型和模型轉(zhuǎn)換，而且給出了公理。最后，我們以經(jīng)濟(jì)學(xué)領(lǐng)域中的信息瀑布現(xiàn)象為例，演示了D T L 的運(yùn)用。關(guān)鍵