博弈语义

✍ dations ◷ 2025-11-19 15:24:07 #博弈语义

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

相关

癌症治疗癌症免疫疗法（英语：cancer immunotherapy或immuno-oncology）是一类通过激活免疫系统来治疗癌症的方法。此类疗法采用了癌症免疫学（英语：Cancer immunology）研究的成果，这是肿瘤学中
生育权生育权（英语：reproductive rights），又称生殖权利，是一项基本人权。1968年联合国国际人权会议通过的《德黑兰宣言》提出“父母享有自由负责决定子女人数及其出生时距之基本人权”
蒸气压一种物质的蒸气压也称作饱和蒸气压，指的是这种物质的气相与其非气相达到平衡状态时的压强。任何物质（包括液态与固态）都有挥发成为气态的趋势，其气态也同样具有凝结为液态或者凝
后设后设一词在台湾的使用是用来作为英文meta字首单字的翻译，在中国大陆多翻译为“元”，例如metadata便翻译为后设资料、metadrama翻译为后设戏剧等。由于meta的观念翻译上相当困
颈动脉在解剖学中，总颈动脉是负责供应头颈部充氧血最主要的动脉，左总颈动脉直接由主动脉发出，右总颈动脉由头臂动脉干发出。二者在颈部时分叉为外颈动脉和内颈动脉。左和右总颈动脉位
1988年上海市甲型肝炎大流行1988年上海市甲型肝炎大流行，简称上海甲肝大流行或上海甲肝大爆发，发生于1988年春季的上海市，主要由市民食用受到甲肝病毒污染的毛蚶引起，此次疫情共造成310,746人感染和31人死
LDL低密度脂蛋白（英语：low-density lipoprotein，缩写为LDL）指一类及范围的脂蛋白粒子，有着约18-25纳米直径的大小，负责在血液内运载脂肪酸分子至全身供细胞使用。它是由肝脏所产生的
子痫子痫（拉丁语：Eclampsia）是指孕妇因为妊娠毒血症而产生的癫痫症状。妊娠毒血症是在妊娠期间的疾病，其症状为高血压、蛋白尿或其他器官功能的异常。子痫可能会在分娩前、分娩中或
树蛙Leptomantis Peters, 1867 Rhacoforus Palacky, 1898 (lapsus) Racophorus Schlegel, 1826 (lapsus)树蛙（学名：Rhacophorus）是无尾目树蛙科下的一个属，全世界大约有80种，大多皮色
纵隔膜纵膈（mediastinum）是描述胸腔中心为疏松结缔组织所包围的构造，并无一个明显的界限。本区域包含许多解剖构造，包含心脏及其周围血管系统、食道、气管、膈神经（英语：phrenic nerve）、