博弈语义

✍ dations ◷ 2025-09-16 12:32:35 #博弈语义

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

相关

抗病毒药抗病毒药物（antiviral drug）是一类用于特异性治疗病毒感染的药物。就像抗生素治疗细菌感染一样，特定的抗病毒药物对特定的病毒起作用；但抗病毒药物和抗生素不同的是，后者消灭细菌
肝衰竭肝衰竭（Liver failure或Hepatic insufficiency）是一种肝脏未能正常执行其蛋白合成以及代谢功能的情况。肝衰竭分成急性与慢性两种。近来也渐渐的发现有第三种型式慢性肝衰竭
鼻腔鼻腔，呼吸道最前部由骨和软骨围成的空腔，为呼吸系统的起始部。以鼻中隔分为左右两半，前端经鼻孔与外界相通，后端经鼻后孔与咽腔相连。
地球的未来地球的未来可以由几个地球长期的转变估计，包括地球表面的化学状态、地球内部冷却的速度、地球与其他太阳系行星的摄动，以及太阳光度稳定的增长。这个估计当中有一个不明朗的因
淋巴细胞淋巴细胞（英语：lymphocyte），也称淋巴球，为白细胞中体积最小的一种，直径6—8微米；在人体约占白细胞的20—30%，圆形细胞核，细胞质很少。某些疾病可以影响淋巴细胞数目的增减，如患肺结核
H6N1亚型H6N1（英语：Influenza A virus subtype H6N1，记作A(H6N1)或H6N1）是一种甲型流感病毒，是禽流感病毒或禽流感病毒的一个亚型。H6N1最初于2013年6月21日在台湾发现，首例患者是一名住在
沟通障碍沟通障碍指的是任何会影响到个人有效在对话中理解、表达或应用的语言和语音与他人沟通之能力的障碍。此类的迟缓或障碍的类型可能从简单的语音取代，到无法理解或使用一个人
骆驼骆驼属（学名：Camelus）通称骆驼，是一种偶蹄目骆驼科的动物，主要有单峰骆驼和双峰骆驼两种，多见于沙漠地带。因其在沙漠以及酷暑、严寒等恶劣自然环境下仍能良好生存的生理特点，沙漠
词性词类（part of speech、PoS、POS）是一个语言学术语，是一种语言中词的语法分类，是以语法特征（包括句法功能和形态变化）为主要依据、兼顾词汇意义对词进行划分的结果。从组合和聚合关
科尔多凡语族科尔多凡语族是尼日尔-刚果语系的三个分支之一，主要语言人口位于东非苏丹中部科尔多凡地区南部的努巴山区内，是一个比较疏离的一个支系。1963年，约瑟·格林伯格(Joseph Greenbe