博弈语义

✍ dations ◷ 2025-11-20 10:04:09 #博弈语义

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

相关

冷泉冷泉（英语：cold seep）（有时称为冷泉喷口）是一个洋底区域，其中硫化氢，甲烷和其他碳氢化合物丰富的流体渗漏发生的地方，往往是以盐水池的形式。“冷”并不意味着渗流的温度比周围的海
ICD-9编码列表 (680–709)Template:Cutaneous infections Template:Dermatitis and eczema Template:Radiation-related disorders Template:Vesiculobullous diseaseTemplate:Papulosquamous disord
醛固酮拮抗剂抗盐皮质激素(anti-mineralocorticoid、或称"醛固酮拮抗剂"(aldosterone antagonist)、醛固酮受体拮抗剂、醛甾酮拮抗剂)是指一种利尿剂能拮抗在盐皮质激素受体(Mineralocor
高加索人种高加索人种（英语：Caucasian race, Caucasoid），或称欧罗巴人种，是在欧洲、北非、非洲之角、西亚、中亚、南亚、北美、南美和大洋洲的人口中常见的人种。这个术语在体质人类学中用
留基伯留基伯（希腊文：.mw-parser-output .Polytonic{font-family:"SBL BibLit","SBL Greek","EB Garamond","EB Garamond 12","Foulis Greek",Cardo,"Gentium Plus",Gentium,"Theano
雅各雅各（Jacob或Ya'akov；希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsov
放射疗法放射治疗（英语：Radiation therapy）或简称电疗，是使用电离辐射作为治疗疾病的方式。与放射治疗有关的医学专业称为放射肿瘤学或放射治疗学。执行这个专业的医疗从业人员称为放射
非何杰金氏淋巴瘤非霍奇金氏淋巴瘤（Non-Hodgkin lymphoma）简称NHL，是指霍奇金氏淋巴瘤以外的其他淋巴瘤。其症状包括淋巴结肿大（英语：Lymphadenopathy）、发烧、盗汗、体重降轻、容易疲倦。其他症状
杜邦公司杜邦公司（英语：DuPont，全称E. I. du Pont de Nemours and Company，纽交所除牌前DD）是世界排名第二大的美国化工公司。前身是创办于1802年7月的杜邦火药厂；1915年成立杜邦公司。一
二阶逻辑在逻辑和数学中，二阶逻辑是一阶逻辑的扩展，一阶逻辑是命题逻辑的扩展。二阶逻辑接着被高阶逻辑和类型论所扩展。一阶逻辑和二阶逻辑都使用了论域（有时叫做“域”或“全集”）的想