博弈语义

✍ dations ◷ 2025-12-07 00:19:20 #博弈语义

博弈语义是一种基于博弈论定义真或有效性等逻辑概念的形式语义，比如游戏者的赢策略。保尔·洛伦茨首先在1950年代晚期为逻辑引入了博弈语义。此后在逻辑中已经研究了很多不同的博弈语义。博弈语义也已经应用于编程语言的形式语义。Lorenzen和Kuno Lorenz的主要动机是为直觉主义逻辑找到一种博弈论（他们的术语是"对话式" Dialogische Logik）语义。Blass首先指出在博弈语义和线性逻辑之间的联系。这个路线进一步由Samson Abramsky、Radhakrishnan Jagadeesan、Pasquale Malacaria和独立的由Martin Hyland和Luke Ong发展，对组合性加以特别强调，就是递归的在语法上定义策略。使用博弈语义，上面提及的作者们解决了长期存在的为可计算函数的编程语言定义完全抽象模型的问题。于是，在博弈语义的基础上，产生了为各种编程语言提供了完全抽象的语义模型，以及由此产生了用软件模型检测进行软件验证的新的语义导向的方法。博弈语义的基础性考虑被Jaakko Hintikka和Gabriel Sandu更加强调，特别是为Independence Friendly逻辑（IF逻辑，更加新近地Information-friendly逻辑）提供语义。IF逻辑是带有分枝量词的逻辑，一度，组合原则被认为对IF逻辑不成立，所以无法利用Tarski的真理定义为此逻辑定义合适的语义。为解决这个问题，量词被赋予博弈论的意义，特别的，这种方法和经典命题逻辑的博弈论语义类似，区别仅在于博弈者并非总是掌握对弈者前面的行动的完全信息。Wilfrid Hodges给出了组合语义，并证明了它和IF-逻辑的博弈语义等价。基础性考虑已经推动了其他的工作，比如Japaridze的可计算性逻辑。

相关

冠状血管冠状血管（英语：Coronary artery）是心脏本身的血液供应系统，包括冠状动脉和冠状静脉。冠状血管如花冠状缠绕心脏。冠状动脉属于动脉，在主动脉瓣附近从主动脉分支出来，并分为左冠状
氧气中毒氧气中毒（Oxygen toxicity）是指吸入高浓度高压氧气的不良反应，又称氧气毒性症，氧气毒性。这种症状历史上曾称以发现及描述此病症的19世纪研究员命名，其对中枢神经系统的影响称为
裂谷热裂谷热（英语：Rift Valley fever）又称作里夫谷热，是一种由病毒引起的人畜共通病，它的症状程度从轻微到严重都有。轻微的症状包括：发烧、肌肉疼痛、以及头痛（常持续数天到一周）；严重的
亚利桑那州截至2010年亚利桑那州（英语：Arizona，i/ɛərᵻˈzoʊnə, ærᵻ-/）是美国一个位于西南部的州份，同时也是西部和山区州份之一。此州是美国第6大及人口第14大的州份。首府和最大城
盎格鲁美洲／英语美洲盎格鲁美洲（英语：Anglo-America），又称英语美洲，用作描述以英语为主要语言，或者与英格兰或英伦三岛在历史、语言或文化上有密切关系的美洲地区，也可以指英语世界的美洲部分，与操罗曼
威廉·维赫维尔威廉·惠威尔，FRS（英语：William Whewell，/ˈhjuːəl/，1794年5月24日－1866年3月6日），又译威廉·休厄尔，生于英国英格兰兰开夏兰卡斯特，博学通才、科学家、哲学家、圣公宗祭司与基督教
兄弟战争《Brothers Conflict》（ブラザーズコンフリクト），是由叶濑敦子企划、水野隆志编写的日本多媒体作品，原作为小说形式于杂志电击SYLPH连载，并改编为游戏及2013年7月2日开始播放的
恶病体质恶病体质（Cachexia）代表因疾病引起的体重减轻以及肌肉量减少，呈现衰落的状态，通常为癌症或艾滋病等严重疾病引起的并发症。
发展障碍发展障碍、发展迟缓（Developmental disorders），也称心理发展障碍，是一类儿童学习障碍和相关的发育障碍的总称。其包含特殊性发育障碍和广泛性发育障碍。该自闭症关联团体组织的
生殖器疱疹生殖器疱疹，又称阴部疱疹或疱疹二型，可由单纯疱疹病毒第一型及第二型传染，但主要由“单纯疱疹二型病毒”引起，通常是与患者性交时传染得来的性病，潜伏期约五至六天。阴部疱疹主要