博弈语义

✍ dations ◷ 2025-12-06 17:57:05 #博弈语义

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

相关

毒性休克症候群毒性休克症候群（Toxic shock syndrome，TSS）是一种因细菌外毒素引起的症候群。相关症状包含发烧、红疹、皮肤脱落（英语：skin peeling），及低血压等等。其它与特定病原菌相关的症状包
七宗罪七宗罪（拉丁语：septem peccata mortalia；英语：seven deadly sins），天主教称七罪宗，或称七大罪或七原罪，属于天主教教义中对人类恶行的分类。归入这一类别的，能够直接形成其他不道德的
地图地图，是根据一定的数学法则，即某种地图投影，将地球或其他星球的自然现象和社会现象通过概括和符号缩绘在平面上的图形。按照统一的设计和要求编制的多幅地图的汇集被称作“地图
mAChR蕈毒碱型乙酰胆碱受器是一大类固定在细胞膜上的乙酰胆碱受器，其对蕈毒碱比对烟碱（尼古丁）更为敏感。反过来对烟碱比较敏感的则称为烟碱型乙酰胆碱受器。蕈毒碱与烟碱两者皆为生
沙尘暴沙尘暴（英语：Dust storm）为沙暴与尘暴的总称，是一种多发生在干旱和半干旱地区的天气现象，由强风刮起干燥地表上的松软沙土和尘埃形成，其导致空气混浊，能见度变低。最近几十年来的沙
水圈水圈（英语：hydrosphere），是一个行星、卫星或小行星上所有的水以及其所构成的系统。地球上的水以气态、液态和固态三种形式存在于空中、地表和地下，包括大气水、海水、陆地水（河、
国家卫生健康委员会1999年规定：印章直径5厘米，中央刊国徽，由国务院制发。中华人民共和国国家卫生健康委员会，官方简称国家卫生健康委，亦简称国家卫健委，是中华人民共和国国务院主管卫生和健康事务的
异食癖异食癖（英语：Pica)，又称异食症、乱食症，主要表现于持续性地摄取非营养的物质，如泥土，肥皂或冰等。这类行为需持续一个月以上，并且在患者食用的物质被认为不适合其年龄应有的发展水
切罗基语切罗基语（ᏣᎳᎩ ᎦᏬᏂᎯᏍᏗ、Tsalagi Gawonihisdi），又柴罗基语，是一种切罗基人使用的易洛魁语。是唯一尚在使用的南易洛魁语。切罗基语是一种很特别的语言，它只有一个双唇音.m
斯多葛主义斯多葛主义（英语：Stoicism），斯多葛又译斯多噶或斯多亚，古希腊和罗马帝国思想流派，哲学家芝诺于公元前3世纪早期创立，在雅典时他常“在门廊”（希腊语发音为斯多噶）讲学，传人有克雷安德