博弈语义

✍ dations ◷ 2025-11-26 05:46:21 #博弈语义

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

相关

微生物学微生物学是研究微生物的一门学科。微生物包括病毒、原核生物和简单的真核生物。目前，微生物学的最主要工作是用生物化学和遗传学方法完成的。由于很多病原（像是造成植物病害的
胰泌素促胰液素（英语：secretin）为史上首个被发现的激素。是由十二指肠分泌的含27个氨基酸的激素。它的产生可由多种因素刺激，其中最强的刺激信号是胃酸中的盐酸。这种激素可作用于胰腺
查尔斯·赫伯特·贝斯特查尔斯·赫伯特·贝斯特（Charles Herbert Best，1899 - 1978），加拿大生理学家。1921年在多伦多大学作为弗雷德里克·班廷的助手共提炼了胰岛素。1923年班廷获诺贝尔奖后曾将一半
桶孔隔膜桶孔隔膜（Dolipore septum）是担子菌门伞菌纲真菌菌丝中的一种隔膜（英语：septa），为真菌最复杂的一种隔膜，最早于1962年由美国真菌学家罗耶·摩尔（英语：Royall Moore）与詹姆士·麦卡利尔
副总统美国副总统（英语：Vice President of the United States，非正式简称：VP / veep）是美国联邦政府行政分支中位阶第二高的官员，仅次于美国总统；同时在美国总统继任顺序中排列第一。同
可乐定可乐定（英语：Clonidine）（商品名称为：Catapres, Kapvay, Nexiclon, Clophelin等），是一种用来治疗高血压、注意力缺陷多动障碍、焦虑症、抽动综合症、偏头痛、“酒精、鸦片、尼古丁的
辅酶辅因子（英语：cofactor）指与酶（酵素）结合且在催化反应中必要的非蛋白质化合物。某些分子如水和部分常见的离子所扮演的角色和辅因子相当类似，但由于含量不受限制且普遍存在，因此不归
传播传播（Communication，来源于拉丁语中的commūnicāre, 意为"分享"）是人们通过符号、讯号，传递、接收与反馈讯号的活动；是人们彼此交换意见、思想、情感，以达到相互了解和影响的过程
红统府红统府（泰语：จังหวัดอ่างทอง，皇家转写：Changwat Ang Thong，泰语发音：）是泰国中部的一个府。红统府以前称“威社猜餐城”，为大城府的前哨城市，以后在大城时代迁都至昭拍
Creative Commons Attribution 3.0 Unported知识共享许可协议（英语：Creative Commons license，或创用CC许可）是一种公共著作权许可协议（英语：Public copyright license），其允许分发受著作权保护的作品。一个创作共享许可用于一