博弈语义

✍ dations ◷ 2025-12-06 05:25: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的可计算性逻辑。

相关

小儿科小儿科（或称儿科）是现代医学的一个分支，专门医疗患病的婴儿、儿童及青少年。最大的年龄通常至青春期。一个受到这方面知识专门训练的医生被称作儿科医生。
氧气氧气（英语：Oxygen, Dioxygen，分子式：O2）是氧元素最常见的单质形态，在空气中按体积分数算大约占21%，在标准状况下是气体，不易溶于水，密度比空气略大，氧气的密度是1.429g/L 。不可燃，可助
无性生殖无性生殖是指生物体不以透过生殖细胞的结合方式，也就是不经由减数分裂来产生配子，直接由母体细胞分裂后产生出新个体的生殖方式。主要分为孢子繁殖（英语：Sporogenesis）、分裂生殖
半电池半电池是一个包含可导电电极、电解质及分离两者而自然形成的双电层结构。该层内的化学反应会在电极和电解质之间移动电荷，从而形成电位差。典型的阳极反应为电极上的金属原子
阿托莫西汀阿托莫西汀（Atomoxetine, 商品名：Strattera择思达）为一种用于治疗注意(力)缺陷多动障碍（ADHD）的药物，属于非中枢神经刺激药物。主要副作用有：口干、疲倦等。该药为去甲肾上腺素再摄
西半球西半球是地球上本初子午线以西，180度经线以东的半球。由于欧洲及非洲的西部在西经，为避免被本初子午线分割，西半球及东半球的分界线有时也被定义为西经20°及东经160°。依照此
危地马拉中美洲（灰色）危地马拉共和国（西班牙语：República de Guatemala；西班牙语：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida
生物合成蛋白质生物合成是指在生物细胞内制造新的蛋白质，它是通过蛋白酶解或蛋白质导向（英语：Protein targeting）细胞蛋白的损耗被平衡。蛋白质的生物合成也称为翻译，它是基因表达的最后
鼻后滴流综合征鼻后滴流综合征（或称上气道咳嗽综合征、上呼吸道咳嗽综合征）是由鼻黏膜过度分泌黏液导致的一系列症状。由于过度分泌的黏液聚积在鼻腔后部，聚积到一定程度时即会开始从咽喉滴流
皮钦语皮钦语（英语：Pidgin，/ˈpɪdʒᵻn/，或pidgin language），又称混杂语言，一种简化版本的自然语言，这种语言来自于两个或两个以上的群体，他们之间没有共同语言，为了彼此沟通而发展出的语言