發(fā)布時(shí)間：2017-08-29 16:28

  本文關(guān)鍵詞：帶有事務(wù)管理的動(dòng)態(tài)偏好邏輯

  更多相關(guān)文章： 事務(wù)管理邏輯 偏好邏輯 認(rèn)知邏輯 “其他條件均同”

【摘要】：對(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)和一般偏好邏輯的語言和語義以及公理化邏輯系統(tǒng)。接著在基本偏好邏輯的基礎(chǔ)上著重介紹了從馮·賴特(von Wright)那里引進(jìn)的“其他條件均同”的偏好邏輯,分析了“其他條件均同”(All other things being equal)和“其他條件正�！�(All other things being normal)作為偏好條件對(duì)偏好邏輯的不同影響。最后我們給出了“其他條件均同”的偏好邏輯系統(tǒng)。 在第二章中,我們?cè)诮o出靜態(tài)的事務(wù)管理邏輯的語言和模型后,進(jìn)一步分析介紹了動(dòng)態(tài)版的語言、模型,并比較了四種動(dòng)作算子對(duì)于模型的不同影響。從而在它們的基礎(chǔ)上進(jìn)一步討論了公開狀態(tài)下多主體的動(dòng)態(tài)事務(wù)管理邏輯的一些基本情況,并給出了其中一些關(guān)鍵的歸約公理。 在基本的認(rèn)知邏輯和事務(wù)管理邏輯基礎(chǔ)上,我們?cè)诘谌聵?gòu)造了自己的帶有事務(wù)管理的偏好邏輯。將事務(wù)關(guān)系看成是在“其他條件均同”下的一種等值關(guān)系,表明了事務(wù)關(guān)系與對(duì)我們邏輯中偏好關(guān)系(“其他條件均同”的偏好關(guān)系)的關(guān)系和相互影響,給出了事務(wù)-偏好邏輯的語言、模型和解釋。接著利用混合邏輯(Hybrid Logic)中的專名(Nominal)和滿足算子(Satisfaction operator),在同一層面上表示出了兩種不同層面的偏好,并在模型中用“其他條件均同”的偏好關(guān)系表示出了一般的偏好關(guān)系。在給出了靜態(tài)版的證明系統(tǒng)和完全性后,我們引入了動(dòng)態(tài)算子,利用歸約方法給出了一個(gè)完全的帶有事務(wù)管理的動(dòng)態(tài)偏好邏輯系統(tǒng)。
【關(guān)鍵詞】：事務(wù)管理邏輯 偏好邏輯 認(rèn)知邏輯 “其他條件均同”
【學(xué)位授予單位】：西南大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2011
【分類號(hào)】：B812
【目錄】：

• 摘要5-6
• Abstract6-7
• 文獻(xiàn)綜述7-13
• 一、認(rèn)知邏輯與問題邏輯介紹7-9
• 二、偏好邏輯介紹9-11
• 三、研究的問題和思路11-13
• 引言13-15
• 第一章 基本的認(rèn)知邏輯和偏好邏輯15-29
• 1.1 基本的認(rèn)知邏輯15-17
• 1.1.1 認(rèn)知邏輯的語言15
• 1.1.2 認(rèn)知邏輯的語義15-16
• 1.1.3 認(rèn)知邏輯的公理化16-17
• 1.2 基本的偏好邏輯17-20
• 1.2.1 語言17
• 1.2.2 偏好模型17-18
• 1.2.3 偏好語言的解釋18
• 1.2.4 偏好模型的表達(dá)力18
• 1.2.5 二元偏好序列18-19
• 1.2.6 偏好邏輯公理化19-20
• 1.3 CP(CETERIS PARIBUS)偏好邏輯20-27
• 1.3.1 作為其它條件正常的CP20-22
• 1.3.2 作為其它條件均同的CP22-23
• 1.3.3 基于"其它條件均同"的偏好邏輯(CPL)23-24
• 1.3.4 CPL的公理化24-27
• 1.4 小結(jié)27-29
• 第二章 事務(wù)管理邏輯29-37
• 2.1 靜態(tài)的事務(wù)管理邏輯29-30
• 2.2 動(dòng)態(tài)的事務(wù)管理邏輯30-33
• 2.3 公開的多主體的動(dòng)態(tài)事務(wù)管理邏輯33-36
• 2.4 小結(jié)36-37
• 第三章 帶有事務(wù)管理的偏好邏輯37-49
• 3.1 介紹與動(dòng)機(jī)37
• 3.2 靜態(tài)的事務(wù)管理偏好邏輯37-42
• 3.2.1 介紹37-38
• 3.2.2 語言和語義38-41
• 3.2.3 證明系統(tǒng)和完全性41-42
• 3.3 動(dòng)態(tài)的事務(wù)管理偏好邏輯42-47
• 3.3.1 關(guān)于動(dòng)作的動(dòng)態(tài)語言42-46
• 3.3.2 證明系統(tǒng)和完全性46-47
• 3.4 小結(jié)47-49
• 結(jié)束語49-51
• 參考文獻(xiàn)51-53
• 致謝53-55
• 在學(xué)期間參與的課題和發(fā)表的文章55

【參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前1條

1 郭美云;熊作軍;;一個(gè)帶有事務(wù)管理的動(dòng)態(tài)偏好邏輯(英文)[J];邏輯學(xué)研究;2011年01期

，

本文編號(hào)：754318