博弈语义

✍ dations ◷ 2025-07-24 17:50:27 #博弈语义

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

相关

牛海绵状脑病牛海绵状脑病（英语：bovine spongiform encephalopathy，缩写：BSE），俗称疯牛症（mad cow disease），是由传染因子引起，属于牛的一种进行性神经系统的传染性疾病，此疾病是一种传染性海绵状脑
妊娠糖尿病妊娠期糖尿病（gestational diabetes mellitus，简写成GDM）是指原先没有糖尿病症状的女性，在怀孕时出现高血糖的症状，妊娠糖尿病不一定会有明显症状，不过会增加妊娠毒血症、忧郁症的
阿比朵尔阿比朵尔 (俄语：Арбидол，英语：Arbidol) 是一种抗病毒药物，由前苏联药物化学研究中心研制开发，主要适应症是A类、B类流感病毒引起的流行性感冒，同时对其他一些呼吸道病毒感
肥力土壤肥力（英语：Soil fertility）是指土壤支持农作物生长的能力，即：为农作物提供生长的土地，并使得土地资源可持续使用，产出高质量的作物。土壤肥力高的土地需要具有以下两个特征：
全身性发炎反应症候群全身炎症反应综合症（Systemic inflammatory response syndrome ,SIRS）是一个影响到整个身体的炎症反应。它是身体的应激性反应，是机体应对一种感染性或非感染性因素的方式。虽
塞杰斯塔塞杰斯塔（古希腊语：Ἕγεστα，转写：Egesta；西西里语：Siggésta）是古希腊城市之一，由伊利米人创建，位于意大利西西里岛西北部。塞杰斯塔在历史上长期和塞利农特对立。在公元前580年
大乌兹河大乌兹河（Great Ouse /ˈuːz/）位于英格兰东部，为英国第四长河流。大乌兹河下游亦被称为旧西河及伊利河。大乌兹河的源头在英格兰中部，流经东安格利亚在金斯林进入的北海的沃什
励讯集团RELX集团（RELX Group），原称里德·爱思唯尔集团或里德·埃尔塞维尔（Reed Elsevier），成立于1993年，由英国的里德国际公司（Reed International PLC）和荷兰的爱思唯尔公司（Elsevier NV）合并
鸭嘴兽鸭嘴兽（学名：Ornithorhynchus anatinus；英语：Platypus，偶称Duck-billed platypus）是原兽亚纲单孔目鸭嘴兽科鸭嘴兽属（Ornithorhynchus）的唯一一种动物。鸭嘴兽是少有的卵生哺乳动物，
送气与不送气送气（Aspiration），语音学概念，指某些阻碍音在除阻时所伴随的强烈的空气喷吐。为感知送气与不送气音之间的差别，试将一只手或点燃的蜡烛置于口前，朗声说“滩”(/tʰan/)、“单”(/t