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

1、一直以來，對知識、信念和偏好的研究基本上沒有關(guān)注我們是如何被社會關(guān)系所影響的這個問題。QQ空間或者Facebook的“社區(qū)”也許是最簡單的社會結(jié)構(gòu)。它的背后只有一個稱為“朋友”的對稱的關(guān)系。然而，即便是這樣一個簡單的結(jié)構(gòu)，仍然可以得到一個與之相關(guān)的有趣的模型。把一個“社會群體”定義為一個在朋友關(guān)系下封閉的主體集，然后就得到了一個這樣的世界集：它由許多重合的“社交圈”組成?？梢栽谄渲姓?wù)撝黧w的知識和偏好。還可以加入宣告算子和建議算子，從而

2、談?wù)撝黧w知識和偏好的動態(tài)改變，甚至社交圈本身也是可以談?wù)摵透淖兊摹?br>　　 基于這樣的想法，本文在Jeremy Seligman[2]中建立的邏輯之上提出了一個群體的動態(tài)認(rèn)知偏好邏輯CDLP，它不同于一般意義上的多主體系統(tǒng)，或者說它不僅僅是一般意義上的多主體系統(tǒng)，因為“群體”概念本身就說明了主體之間是互相聯(lián)系的。
　　 第一章提出了兩個問題，通過分析Basic Preference Logic和Dynamic Prefer

3、ence Logic的語言和語義，呈現(xiàn)了理解CDLP所必備的基本知識，也說明了它們?yōu)槭裁床蛔阋蕴幚硖岢龅膯栴}。
　　 第二章中，介紹了多主體的靜態(tài)認(rèn)知偏好邏輯CSLP，給出了其語言和語義，在涉及到混合邏輯語言的內(nèi)容上給出詳細(xì)解釋。
　　 第三章是本文的重點和精彩之處。在CSLP基礎(chǔ)上通過添加兩個偏好升級算子得到了CDLP。給出了這兩個偏好升級算子的語言和語義，說明了它們各自給模型帶來的變化，從而揭示了所產(chǎn)生的不同結(jié)果。偏

4、好升級是需要觸發(fā)的，所以定義了兩種群體建議，它們分別觸發(fā)兩個偏好升級算子，而這種觸發(fā)在系統(tǒng)中是可以用邏輯語言表達的。也分析了這種觸發(fā)機制的合理性，并給出了第一章中兩個問題的解決結(jié)果。在第三章的最后，給出了CDLP的公理系統(tǒng)及新添加算子的規(guī)約公理，并證明了這些規(guī)約公理，從而通過把CDLP規(guī)約為相應(yīng)的靜態(tài)語言完成了其完全性的證明。
　　 第四章是一個討論章節(jié)，我們指出了CDLP的廣闊應(yīng)用前景，但也分析了該系統(tǒng)的若干不足，并且針對這些