博弈语义

✍ dations ◷ 2025-10-06 18:59:01 #博弈语义

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

相关

低血压低血压在生理学及医学上是指血压不正常地低。比起病症，低血压较适合称作一种生理状况。目前世界卫生组织没有订定低血压的标准，但如果一般成人肱动脉血压小于（90/60mmHg）时，可能
CYP3A41TQN, 1W0E, 1W0F, 1W0G, 2J0D, 2V0M, 3NXU, 3TJS, 3UA1, 4I3Q, 4I4G, 4I4H, 4K9T, 4K9U, 4K9V, 4K9W, 4K9X· steroid binding · iron ion binding · steroid hydroxyl
希腊喜剧古希腊喜剧古希腊喜剧起源于祭祀酒神的狂欢歌舞和民间滑稽戏。喜剧（komoidia）的原意是“狂欢队伍之歌”，它同悲剧一样也是起源于酒神祭祀。古希腊喜剧也和悲剧一样保留着对白和
醛糖醛糖（英语：Aldose）是一类单糖，每个分子含有一个醛基，化学式的规律为CnH2nOn（n≥3）。甘油醛是构造最简单的醛糖，这种糖只含有3个碳原子。果聚糖：菊粉 · 果聚糖β2→6甘露聚糖：低聚
西墙西墙，又名哭墙（希伯来语：הַכֹּתֶל הַמַּעֲרָבִי‎，HaKotel HaMa'aravi），阿拉伯人称之为布拉克墙（阿拉伯语：حائط البراق‎，Ḥā'iṭ Al-Burāq）位于耶路
屈光不正眼屈光不正（Refractive error），系指因眼球形状而让光无法成功聚焦在视网膜上的问题。常见的典型眼屈光不正有近视、远视、散光和老花眼等。近视是因为看远方物体会模糊不清楚，远
呼吸 (生理学)呼吸（respiration）在生理学上，是指氧从空气传送到生物组织，以及二氧化碳从生物组织传送回空气的过程。生理学上的呼吸和生物化学中的呼吸，生物化学中的呼吸是指呼吸作用，在细胞之
空肠在消化系统的解剖学方面，空肠（Jejunum）是整条小肠的中间，在十二指肠和回肠之间。成人的空肠通常是2.5米长。酸碱度通常是在7和8之间（中性或轻微的碱性）。空肠内部的表面有大量的绒
员工福利员工福利（英语：Employee benefit），是雇员因为受雇工作而有权享用的福利，通常是由雇主直接给予，如折扣购物、免费穿梭巴士等；也可能由第三者提供，如医疗服务，只要出示有效的工作证等。
喃字陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧