博弈语义

✍ dations ◷ 2025-12-01 08:19:01 #博弈语义

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

相关

胞间连丝胞间连丝（英语：Plasmodesmata）为植物细胞和部分藻类细胞壁间贯穿细胞壁的特有孔道，可以让相邻细胞的细胞质相互流通。有微小孔道，为细胞间物质运输与信息传递的重要通道，通道中有
空肠弯曲菌空肠弯曲菌（Campylobacter jejuni）菌体轻度弯曲似逗点状，长1.5～5 μm,宽0.2～0.8 μm。菌体一端或两端有单鞭毛，运动活泼，在暗视野镜下观察似飞蝇。无荚膜，不形成芽胞。微需氧菌，在含5
白垩纪－第三纪灭绝事件白垩纪-古近纪灭绝事件（简称K-Pg事件、K-Pg灭绝），旧称为白垩纪﹣第三纪灭绝事件（简称K-T事件、K-T灭绝），俗称恐龙大灭绝，是地球历史上的第五次以及最后一次大规模物种灭绝事件、也是
独立机构美国联邦政府的独立机构是存在于联邦行政部门（由内阁部长领导）之外的那些机构。然而，大多数独立机构是行政分支的一部分，仅少数是立法或司法分支的一部分。通过由国会通过的单独
压力反应应激（英文：Stress）或心理压力，是一种反应模式，指动物机体受到外界不良因素刺激后，在没有发生特异的病理性损害前所产生的一系列非特异性应答反应。当刺激事件打破了有机体的平衡和
Collin College科林学院(英语：Collin College)，又名柯林郡社区学院(Collin County Community College)，是位于美国德州科林县的一所社区学院，其总部位于麦金尼的科林高等教育中心(CHEC)。科林
同工同酬同工同酬是指用人单位对于技术和劳动熟练程度相同的劳动者在从事同种工作时，不分性别、年龄、民族、区域等差别，只要提供相同的劳动量，就获得相同的劳动报酬。冰岛的男女公务员
熟语熟语，又称习语（idiom），是由词或语素（外语单音节，汉语单字一音）构成的常用而定型的现成语句，是大于词的语文单位，但又具有词的特性。熟语是短语或句子，但又与一般临时自由组合而成的短
中国铁路25G型客车25G型客车，是中国铁路的空调铁路客车型号之一，分为普通型及国际联运型。25G型客车（G代表改进型，汉语拼音：GaiJin）是25A型客车的改进型。1991年，在168辆25A型新型空调客车试制和应用
声调音位声调轮廓（tone contour）或语调轮廓、声调符号，其意思是指在一种声调语言中，音节的音高如何因为声调之不同而改变。轮廓通常以两个或三个数字表示，或者可以用象形图显示。汉语是声