群體動態(tài)認(rèn)知偏好邏輯

1、獨(dú)創(chuàng)性聲明學(xué)位論文題目：疊堅壟查墜墊儉笙塾塾本人提交的學(xué)位論文是在導(dǎo)師指導(dǎo)下進(jìn)行的研究工作及取得的研究成果。論文中引用他人已經(jīng)發(fā)表或出版過的研究成果，文中已加了特別標(biāo)注。對本研究及學(xué)位論文撰寫曾做出貢獻(xiàn)的老師、朋友、同仁在文中作了明確說明并表示衷心感謝。學(xué)位論文作 簽字日期：踟I f 年占月j 日學(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é)讎文儲簽攤 鋤鮐簽字日期弧7 1 年七月j 日 簽- ：T - 日期：’—)年 月 日‘l，、兩南人學(xué)碩十學(xué)伊論文 摘要群體動態(tài)認(rèn)知偏好邏輯邏輯學(xué)專業(yè)碩士研究生 梁真指導(dǎo)教師 何向東教授摘 要一

3、直以來，對知識、信念和偏好的研究基本上沒有關(guān)注我們是如何被社會關(guān)系所影響的這個問題。Q Q 空間或者F a c e b o o k 的“社區(qū)”也許是最簡單的社會結(jié)構(gòu)。它的背后只有一個稱為“朋友”的對稱的關(guān)系。然而，即便是這樣一個簡單的結(jié)構(gòu)，我們?nèi)匀豢梢缘玫揭粋€與之相關(guān)的有趣的模型。我們把一個“社會群體”定義為一個在朋友關(guān)系下封閉的主體集，然后就得到了一個這樣的世界集：它由許多重合的“社交圈”組成。我們可以在其中談?wù)撝黧w的知識和偏好。我們

4、還可以加入宣告算子和建議算子，從而談?wù)撝黧w知識和偏好的動態(tài)改變，甚至社交圈本身也是可以談?wù)摵透淖兊?。基于這樣的想法，本文在J e r e m yS e l i g m a n 【2 】中建立的邏輯之上提出了一個群體的動態(tài)認(rèn)知偏好邏輯c 彩印，它不同于一般意義上的多主體系統(tǒng)，或者說它不僅僅是一般意義上的多主體系統(tǒng)，岡為“群體”概念本身就說明了主體之間是互相聯(lián)系的。第一章提出了兩個問題，通過分析B a s i c P r e f e r e

5、 n c eL o g i c 和D y n a m i cP r e f e r e n c eL o g i c 的語言和語義，呈現(xiàn)了理解C D Z p 所必備的基本知識，也說明了它們?yōu)槭裁床蛔阋蕴幚砦覀兲岢龅膯栴}。第二章中，我們介紹了多主體的靜態(tài)認(rèn)知偏好邏輯C ．5 Z p ，給出了其語言和語義，在涉及到混合邏輯語言的內(nèi)容上給出詳細(xì)解釋。第三章是本文的重點(diǎn)和精彩之處。我們在C S Z p 基礎(chǔ)上通過添加兩個偏好升級算子得到了C D

6、 Z p 。我們給出了這兩個偏好升級算子的語言和語義，說明了它們各自給模型帶來的變化，從而揭示了所產(chǎn)生的不同結(jié)果。偏好升級是需要觸發(fā)的，所以我們定義了兩種群體建議，它們分別觸發(fā)兩個偏好升級算子，而這種觸發(fā)在系統(tǒng)中是可以用邏輯語言表達(dá)的。我們也分析了這種觸發(fā)機(jī)制的合理性，并給出了第一章中兩個問題的解決結(jié)果。在第三章的最后，我們給出了O D Z p 的公理系統(tǒng)及新添加算子的規(guī)約公理，并證明了這些規(guī)約公理，從而通過把C D Z p規(guī)約為相應(yīng)的