带有事务管理的动态偏好逻辑

发布时间：2017-08-29 16:28

  本文关键词：带有事务管理的动态偏好逻辑

  更多相关文章： 事务管理逻辑 偏好逻辑 认知逻辑 “其他条件均同”

【摘要】：对动态偏好逻辑(Dynamic Preference Logic)的研究,有助于其相关领域,如社会选择理论(Social Choice Theory)、博弈论(Game Theory)的快速发展。我们将事务管理逻辑与偏好逻辑相结合,构造出了带有事务管理的动态偏好逻辑,从而使得“其他条件均同”的偏好与一般的偏好动态化、显现化。 在第一章,我们首先给出了一般认知逻辑(Epistemic Logic)和一般偏好逻辑的语言和语义以及公理化逻辑系统。接着在基本偏好逻辑的基础上着重介绍了从冯·赖特(von Wright)那里引进的“其他条件均同”的偏好逻辑,分析了“其他条件均同”(All other things being equal)和“其他条件正常”(All other things being normal)作为偏好条件对偏好逻辑的不同影响。最后我们给出了“其他条件均同”的偏好逻辑系统。 在第二章中,我们在给出静态的事务管理逻辑的语言和模型后,进一步分析介绍了动态版的语言、模型,并比较了四种动作算子对于模型的不同影响。从而在它们的基础上进一步讨论了公开状态下多主体的动态事务管理逻辑的一些基本情况,并给出了其中一些关键的归约公理。 在基本的认知逻辑和事务管理逻辑基础上,我们在第三章构造了自己的带有事务管理的偏好逻辑。将事务关系看成是在“其他条件均同”下的一种等值关系,表明了事务关系与对我们逻辑中偏好关系(“其他条件均同”的偏好关系)的关系和相互影响,给出了事务-偏好逻辑的语言、模型和解释。接着利用混合逻辑(Hybrid Logic)中的专名(Nominal)和满足算子(Satisfaction operator),在同一层面上表示出了两种不同层面的偏好,并在模型中用“其他条件均同”的偏好关系表示出了一般的偏好关系。在给出了静态版的证明系统和完全性后,我们引入了动态算子,利用归约方法给出了一个完全的带有事务管理的动态偏好逻辑系统。
【关键词】：事务管理逻辑 偏好逻辑 认知逻辑 “其他条件均同”
【学位授予单位】：西南大学
【学位级别】：硕士
【学位授予年份】：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 静态的事务管理逻辑29-30
• 2.2 动态的事务管理逻辑30-33
• 2.3 公开的多主体的动态事务管理逻辑33-36
• 2.4 小结36-37
• 第三章 带有事务管理的偏好逻辑37-49
• 3.1 介绍与动机37
• 3.2 静态的事务管理偏好逻辑37-42
• 3.2.1 介绍37-38
• 3.2.2 语言和语义38-41
• 3.2.3 证明系统和完全性41-42
• 3.3 动态的事务管理偏好逻辑42-47
• 3.3.1 关于动作的动态语言42-46
• 3.3.2 证明系统和完全性46-47
• 3.4 小结47-49
• 结束语49-51
• 参考文献51-53
• 致谢53-55
• 在学期间参与的课题和发表的文章55

【参考文献】

中国期刊全文数据库 前1条

1 郭美云;熊作军;;一个带有事务管理的动态偏好逻辑(英文)[J];逻辑学研究;2011年01期

，

本文编号：754318