帶有事務(wù)管理的動(dòng)態(tài)偏好邏輯.pdf

1、對(duì)動(dòng)態(tài)偏好邏輯(Dynamic Preference Logic)的研究，有助于其相關(guān)領(lǐng)域，如社會(huì)選擇理論(Social Choice Theory)、博弈論(Game Theory)的快速發(fā)展。將事務(wù)管理邏輯與偏好邏輯相結(jié)合，構(gòu)造出了帶有事務(wù)管理的動(dòng)態(tài)偏好邏輯，從而使得“其他條件均同”的偏好與一般的偏好動(dòng)態(tài)化、顯現(xiàn)化。
　　 在第一章，首先給出了一般認(rèn)知邏輯(Epistemic Logic)和一般偏好邏輯的語(yǔ)言和語(yǔ)義以及公理化

2、邏輯系統(tǒng)。接著在基本偏好邏輯的基礎(chǔ)上著重介紹了從馮·賴特(von Wright)那里引進(jìn)的“其他條件均同”的偏好邏輯，分析了“其他條件均同”(All other things being equal)和“其他條件正?！?All other things beingnormal)作為偏好條件對(duì)偏好邏輯的不同影響。最后給出了“其他條件均同”的偏好邏輯系統(tǒng)。
　　 在第二章中，在給出靜態(tài)的事務(wù)管理邏輯的語(yǔ)言和模型后，進(jìn)一步分析介紹了動(dòng)

3、態(tài)版的語(yǔ)言、模型，并比較了四種動(dòng)作算子對(duì)于模型的不同影響。從而在它們的基礎(chǔ)上進(jìn)一步討論了公開狀態(tài)下多主體的動(dòng)態(tài)事務(wù)管理邏輯的一些基本情況，并給出了其中一些關(guān)鍵的歸約公理。
　　 在基本的認(rèn)知邏輯和事務(wù)管理邏輯基礎(chǔ)上，在第三章構(gòu)造了自己的帶有事務(wù)管理的偏好邏輯。將事務(wù)關(guān)系看成是在“其他條件均同”下的一種等值關(guān)系，表明了事務(wù)關(guān)系與對(duì)邏輯中偏好關(guān)系(“其他條件均同”的偏好關(guān)系)的關(guān)系和相互影響，給出了事務(wù)-偏好邏輯的語(yǔ)言、模型和解釋。