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

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

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

3、有不同的信任程度。如果每個r豐體的證詞(發(fā)言)都被看為一個信息源，那么，動態(tài)證詞邏輯(Dynamictestimoniallogic，DTL)就是要模型刻畫這些被當(dāng)作信息源的主體之間的信息交流和豐體信念的變化。從一個角度說，DTL通過在系統(tǒng)中增加“信息源”和“信任”，擴展了動態(tài)認知邏輯中的信念修正部分。從另一角度說，DTL通過在系統(tǒng)中增加信念修正，也對模態(tài)邏輯中“信念”這個概念進行了擴展。在證詞邏輯的多主體框架內(nèi)，我們可以模型刻畫信息源