博弈语义

✍ dations ◷ 2025-04-02 13:32:23 #博弈语义

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

相关

酸碱平衡酸度系数（英语：Acid dissociation constant，又名酸解离常数，代号Ka、pKa、pKa值），在化学及生物化学中，是指一个特定的平衡常数，以代表一种酸解离氢离子的能力。该平衡状况是指由一种
真菌分类表医学导航 · 真菌病真菌 · 分类疾病药物（抗真菌药）
阿博赫登-考夫曼-利尼亚克氏综合征阿博赫登-考夫曼-利尼亚克氏综合征（Abderhalden-Kaufmann-Lignac syndrome），亦称为AKL综合征、阿博赫登-利尼亚克氏-考夫曼病（Abderhalden-Lignac-Kaufmann disease）或幼儿型肾病
氢氧化钡氢氧化钡是一种钡的化合物，分子式为Ba(OH)2，通常外观为白色颗粒状。氢氧化钡在分析化学中的滴定法可以当做弱酸的指示剂，对有机的弱酸别有效。它透明的溶液是不含碳酸盐的。不
甲苯甲苯（法语：Toluène，德语: Toluol，英语：Toluene，IUPAC：Methylbenzene，分子式：C7H8），是一种无色，带特殊芳香味的易挥发液体。甲苯是芳香族碳氢化合物的一员，它的很多性质与苯很相像，在现今
温带地中海型地中海式气候，又称作地中海气候、副热带夏干气候，其分布于中纬度地区（约南北纬30至40度）的大陆西岸地区，包括地中海沿岸地区、黑海沿岸地区、美国的加利福尼亚州、澳洲西南部伯斯
冲剂冲剂是指用开水冲调即可服用的中药剂型，一般是由中草药煎熬浓缩而成。是在汤剂和糖浆剂的基础上发展出来的一种新中药剂型。
基因武器遗传工程武器（genetic engineering weapon）又简称基因武器，即为透过分子遗传学以及合成生物学的技术，以重组DNA的方式将基因混合以及结合的方式制造的生物武器，目前处于概念阶段
百日咳白喉破伤风三联疫苗百白破三联疫苗（英语：Diphtheria Tetanus Pertussis vaccine, DPT，港澳台译为白喉破伤风百日咳混合疫苗），是指百日咳、白喉、破伤风混合的疫苗（三合一疫苗）。它由百日咳疫苗、精制
空肠在消化系统的解剖学方面，空肠（Jejunum）是整条小肠的中间，在十二指肠和回肠之间。成人的空肠通常是2.5米长。酸碱度通常是在7和8之间（中性或轻微的碱性）。空肠内部的表面有大量的绒