行为等价博弈

来源 :上海交通大学 | 被引量 : 0次 | 上传用户:xiaozhao550
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文中,我们首先简要总结一下代数、逻辑和博弈(或游戏)这三种作为描述抽象模型的方法各自所具有的特点,并且主要介绍Ehrenfeucht-Fra(l|¨)ss(?)游戏及其变体。然后我们将回顾一些重要的行为等价(或进程等价)关系以及它们的逻辑刻画,还包括由Rob J.Van Glabbeek提出的thelinear/branching time hierarchy。本文的核心内容是游戏阶层(game hierarchy),我们先给出一个游戏模板和一组游戏规则,通过它们之间不同的组合可以定义不同的游戏,而且每一个在the linear/branching timehierarchy中的等价关系都能找到一个上述的游戏来刻画。我们将以严格度来组织这些游戏,从而得到一个游戏阶层,其中的每一个游戏都对应了一种行为等价关系的游戏刻画。这种从游戏角度给出的阶层比the linear/branching time hierarchy更加细致。该项工作已发表在国际会议APLAS 2008上。本文的最后一部分将使用组合游戏来刻画行为等价关系。我们先定义两个基础的游戏以及四种组合运算,通过若干个基础游戏的不同组合方法,我们同样可以定义由游戏模板所定义的游戏,因此也能用来刻画行为等价关系。组合游戏的刻画方法比游戏模板更为细致,而且更加接近等价性检测算法的设计。
其他文献
本文阐述将“高尔夫”教学法运用到《建筑装饰施工技术规范》课程教学中,通过教学改革,找到更适合高职教育的《建筑装饰施工技术规范》课程教学方法,培养社会急需的技术性人才,并
目的研究无创呼吸机治疗慢性阻塞性肺疾病合并Ⅱ型呼吸衰竭患者的临床效果。方法选取2015年7月至2017年9月医院收治的慢性阻塞性肺疾病合并Ⅱ型呼吸衰竭患者100例,随机分为对
1母猪子宫炎的发病原因1.1卫生不达标母猪猪舍的卫生标准不达标。母猪排便后,会经常直接坐在排泄物上,整个下半身都是黑色的,这会对母猪的阴部造成伤害。后备母猪在发情的时
本文以"中国学生发展核心素养"中"一个核心,三个方面"为维度,探讨了化学课程标准和学生发展核心素养之间的关系,以期推动化学教学改革.
最为城市规划当中的一项重要组成部分,中小学布局规划受到了教育、城建和规划等多个部门的重视。本文对中小学建筑布局的设计要求进行阐述,通过全面、深入的分析,为中小学建
教师应把车刀角度作为《车工工艺学》的重点内容来教学。车刀角度是空间概念,内容抽象,不易理解,一些学生会望而却步,放弃学习。笔者在教学中巧用教学模具,结合削苹果的方法,变难点
田径训练辛苦、枯燥,学生对此缺乏兴趣。很多中小学的体育教师为了组建田径队用尽招数,“威逼利诱”然而效果并不好,田径依然没有太多人喜欢。相反,几乎所有的学生都喜欢电子
"全面二孩"政策的实施在一定程度上提高了居民的再生育意愿,但再生育意愿除了受政策因素的影响外,还受到个人、经济和社会因素的影响。文章以黑龙江省作为研究范本,对黑龙江
小城镇是城乡融合的区域,是城乡统筹的重要节点。本文以新型城镇化理念为导向,深入分析北京小城镇规划在城乡发展、公共设施建设与绿色空间实施等方面面临的问题,积极探索小