博弈语义

✍ dations ◷ 2025-08-14 08:33: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的可计算性逻辑。

相关

侧生动物侧生动物是动物界里的一个古老的亚界，和其领鞭毛虫的祖先不同，它们有宏观的结构及分化的细胞，但又不像真后生动物一样有组织。现在唯一活着的侧生动物只有海绵，属于多孔动物门。
十二指肠十二指肠（拉丁语：Duodenum）是多数高等脊椎动物小肠的始段。哺乳动物、爬行动物和鸟拥有十二指肠。鱼的十二指肠不明显，有时用前肠或近侧小肠称呼。哺乳动物的小肠可能是吸收铁的
棉鼠棉鼠属（Sigmodon）是哺乳纲啮齿目仓鼠科之下的一属，而与棉鼠属（例如：棕棉鼠）同科的动物尚有稻水鼠属（例：哈氏稻水鼠）、暖鼠属（例：暖鼠）、褐鼷鼠属（例：褐鼷鼠）、厄瓜多尔鬃鼠属（例：厄瓜多尔鬃鼠
细菌过滤率‎细菌过滤效率（Bacterial Filtration Efficiency）也称为细菌过滤率，简称BFE，是量测过滤器（例如外科口罩）阻隔细菌穿透的能力。其结果会以表示过滤率的百分比表示，和阻隔细菌穿透的纤
资源县资源县（邮政式拼音：Tzeyüan）在中国广西壮族自治区东北部、越城岭西麓，是桂林市的市辖县，位于桂林北部，邻接湖南省。是资水的发源地。资源县是广西的林业重点县，面积1961.14平方公
阿杰隆阿杰隆(阿拉伯语：عجلون‎是约旦的城镇，位于该国西北部，是阿杰隆省的首府，距离首都安曼76公里，海拔高度793米，该城镇有一处十二世纪城堡的遗址，2009年人口8,356。坐标：32°21′N
胚胎胚胎（法语：Embryo）是专指有性生殖而言，是指精子和卵子合成为合子之后，经过多次细胞分裂和细胞分化后形成的有发育成生物成体的能力的雏体。它指的是发育生物学最早的阶段。有性繁
止吐剂止吐剂（英语：Antiemetic），又称止吐药，广义上的止吐药指一切用于治疗恶心与呕吐的药物。由于呕吐是一种复杂的反射活动，由多种因素引起，故不同作用机理的止吐药只能针对其中一种或多
阿拉伯语阿拉伯语（اَلْعَرَبِيَّةُ‎ al-ʻarabiyyah 或者 عربي/عربى‎ ʻarabī ），中文也称阿拉伯文，是除了英语和法语之外最多国家使用的官方语言。阿拉伯语
大篆陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧