博弈语义

✍ dations ◷ 2025-12-08 19:00:03 #博弈语义

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

相关

生物学生物学（希腊语：βιολογία；拉丁语：biologia；德语：Biologie；法语：biologie；英语：biology）或称生物科学（biological sciences）、生命科学（英语：life sciences），是自然科学的一大门类，由经
冰人奥茨冰人奥茨（德语：Ötzi），也称奥茨冰人、锡米拉温人（Similaun man）或厄茨人，以其发现地所在山谷而命名，是1991年于奥茨塔尔阿尔卑斯山脉冰川发现的一具因冰封而保存完好的天然木乃伊，地
维管束维管束是指维管植物（包括蕨类植物、裸子植物和被子植物）的维管组织，由木质部和韧皮部成束状排列形成的结构。维管束多存在于茎（草本植物和木本植物幼体）、叶（叶中的维管束又称为叶
内皮细胞内皮细胞或血管内皮是一薄层的专门上皮细胞，由一层扁平细胞所组成。它形成血管的内壁，是血管管腔内血液及其他血管壁（单层鳞状上皮）的界面。内皮细胞是沿着整个循环系统，由心脏直
白质白质（英语：White matter，拉丁语：substantia alba），又称为髓质（英语：medulla），是中枢神经系统中主要的三个组成元素之一，与灰质、黑质并列。大脑剖面中的白质组织是由大量的髓磷脂（脂质）组
以巴冲突进行中持续中的冲突以色列-巴勒斯坦冲突是持续中的冲突，为阿以冲突及中东战争的一部分。巴以冲突不能够简单地概括为所有以色列犹太人与所有巴勒斯坦阿拉伯人之间的双边冲突
西蒙·德·孟福尔西蒙·德蒙福尔（法语：Simon de Montfort）可以指以下法国裔贵族：
黄埔黄埔可以指：
碘化钾碘化钾（英文：Potassium iodide，实验式：KI），俗称钾碘。是一种无机化合物，用于制备有机碘化物等，并用作化学试剂。为无色或白色立方晶体。无臭，有浓苦咸味。熔点 681℃，沸点 1330℃。易
魏魏（220年12月10日－266年2月8日，史称曹魏、魏朝）是中国历史上东汉末年三国之中据有北方及中原的政权。始于220年曹丕逼迫汉献帝刘协禅让帝位，篡汉为魏，因承继汉朝，故具法统地位。至2