博弈语义

✍ dations ◷ 2025-11-22 03:20:08 #博弈语义

博弈语义是一种基于博弈论定义真或有效性等逻辑概念的形式语义，比如游戏者的赢策略。保尔·洛伦茨首先在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的可计算性逻辑。

相关

X光X射线（英语：X-ray），又被称为爱克斯射线、艾克斯射线、伦琴射线或X光，是一种波长范围在0.01纳米到10纳米之间（对应频率范围30 PHz到30EHz）的电磁辐射形式。X射线最初用于医学成像诊
内皮内皮细胞或血管内皮是一薄层的专门上皮细胞，由一层扁平细胞所组成。它形成血管的内壁，是血管管腔内血液及其他血管壁（单层鳞状上皮）的界面。内皮细胞是沿着整个循环系统，由心脏直
营养器官营养器官通常指植物的根、茎、叶等器官。营养器官的基本功能是维持植物生命，这些功用抱括了如：光合作用等。但在某些状况之下，可能有无性生殖/营养生殖，意指，这些营养器官可能
免疫能力低下免疫缺陷（英语：immunodeficiency）是指免疫系统抵抗传染病的能力失常或欠缺。免疫缺陷还可能降低肿瘤免疫监视功能。免疫缺陷多为继发性（secondary）免疫缺陷，不过也有些人生来就有
基纳省基纳省（阿拉伯语：محافظة قنا‎），是埃及二十九省之一，位于埃及南部，首府为基纳。尼罗河贯穿本省。面积1,796平方公里，人口1,092,316人（2006年统计）。2009年12月7日，卢克索省自
下颌颔（又称下巴、下颔、下巴颏），是位于脊椎动物包括人类面部嘴唇以下的部位，人到年老时下巴会逐渐萎缩，这是老化现象的一个过程。
婴儿床婴儿床是四周有护栏的小型床，让婴儿和非常年幼的儿童使用，提供他们一个安全舒适的坐卧之处，并培养良好的睡眠习惯。婴儿床最大的特色是周围有护栏，保护婴儿和幼童不至于摔落床下
雅典国王雅典国王指的是在雅典式民主诞生之前，统治著雅典僭主、执政官和城邦的国王。他们大多数都带有浓厚的神话色彩、皆源自历史上发生过的事实。下表来自于公元四世纪该撒利亚的优
详2019冠状病毒病英国疫情，介绍在2019新型冠状病毒疫情中，在英国及其属地发生的情况。2020年1月，希思罗机场加强了对每周从武汉接收的三班直达航班的监控；每一个人都将要接受海关
字谷在字体排印学中，字怀（又称“字谷”）指字母构造中的全封闭或半封闭区域。拉丁字母中包含有封闭字怀的有A、B、D、O、P、Q、R、a、b、d、e、g、o、p和q，包含开放字怀的有c、f、