博弈语义

✍ dations ◷ 2025-12-09 02:30:26 #博弈语义

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

相关

人体核心温度人体体温、人体正常体温（英语：Human body temperature、Normal human body temperature、normothermia、或 euthermia, ）测量出的结果取决于在一天中的时间中身体内发生的变化，
癌症疫苗癌症疫苗（英语：cancer vaccine）可以用来治疗或预防癌症，那些用来治疗已存在的癌症又被称作治疗性癌症疫苗。有些或很多疫苗是“自体”的，也就是说，它是从病人自己的身体中萃取的，所
乳糜泻乳糜泻（英语：coeliac disease 或 celiac disease）是主要会影响到小肠的长期自身免疫性疾病。典型的症状包含胃肠道症状，像是慢性腹泻、腹胀、吸收不良（英语：malabsorption）、降低食
多巴酚丁胺多保他命（Dobutamine）是一种拟交感神经性药物，用于心脏衰竭及心因性休克（英语：cardiogenic shock）的治疗。本品属于交感神经的β1受体致活剂。多保他命最初于1970年代由任职于礼来
先天异常先天性障碍，又称先天性疾病、先天畸形、先天缺陷，是指发育中的胎儿因为遗传性疾病或发育环境等因素导致某个部位特征结构畸形，导致在婴儿出生时即有的病症，包括了身体（英语：Physic
痤疮痤疮（英语：acne、拼音：cuó chuāng、注音：ㄘㄨㄛˊ ㄔㄨㄤ）；也称为寻常性痤疮（拉丁语：acne vulgaris），在毛囊被死皮细胞和来自皮肤的油脂堵塞时出现。它的特点是黑头或白头、疙瘩、
布列敦森林体系布雷顿森林体系（英语：Bretton Woods system）是1944年7月至1973年间，世界上大部分国家加入以美元作为国际货币中心的货币体系。布雷顿森林协定对各国就货币的兑换、国际收支的调
致畸物质畸形学（英语：Teratology）是研究生理上发展缺陷的学科。人们常常认为它就是研究人类先天性障碍的，但是其实畸形学的覆盖面比这个广得多。除了先天发育之外，它也研究其他的生命阶段
子午流注子午流注（midnight-noon and ebb-flow doctrine），意即根据中医学说，一日的十二个时辰，和人体的十二条主要经络互相对应，如下表所列。中医认为，在每一个时辰内，其所对应之经络上之血
咨商咨商心理学（英语：Counseling Psychology），是以咨商为主题的心理学。当一个人有需要时，透过与咨商者的互动，来协助其觉察和了解自身，探究满足需要或解决问题之方法，这种语言互动就是