博弈语义

✍ dations ◷ 2025-06-06 21:40:45 #博弈语义

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

相关

流感嗜血杆菌流感嗜血杆菌（学名：Haemophilus influenzae），简称嗜血杆菌，前称费佛氏杆菌（或译拜菲尔氏菌）或流感杆菌，是一种没有运动力的革兰氏阴性杆菌。它是于1892年由费佛（英语：Richard Friedric
肌肉骨骼系统人体肌肉骨骼系统或肌肉骨骼系统，简称肌骨系统（英语：Human musculoskeletal system，也作locomotor system，曾称activity system）是一种器官系统，通过为人体提供结构、支撑、稳定、
急性辐射综合症急性辐射综合症，也被称为辐射中毒或辐射病（英文缩写ARS），是一种患者在24小时内暴露于大剂量的游离辐射下导致的症候群，症状可持续多达数个月。本术语意指急性医疗问题，而不是产生
接种接种（英语：Inoculation）可以指：
甾体激素甾体激素（英语：Steroid hormone、又称甾体激素），是一类四环脂肪烃化合物，具有环戊烷多氢菲母核。类固醇激素是作为激素的类固醇。这些包括性腺的性激素和肾上腺皮质的皮质类固醇
生物化学物质生物化学（英语：biochemistry，也作 biological chemistry），顾名思义是研究生物体中的化学进程的一门学科，常常被简称为生化。它主要用于研究细胞内各组分，如蛋白质、糖类、脂类、核
喉片喉片(喉糖，喉咙含片，润喉糖，止咳片)是一种小型，通常含有药性的片剂，使用在在口中使它缓慢溶解，暂时缓解因来自普通感冒或流感所产生的咳嗽，并且润滑和舒缓喉咙受刺激的组织（通常使用
性心理发展性心理发展（Psychosexual Development）是西格蒙德·弗洛伊德在19世纪末、20世纪初提出的概念，是心理学理论的核心概念；包括5个阶段：口腔期、肛门期、性器期、潜伏期、生殖期。主
唇颚裂唇裂与颚裂（英语：Cleft lip and cleft palate），常被合称为唇颚裂，是一系列包含唇裂（CL）、颚裂（CP）、或二者皆有的疾病（CLP）。唇颚裂常包含上颚裂到鼻腔，甚至裂到耳朵都有可能；裂口可能发
耳柱骨耳柱骨（英语：columella）是爬虫类、两生类与鸟类的听小骨，可将声波从鼓膜传到内耳，其内端较粗，紧贴内耳的卵圆窗；外端较粗，连接在鼓膜中央。其功能相当于哺乳类中耳的镫骨。