博弈语义

✍ dations ◷ 2025-11-29 19:28: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的可计算性逻辑。

相关

哮喘喘息、哮喘（英语：asthma，又称气喘）是常见的气道慢性炎症疾病，主要特征是多变和复发的症状、可逆性气流阻塞，和支气管痉挛（英语：bronchospasm）。常见症状表现为喘息、咳嗽、胸腔紧
恩斯特·鲁斯卡恩斯特·奥古斯特·弗里德里希·鲁斯卡（德语：Ernst August Friedrich Ruska，1906年12月25日－1988年5月27日），德国物理学家，电子显微镜的发明者，1986年获诺贝尔物理学奖。恩斯特·鲁
狂犬病狂犬病疫苗是指用来预防狂犬病的疫苗。目前已有很多有效且安全的疫苗。在暴露于病毒（例如被狗或蝙蝠咬）之前或之后一段时间都可以施打狂犬病疫苗。在接种三剂后可以有长期的免
接合孢子接合孢子是接合菌的有性孢子,由菌丝长出形态相同或略有不同地配子囊接合而成。接合孢子是由菌丝生出的结构基本相似,形态相同或略有不同的两个配子囊接合而成。首先，两个化学
IL31JLI3562n/aENSG00000164399n/aP08700n/aNM_000588n/aNP_000579n/a白细胞介素3（英语：Interleukin 3，IL-3）是一种蛋白质，在人体中由IL 3 基因编码。白细胞介素3是白介素，一个类生
肥害肥害是由于肥料配制不当，加入过量氮肥或腐熟不充分的有机肥，或根外追肥浓度过高而引起的，使土壤产生盐渍化。
约翰·洛克约翰·洛克（John Locke，1632年8月29日－1704年10月28日）是英国的哲学家。在知识论上，洛克与乔治·贝克莱、大卫·休谟三人被列为英国经验主义的代表人物，但他也在社会契约理论上做
摩西五经《五书》（希腊语：πέντετεῦχος，Pentateuch），常被称为《摩西五经》（英语：Five Books of Moses，华人天主教会译为《梅瑟五书》；东正教译《摩伊息斯之五经》；唐朝景教译《牟世
传导性失语症传导性失语症，也称作联合性失语症，是一种相对少见的失语症。这种失语症属于后天性语言障碍，特征是听觉理解完好，说话平顺流畅，但会语无伦次，复诵能力也严重低落。传导性失语症患者
大篆陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧