博弈语义

✍ dations ◷ 2025-06-27 16:17: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的可计算性逻辑。

相关

希波克拉底“希波克拉底”（古希腊文：Ἱπποκράτης，前460年－前370年），为古希腊伯里克利时代之医师，约生于公元前460年，后世人普遍认为其为医学史上杰出人物之一。在其所身处之上古时代，
一个小小的建议《一个小小的建议》（A Modest Proposal: For Preventing the Children of Poor People in Ireland from Being a Burthen to Their Parents or Country, and for Making Them
仑目雷姆（全称为人体伦琴当量，英语：roentgen equivalent man，符号为rem）为辐射剂量当量的单位，相当于一伦琴的X光射线或伽码射线。1956年国际放射防护委员会把放射性工作人员的防护标
主动运输主动运输（active transport）是一种物质逆电化学梯度的跨细胞膜的运动。在细胞中，这一过程通常伴随着高浓度的分子积累，如金属离子、葡萄糖和氨基酸。相对于被动运输，主动运输的进
勃起困难勃起功能障碍（Erectile dysfunction，缩写：ED），为男性性功能障碍的一种，其特征在于阴茎在性行为期间无法勃起或维持勃起:538-39。勃起功能障碍可能会产生心理上的后果，因为它与关系
喹硫平喹硫平（Quetiapine），由阿斯利康制药商品名为思乐康、思瑞康（Seroquel），而由奥利昂集团（Orion Pharma）商品名为Ketipinor，两者都是富马酸喹硫平盐的药物，是非典型的抗精神病用药，主要治
屑头皮屑（英语：Dandruff）是头皮表层的角质皮质细胞老化、剥落形成的，一般为薄片状。一般的皮肤代谢会有稳定的代谢周期，在健康状态下的皮肤本来就有生长、角质化、死亡脱落的情形，因
人工电子耳人工耳蜗，亦称为“人工电子耳”，是一种植入式听觉辅助设备，其功能是使重度失聪的病人（聋人）产生一定的声音知觉。与助听器等其它类型的听觉辅助设备不同，人工耳蜗的工作原理不是放
陶片放逐制陶片放逐制（希腊文：ὄστρακον；英文：Ostracism），又译陶片流放制、陶片放逐法、陶片流放法或贝壳流放法等，是古代雅典城邦的一项政治制度，由雅典政治家克里斯提尼于前510年创立
通古斯语族满-通古斯语族（又称通古斯语系或通古斯－满语族）是世界主要语系之一，其下又分满语支和通古斯语支。通古斯语支的语言有长元音，满语支的语言复元音多；辅音的组合一般不超过两个音素，