博弈语义

✍ dations ◷ 2025-11-21 11:51:49 #博弈语义

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

相关

基因组基因组（genome）在生物学中，是指一个生物体所包含的DNA（部分病毒是RNA）里的全部遗传信息，又称基因体。基因组包括基因和非编码DNA。1920年，德国汉堡大学植物学教授汉斯·温克勒（Hans
加夫里洛·普林西普加夫里洛·普林西波（塞尔维亚语：Гаврило Принцип；拉丁化：Gavrilo Princip，1894年7月25日－1918年4月28日），波斯尼亚人，塞尔维亚民族主义者。经过两个月的预谋，1914年6月2
嗜冷生物嗜冷生物是嗜极生物的一种，能够在低温的环境保持生长和繁殖的能力。与之对比的是通常生活在高温环境的嗜热生物。嗜冷细菌在地球上分布很广，因为地球表层很大一片区域的温度都
骑士骑士或称武士，原为欧洲中世纪受过正规军事训练的骑兵，后来成为一种贵族阶层。骑士的头衔来自另一位骑士或是领主的册封，骑士除了能获得自己的封地之外，也必须为所效忠的领主作战
精神依赖心理依赖（英语：Psychological dependence），亦称精神依赖，指的是在停药、停止某项活动时因情感产生的依赖导致的戒断症状（如烦躁、失乐、焦虑等）。心理依赖有时候也被认为是成瘾症状
猴痘猴痘（Variole du singe / Monkeypox）是一种由猴痘病毒引起的，主要在灵长类、啮齿类动物中传播的疾病，有时偶尔人也可以感染猴痘。猴痘病毒与天花病毒同属于正痘病毒，因此使用对天
马更些河马更些河（英语：Mackenzie River，斯里夫语：Deh-Cho），是一条北美洲的河流，也是北美洲第二大水系（总长4,241公里），仅次于密西西比河。马更些河发源于加拿大西北地区的大奴湖，将支流芬利河
萨丁岛坐标：40°00′N 09°00′E / 40.000°N 9.000°E / 40.000; 9.000撒丁岛（意大利语：Sardegna，，撒丁语：Sardìgna, Sardìnnia）位于意大利半岛的西南方，是地中海的第二大岛，仅次于西西
尼克尔·奥里斯姆尼克尔·奥里斯姆（Nicole Oresme，又称Nicolas Oresme、Nicholas Oresme或Nicolas d'Oresme ？-1382年7月11日）是中古晚期最知名、最具影响力哲学家之一。本身是经济学家、数学家
原癌基因癌基因，也称为致癌基因（英语：Oncogene）是一类能使正常细胞转化为癌细胞的基因。一般地，癌基因是功能出现异常的原癌基因（英语：Proto-oncogene）。原癌基因一般与细胞的增殖生长相关，功