博弈语义

✍ dations ◷ 2025-04-04 21:02:33 #博弈语义

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

相关

ε-变形菌纲详见细菌分类表ε-变形菌要么厄氏杆菌是变形菌中的一类，与δ-变形菌关系最近。医学导航：病菌细菌（分类）gr+f／gr+a（t）／gr-p（c／gr-o药物（J1p、w、n、m、疫苗）
脂类脂类（英语：Lipid），又称脂质，这是一类不溶于水而易溶于脂肪溶剂（醇、醚、氯仿、苯）等非极性有机溶剂，由脂肪酸与醇作用脱水缩合生成的酯及其衍生物统称为脂类，其中包括脂肪、蜡、类固
甲状旁腺功能亢进症副甲状腺亢进（英文：Hyperparathyroidism）是血液中副甲状腺素浓度上升所造成的疾病。副甲状腺亢进分为两种类型，一种是原发性副甲状腺机能亢进（英语：Primary hyperparathyroidism），是
米索前列醇米索前列醇（Misoprostol），常见商品名为Cytotec，是一种人工合成的PGE1药物。用于加速分娩、流产、预防或治疗胃溃疡，或治疗因为子宫收缩不足所造成的产后出血。如果用于流产，常常
睾酮睾酮（testosterone）（又称睾固酮、睾丸素、睾丸酮或睾甾酮、睾脂酮）是类固醇激素，由男性的睾丸或女性的卵巢分泌，肾上腺亦分泌少量睾酮。睾酮是主要的雌雄激素及蛋白同化甾类。不论
生物分布区世界生物地理分区是指在历史发展过程中形成而在现代生态条件下存在的许多生物类型的总体，是在历史因素和生态因素共同作用下形成的。动植物的种或其他分类类群，最初是从一个地
早泄早发性射精（英文：Premature ejaculation）俗称早泄，是指进行性行为时男性射精过早，医学上指是阴茎于插入阴道（阴道内射精延迟时间）或肛门一分半钟内射精。现在更多医生愿意从女性角
浆膜浆膜可以指：
病假病假 (或称有薪病假)是劳工能因身体健康因素，留在家里休养，并且不会失去工资。带薪病假在许多国家是法定要求，像是大部分欧洲国家、许多拉美国家，还有一些非洲和亚洲国家在法规
∀倒转 A（大写：Ɐ、小写：ɐ、数学符号：∀）是扩展拉丁字母的一种，来自拉丁字母A。小写的 ɐ 是国际音标中次开央元音的符号。.mw-parser-output .monospaced{font-family:"Menlo","C