博弈语义

✍ dations ◷ 2025-10-19 11:52:57 #博弈语义

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

相关

香烟品牌列表这是一个香烟品牌的列表：
美国国家生物技术信息中心国家生物技术信息中心（National Center for Biotechnology Information，简称NCBI）是美国国家医学图书馆（NLM）的一部分（该图书馆是美国国家卫生研究所的一部分）。NCBI位于美国马里兰
醛固酮增多症醛固酮增多症（hyperaldosteronism），是一种由于肾上腺产生的醛固酮过多导致的疾病。醛固酮过多可进一步造成血液中钾水平降低（低钾血症）和氢离子排泄增多（碱中毒（英语：alkalosis））。醛
一氧化碳中毒一氧化碳中毒由吸入过量一氧化碳（CO）所导致。其症状与流感有相似之处，包括头痛、头晕、虚弱、呕吐、胸痛、迷糊等。大量吸入可导致失去意识、心律不齐、癫痫，以致死亡。长期的
附睾炎附睾炎（英语：epididymitis）表现为阴囊部位突然性疼痛，触痛明显等，附睾炎可影响精子的发育程度，使精子受精能力降低，也有可能造成不孕。附睾炎主要发生在中青年时期，是男性疾病中的一
奈韦拉平奈韦拉平（英语：Nevirapine，NVP），是预防艾滋病的药物，尤其是针对HIV-1感染。常见的销售药品名为 Viramune，一般会建议和其他抗反转录病毒药物合并使用。本品可用于预防母婴垂直感染（
元数据元数据（英语：metadata），又称诠释数据、中介数据、中继数据、后设数据等，为描述其他数据信息的数据。有三种不同类型的元数据，分别是记叙性元数据、结构性元数据和管理性元数据。主
爆炸当量爆炸当量又称“TNT当量”，是指炸药的爆炸造成的威力，相当于多少质量单位的三消硝基甲苯（TNT）爆炸所造成的威力相同。质量单位通常以千克（kg）或吨（t）来计量，而在核武器的威力衡量上则
佛兰德佛兰德（荷兰语：Vlaanderen；法语：Flandre；英语：Flanders），又译法兰德斯，是比利时西部的一个地区，人口主要是弗拉芒人，说荷兰语（又称“弗拉芒语”）。传统意义的“佛兰德”亦包括法国北部和
GhotiGhoti是一个为表现英语拼写的不规则性而被人为创造出来的单词。这个单词与“fish”（/ˈfɪʃ/，意为“鱼”）一词发音相同，被认为是fish的另一种拼写形式。“ghoti”一词包括三个