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

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

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

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

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