博弈语义

✍ dations ◷ 2025-11-28 04:57:46 #博弈语义

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

相关

血管性水肿血管神经性水肿是真皮、皮下组织（英语：subcutaneous tissue）、黏膜的局部肿胀。可发生于面部、舌头、喉、腹部、四肢。常与荨麻疹相关，荨麻疹是皮肤的红肿。 Onset is typically
萎缩萎缩（atrophy）为身体部分或是完全的日渐渐消瘦。造成萎缩的原因包含突变(可破坏建立器官的基因)、营养不良、不好的循环系统、失去激素(荷尔蒙)的帮助、失去目标器官的神经支
死刑犯死刑犯（英语：Death row，或称死囚、死刑囚犯）常指被司法宣判为死刑，而尚未被处决的犯人。他们被监禁在监狱中（中国大陆、台湾及日本的死刑犯则是囚禁在看守所内），等待死刑的执行。但
安莫西林阿莫西林（amoxicillin），又译安莫西林或安默西林，本名羟氨苄青霉素，是一种常用的口服性广谱β-内酰胺类抗生素，具溶菌作用，主治易感微生物所引起的细菌性感染。本品为治疗中耳炎的第
卵巢卵巢（英语：ovary；拉丁语：ovarium）在解剖学中是指动物雌性体内制造卵子的一对性腺体。其中人类的卵巢呈现为卵圆形、偏灰的粉红色，是非常坚实的器官，形状类似于一个大葡萄。在子宫的
电子排布电子排布，或称电子排序、电子构型，指电子在原子、分子或其他物理结构中的每一层电子层上的排序及排列形态。正如其他基本粒子，电子遵从量子物理学，而不是一般的经典物理学；电子也
萨姆松萨姆松（土耳其语：Samsun）是土耳其北部黑海沿岸的一个城市，面积9平方公里，是萨姆松省首府。2007年的人口为725,111人。萨姆松是在前7世纪由米利都殖民者建立的。
梦游症梦游症（Somnambulism），在神经学上是一种睡眠障碍，症状一般为在半醒状态下在居所内走动，但有些患者会离开居所或作出一些危险的举动，如翻窗、开车甚至一些暴力活动，如杀人等。1846年
监护宣告行为能力（capacity）为一种法律上的概念，其与“权利能力”及“意思能力”不同，乃指为法律行为之资格，亦即个人以独自的意思表示，使其行为发生法律上效果的资格而言。民法中基于私法
南半球南半球（英语：Southern Hemisphere）是指赤道以南的半个地球。南半球主要包括的地区有亚洲印度尼西亚南部、非洲中部及南部、大洋洲绝大部分、南美洲大部分、南极洲全部。在南半