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

中文摘要 带有事务管理的动态偏好逻辑 逻辑学专业硕士研究生熊作军 指导教师郭美云副教授 中文摘要 Preference 对动态偏好逻辑(Dynamic Logic)的研究，有助于其相关领域，如 Choice 社会选择理论(SocialTheory)、博弈论(GameTheory)的快速发展。我们 将事务管理逻辑与偏好逻辑相结合，构造出了带有事务管理的动态偏好逻辑，从 而使得“其他条件均同的偏好与一般的偏好动态化、显现化。 在第一章，我们首先给出了一般认知逻辑(EpistemicLogic)和一般偏好逻辑 的语言和语义以及公理化逻辑系统。接着在基本偏好逻辑的基础上着重介绍了从 冯·赖特(von Wdght)那里引进的“其他条件均同的偏好逻辑，分析了“其他 other other 条件均同’’(All thingsbeingequal)和“其他条件正常’’(Allthingsbeing normal)作为偏好条件对偏好逻辑的不同影响。最后我们给出了“其他条件均同’’ 的偏好逻辑系统。 在第二章中，我们在给出静态的事务管理逻辑的语言和模型后，进一步分析 介绍了动态版的语言、模型，并比较了四种动作算子对于模型的不同影响。从而 在它们的基础上进一步讨论了公开状态下多主体的动态事务管理逻辑的一些基本 情况，并给出了其中一些关键的归约公理。 ， 在基本的认知逻辑和事务管理逻辑基础上，我们在第三章构造了自己的带有 事务管理的偏好逻辑。将事务关系看成是在“其他条件均同下的一种等值关系， 表明了事务关系与对我们逻辑中偏好关系(“其他条件均同的偏好关系)的关系 和相互影响，给出了事务．偏好逻辑的语言、模型和解释。接着利用混合逻辑(Hyb耐 Logic)中的专名(Nominal)和满足算子(Satisfaction operator)，在同一层面上表 示出了两种不同层面的偏好，并在模型中用“其他条件均同的偏好关系表示出 了一般的偏好关系。在给出了静态版的证明系统和完全性后，我们引入了动态算 子，利用归约方法给出了一个完全的带有事务管理的动态偏好逻辑系统。 关键词：事务管理逻辑；偏好逻辑；认知逻辑；“其他条件均同” Abstract Preference A with Dynamic Logic Issue．Management MasterCandidateof Logic：XiongZuojun Directed by：Prof．GuoMeiyun Abstract Thestudiesonthe canmake contributionstothe dynamicpreferencelogic great ofitsrelatedfieldslikesocialchoice development theory,gametheory．Bycombining the set anew the w