博弈语义

✍ dations ◷ 2025-12-10 16:05: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的可计算性逻辑。

相关

潜伏期疾病潜伏期是接触病原体（可以是微生物或者是化学制剂、辐射等）后，症状和体征有明显的表现前所经过的时间。疾病潜伏期可能短至只有几分钟，或者长达几十年（克雅氏病大概为30年）。潜
新生儿婴儿是指刚出生的儿童，是人类一生的第一阶段。根据《说文解字》所述，婴儿的“婴”字本意为女性的颈部饰物，后引申解作为抱在胸前哺乳之初生儿。而婴儿的英文“infant”源于拉丁
增生增生可能意指下列事物：
拉撒路综合症拉撒路综合征（Lazarus syndrome）是指在心肺复苏失败之后人体循环系统自发地恢复运作。自1982年以来，它已在医学文献中至少有了40-50次记载。又被称为拉撒路现象（Lazarus phenome
罗克福干酪罗克福干酪（法语：le Roquefort），又译“洛克福奶酪”，是羊奶蓝霉干酪的一种，产于法国南部的塔恩河附近圣阿夫里克（Saint-Affrique）镇苏宗尔河畔的罗克福尔（Roquefort-sur-Soulzon）村。
致死量致死量（英语：lethal dose、简写为 LD）是指特定物质或是辐射可造成死亡的量。对于不同的动物，或是其他条件差异（如年龄、健康状态等）而言，同一物质所能致死的量并不一定。这些数值多
龙卷风龙卷风，又称龙卷、卷风，是一种猛烈的天气现象，由直立中空管状的强烈旋转气球构成。龙卷风常发于积雨云或是积雨云以下，并通常形成上大下小的漏斗状，延伸至地面，并且常被尘土或碎片
污染物污染物是指直接或间接损害环境或人类健康的物质，污染物有自然界产生的，如火山爆发、森林大火产生的烟尘；也有人类活动产生的，环境科学主要研究和关注人类活动产生的污染物。污染
主宾格语言主宾型配列（Nominative–accusative alignment），也称为主宾格配列、对格配列或受格配列，是一类配列方式，即在句法或形态上，将不及物动词的单一变元和及物动词的施事论元同等对待（S=
冰淇淋冰淇淋（英语：ice cream），港澳惯称之为雪糕，马新、台湾惯称之为冰淇淋，冰淇淋、雪糕皆通行但有所区别，统称“冰淇淋、冰淇淋类”，是一种冷冻的甜品，通常以鲜奶油或奶油等乳制品为原料，