博弈语义

✍ dations ◷ 2025-12-11 16:28:29 #博弈语义

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

相关

虚词虚词，也称功能词（Function word），与实词相对，指的是汉语词汇中没有实际意义的词，同时虚词也无法独立成句。一般包含副词、介词、连接词、助词、叹词等。虚词一般包含副词、介词、
J01DA·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码J01（抗菌药）是解剖学治疗学及化学分类系统的一个药物分组，这是由世界卫生组织药物统计方法整合中心（The WHO Collaboratin
结缔组织结缔组织（英语：connective Tissue）为脊椎动物基本组织之一，由细胞和大量细胞外基质组成。广义上的结缔组织包括固有结缔组织、软骨组织和骨组织、血液以及淋巴。一般所指的结缔
行政部门美国联邦行政部门（英语：United States Federal Executive Departments）是对于美国联邦政府中由总统指挥的行政机构总称，目前共有15个联邦行政部门；其中包含历史最为悠久的主要单
烟雾烟雾（英语：smog）是一种空气污染现象。这个词的原意是指在英国伦敦有时别称“豌豆汤雾（英语：Pea soup fog）”的烟霞，是伦敦从19世纪到20世纪中期的严重问题。这种烟雾是在城市内燃烧
多伦多大多伦多地区（英语：Greater Toronto Area，当地缩写作GTA）是加拿大人口密度最高的都会区。按安大略省政府规划部门的定义，大多地区的人口在2011年全国普查时为 6,054,191 人。除
无菌技术无菌操作（英语：aseptic technique）是指在执行医疗、护理技术过程中，防止一切微生物侵入机体和保持无菌物品及无菌区域不被污染的操作技术和管理方法，由约瑟夫·李斯特在1865年首
阿德莱德大学阿德莱德大学（英语：University of Adelaide），在澳大利亚被归为六所砂岩学府（Sandstone universities）之一，世界著名高等学府，位于南澳大利亚州首府阿德莱德市中心。自1874年创校以来
RARA1DKF、1DSZ、3A9E、3KMR、3KMZ、4DQM、5K13591419401ENSG00000131759ENSMUSG00000037992P10276Q6I9R7P11416XM_011525096、NM_000964、NM_001024809、NM_001033
鼻行动物†单鼻亚目 Monorrhina (虚构) †多鼻亚目 Polyrrhina (虚构)鼻行动物（原文Snouters或Rhinogrades）是一个由德国动物学家Gerolf Steiner化名为Harald Stümpke所描述的虚构哺