本文關鍵詞：帶有事務管理的動態(tài)偏好邏輯

  更多相關文章： 事務管理邏輯 偏好邏輯 認知邏輯 “其他條件均同”

【摘要】：對動態(tài)偏好邏輯(Dynamic Preference Logic)的研究,有助于其相關領域,如社會選擇理論(Social Choice Theory)、博弈論(Game Theory)的快速發(fā)展。我們將事務管理邏輯與偏好邏輯相結合,構造出了帶有事務管理的動態(tài)偏好邏輯,從而使得“其他條件均同”的偏好與一般的偏好動態(tài)化、顯現(xiàn)化。 在第一章,我們首先給出了一般認知邏輯(Epistemic Logic)和一般偏好邏輯的語言和語義以及公理化邏輯系統(tǒng)。接著在基本偏好邏輯的基礎上著重介紹了從馮·賴特(von Wright)那里引進的“其他條件均同”的偏好邏輯,分析了“其他條件均同”(All other things being equal)和“其他條件正�！�(All other things being normal)作為偏好條件對偏好邏輯的不同影響。最后我們給出了“其他條件均同”的偏好邏輯系統(tǒng)。 在第二章中,我們在給出靜態(tài)的事務管理邏輯的語言和模型后,進一步分析介紹了動態(tài)版的語言、模型,并比較了四種動作算子對于模型的不同影響。從而在它們的基礎上進一步討論了公開狀態(tài)下多主體的動態(tài)事務管理邏輯的一些基本情況,并給出了其中一些關鍵的歸約公理。 在基本的認知邏輯和事務管理邏輯基礎上,我們在第三章構造了自己的帶有事務管理的偏好邏輯。將事務關系看成是在“其他條件均同”下的一種等值關系,表明了事務關系與對我們邏輯中偏好關系(“其他條件均同”的偏好關系)的關系和相互影響,給出了事務-偏好邏輯的語言、模型和解釋。接著利用混合邏輯(Hybrid Logic)中的專名(Nominal)和滿足算子(Satisfaction operator),在同一層面上表示出了兩種不同層面的偏好,并在模型中用“其他條件均同”的偏好關系表示出了一般的偏好關系。在給出了靜態(tài)版的證明系統(tǒng)和完全性后,我們引入了動態(tài)算子,利用歸約方法給出了一個完全的帶有事務管理的動態(tài)偏好邏輯系統(tǒng)。
【關鍵詞】：事務管理邏輯 偏好邏輯 認知邏輯 “其他條件均同”
【學位授予單位】：西南大學
【學位級別】：碩士
【學位授予年份】：2011
【分類號】：B812
【目錄】：

• 摘要5-6
• Abstract6-7
• 文獻綜述7-13
• 一、認知邏輯與問題邏輯介紹7-9
• 二、偏好邏輯介紹9-11
• 三、研究的問題和思路11-13
• 引言13-15
• 第一章 基本的認知邏輯和偏好邏輯15-29
• 1.1 基本的認知邏輯15-17
• 1.1.1 認知邏輯的語言15
• 1.1.2 認知邏輯的語義15-16
• 1.1.3 認知邏輯的公理化16-17
• 1.2 基本的偏好邏輯17-20
• 1.2.1 語言17
• 1.2.2 偏好模型17-18
• 1.2.3 偏好語言的解釋18
• 1.2.4 偏好模型的表達力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 小結27-29
• 第二章 事務管理邏輯29-37
• 2.1 靜態(tài)的事務管理邏輯29-30
• 2.2 動態(tài)的事務管理邏輯30-33
• 2.3 公開的多主體的動態(tài)事務管理邏輯33-36
• 2.4 小結36-37
• 第三章 帶有事務管理的偏好邏輯37-49
• 3.1 介紹與動機37
• 3.2 靜態(tài)的事務管理偏好邏輯37-42
• 3.2.1 介紹37-38
• 3.2.2 語言和語義38-41
• 3.2.3 證明系統(tǒng)和完全性41-42
• 3.3 動態(tài)的事務管理偏好邏輯42-47
• 3.3.1 關于動作的動態(tài)語言42-46
• 3.3.2 證明系統(tǒng)和完全性46-47
• 3.4 小結47-49
• 結束語49-51
• 參考文獻51-53
• 致謝53-55
• 在學期間參與的課題和發(fā)表的文章55

【參考文獻】

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

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

，

本文編號：754318