博弈语义

✍ dations ◷ 2024-07-03 03:57:28 #博弈语义

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

相关

医师人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学医生又称医师，在中国古代称大夫或郎中
衰老人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学在生物学及医学上，老化是生理状态随时
泰诺福韦替诺福韦二吡呋酯（英语：Tenofovir disoproxil），商品名韦瑞德（英语：Viread）惠立妥或其它，是一种用于治疗慢性乙肝以及预防和治疗HIV感染/艾滋病的药物。这种药物属于逆转录酶抑制剂，可
鬼臼毒素鬼臼毒素，也称普达非洛，是一种一个非生物碱类木脂素类毒素。它提取自鬼臼的根茎。它的乙醇溶液和软膏的商品名分别为慷定来和化疣敌，可作为外用药物用于治疗由人类乳头瘤病毒引
美国国家职业安全卫生研究所美国国家职业安全卫生研究所（英语：National Institute for Occupational Safety and Health，简称NIOSH）是美国国内的一个联邦机构，负责对与工作相关的伤害和疾病进行研究以及提供
海洋废弃物海洋废弃物，是人类创造的废物是故意或无意成为漂浮在一个湖、大海或水道上的大型漂流物，海洋碎片往往积累在该中心的环流，经常堆积在海滩，被称为海滩垃圾。随着最近塑料越来越广
豆类豆类指双子叶植物中离瓣植物豆科的泛称，因而概称为豆科植物，亦或称豆子，指其使用的种子。本文特指供作食用或作为动物饲料的种类。豆类植物种类极多，全世界有近二万种，大部分用作
Sm4f6 6s22, 8, 18, 24, 8, 2蒸气压第一：544.5 kJ·mol−1 第二：1070 kJ·mol−1 第三：2260 kJ·mol主条目：钐的同位素钐是一种化学元素，符号为Sm，原子序数为 62。钐是一种中等硬度
婆罗洲婆罗洲（马来语：Borneo），印尼称之为加里曼丹岛（印尼语：Kalimantan）是世界第三大岛，亚洲第一大岛，面积743,330平方公里，仅次于格陵兰及新几内亚。现全境由印尼、马来西亚及文莱三国管辖，
利润率在经济学和金融学领域，利润率是资本主义企业，或资本主义经济作为一个整体的投资项目的相对收益。类似投资回报率的概念。在马克思主义政治经济学领域，利润率的计算公式是：资本家