博弈语义

✍ dations ◷ 2025-11-17 11:41:48 #博弈语义

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

相关

瘟疫瘟疫，指大型且具有传染力又会造成死亡的流行病，在广大区域或全球多处传染人或其他物种。现代医学卫生发达，许多会造成大量死亡的瘟疫都有效控制为流行病等级。根据世界卫生组织
病理人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学病理学（pathology）是医学领域的一门分支
古元古代古元古代（英语：Paleoproterozoic，符号PP）是地质时代中的一个代，开始于同位素年龄25亿年前（Ma），结束于16亿年前（Ma）。而古元古代期间蓝藻、细菌非常繁盛。古元古代属于前寒武纪元古宙，上
自由基自由基（英语：Free Radical），又称游离基，是指化合物的分子在光热等外界条件下，共价键发生均裂而形成的具有不成对电子的原子或基团。在书写时，一般在原子符号或者原子团符号旁边加上
山脉山脉列表，依照“洲”顺序排列，包括现已发现和命名的天体的山脉。
文艺复兴文艺复兴是一场大致发生在14世纪至17世纪欧洲的文化运动，在中世纪晚期发源于意大利中部的佛罗伦萨，即意大利文艺复兴，后扩展至欧洲各国。其辞源为意大利语“Rinascimento”，由ri
国家产业复兴法《全国工业复兴法》（英语：National Industrial Recovery Act of 1933, NIRA，又译为全国产业复兴法）是美国国会于1933年制订的劳工法案和消费者保护法案，授权总统富兰克林·罗斯福
牙髓牙髓是单个牙齿内部的软组织，包括神经、动脉、静脉和淋巴管。位于牙釉质以下的牙本质内部，主要位于牙髓腔内，向下通过一根或多根根管与牙槽骨内的组织相连。可分为牙髓周边区(p
弗迪南·德·索绪尔弗迪南·德·索绪尔（法语：Ferdinand de Saussure，1857年11月26日－1913年2月22日），生于日内瓦，瑞士语言学家。索绪尔是现代语言学之父，他把语言学塑造成为一门影响巨大的独立学科。他
描述逻辑描述逻辑（description logic）是一种用于知识表示的逻辑语言和以其为对象的推理方法，主要用于描述概念分类及其概念之间的关系。描述逻辑方法多数被用到涉及知识分类的应用领域，