博弈语义

✍ dations ◷ 2025-11-18 18:37:52 #博弈语义

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

相关

二手烟二手烟，亦称非自愿性吸烟，是指在吸取燃点烟草时随着烟雾释放出来的物质，是一种被动吸烟（Passive smoking）方式有研究指二手烟有焦油、阿摩尼亚、尼古丁、悬浮微粒、超细悬浮微粒
支原体鸡毒支原体 M. gallisepticum 生殖支原体 M. genitalium 人型支原体 M. hominis 猪肺炎支原体 M. hyopneumoniae 绵羊肺炎支原体 M. ovipneumoniae 肺炎支原体 M. pneumonia
蒂内尔征Tinel征是一种神经损害的表现。它是通过叩击神经损伤的部位引起“如坐针毡（英语：Paresthesia）”样的刺痛或蚁走感。它的名字来自法国神经学家Jules Tinel（1879-1952）。举个例子，在
联邦议长：南希·裴洛西（民主党）多数党领袖（英语：Party leaders of the United States House of Representatives）：斯坦利·霍耶（民主党）少数党领袖（英语：Party leaders of the United Sta
火龙卷火龙卷，又称为火焰龙卷风、火焰漩涡、火灾旋风等，是当空气中的漩涡乱流因为高热及风向造成的湍流结合而形成，在旋风内有火焰。当这些涡旋空气继续收紧至类似龙卷风的结构时，可以
叙任权斗争叙任权斗争（英语：Investiture Controversy）或叙任权争夺（英语：Investiture Contest）是中世纪欧洲最著名的重大冲突事件，矛盾的双方是教会和世俗君主。在11和12世纪之际，数位教宗挑战
高压釜高压釜（英语：Autoclave，亦称为高壓滅菌釜、高压灭菌器、加压釜或加压灭菌器）是用水蒸汽的高温高压对物品进行灭菌处理的装备。通常的处理条件是在高压饱和蒸汽121摄氏度下处理15
X染色体易裂症X染色体易裂症（Fragile X syndrome (FXS)），或译X染色体脆折症、染色体易脆症等，是一种可能造成智能障碍的病症。患病以男性为主，相较女性严重，可能睾丸较大、咬合不正、自闭症、肌
Anterior ethmoidal前筛神经（anterior ethmoidal nerve）为支配鼻腔感觉的神经。该神经源自于鼻睫神经（英语：nasociliary nerve），为三叉神经眼分支的其中一条分支。鼻睫神经在分支出四个分支（由起点到
俄语俄语（俄语：ру́сский язы́к，罗马化：russkij jazyk，发音），中文也称俄文，为联合国官方语言之一。俄语属于斯拉夫语族的东斯拉夫语支，是斯拉夫语族中使用人数最多的语言，是俄