博弈语义

✍ dations ◷ 2025-11-28 18:14:53 #博弈语义

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

相关

逆转录病毒逆转录病毒科（学名：Retroviridae）又称“反转录病毒科”，分为双链DNA逆转录病毒和正链RNA逆转录病毒。它们增殖时都有将遗传物质RNA逆转录为DNA的过程（前者逆转录反链RNA，后者逆转
吕克·蒙塔尼耶吕克·蒙塔尼耶（法语：Luc Montagnier，1932年8月18日－），法国病毒学家，2008年诺贝尔生理学或医学奖获得者。吕克·蒙塔尼耶是世界艾滋病研究及预防基金会（World Foundation for AID
干燥症干燥综合征，又名修格连氏综合征，或者舍格伦综合征。该病的英文名称为Sjögren's syndrome（发音为/ˈʃoʊɡrənz/，又称为Mikulicz disease及Sicca syndrome，是一种长期的自身免
元数据元数据（英语：metadata），又称诠释数据、中介数据、中继数据、后设数据等，为描述其他数据信息的数据。有三种不同类型的元数据，分别是记叙性元数据、结构性元数据和管理性元数据。主
异孢异孢耳霉（学名：Conidiobolus incongruus）是属于虫霉目新月霉科耳霉属的一种真菌，腐生在植物的腐烂组织、枯枝落叶及土壤中。该种分布于中国、印度、美国。
前臂前臂指的是靠近手的部分。医护人员在对人体进行健康检查时，通常都是从前臂开始找血管打针的。人的左右手都有前臂。另外，前臂也常用在比腕力上，腕力的力量几乎都是从前臂开始出
Spironolactone螺内酯（英语：spironolactone），商品名有安体舒通、Aldactone等，是一种常用于治疗心衰、肝硬化、胃病等引发的积液的利尿药。此药也用于治疗高血压、补充后仍无改善的低血钾，以及女
出版社出版社是指从事书籍、报纸及刊物出版，通过经营获得利益、名声或者知识积累目标的企业。它的主要工作是先付给作者一定的报酬，再把该作品通过合法的渠道进行市场推广和销售。作
眼睑眼睑俗称眼皮、目胞，位于眼眶（英语：Orbit (anatomy)）以内、眼球以外，是保护眼球的主要器官。眼睑分为上睑和下睑，分隔上下睑的裂缝称为睑裂。睁眼时上下睑分开，闭眼时上下睑贴合。
结构主义实证主义 · 反实证主义（英语：Antipositivism）结构主义 · 冲突理论中层理论 · 形式理论批判理论人口 · 团体 · 组织（英语：Organizational theory） · 社会化社会性