博弈语义

✍ dations ◷ 2025-11-21 06:15: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的可计算性逻辑。

相关

金刚烷胺金刚烷胺（英语：Amantadine，常用名金刚胺）是美国FDA所批准的抗病毒和抗帕金森病药。金刚乙胺与金刚烷胺有着相似的结构和性质。根据美国疾病控制与预防中心的数据，100%的季节性H3N
VATC代码V（其他）是解剖学治疗学及化学分类系统的一个分类，这是由世界卫生组织药物统计方法整合中心（The WHO Collaborating Centre for Drug Statistics Methodology）所制定的药品
Wired《连线》（Wired）是一份在全美国发行的彩色月刊杂志，并同时拥有在线版本。该杂志于1993年3月开始发行，着重报道科技对文化、经济和政治的影响。《连线》杂志隶属于康泰纳仕集团，总
子宫癌子宫癌（Uterine cancer）为发源自子宫的所有癌症之统称。最常见的为子宫颈癌，为第二常见的妇女癌症。次常见的为子宫内膜癌，同时也是发达国家中第四常见的妇女癌症。风险因子根据
不死生物不死生物（英语：undead），又称不死族、亡灵族、死灵族，是指肉体已经死亡却还能活动的怪物，通常被认为是遗留人间的魂魄和具自我意识的尸体。不死生物以不同的型态出现在各地文化的传
肺孢子菌纲P. carinii P. jirovecii P. murina P. oryctolagi P. wakefieldiae肺孢子菌纲只有一目、一科、一属，是外囊菌亚门中一类比较原始的真菌，直到20世纪初才被发现，是一种类酵母
国际刑事法院国际刑事法院（英语：International Criminal Court，常缩写作：ICC或ICCt；法语：Cour Pénale Internationale）成立于2002年，位于荷兰海牙，工作语言为英语和法语。其主要功能是对犯有灭绝
维伦多尔夫的维纳斯维伦多尔夫的维纳斯（Venus of Willendorf），一座11.1厘米（4又3/8英寸）高的女性小雕塑，1908年出土于考古学家约瑟夫·松鲍蒂（英语：Josef Szombathy）在奥地利的维伦多尔夫村（Willendorf）附
类金属类金属（英语：Metalloid）是一个用来分类化学元素的化学名词。基于它们的物理与化学特性，几乎所有元素周期表上的化学元素都可被分类为金属或非金属；但也有一些特性介于金属与非金
咽周间隙咽周间隙是颈部的一段空间。它可以分成咽后间隙和咽旁间隙。