博弈语义

✍ dations ◷ 2025-11-25 17:13:49 #博弈语义

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

相关

繁殖繁殖，或生殖，是透过生物的方法制造生物个体的过程。繁殖是所有生命都有的基本现象之一。每个现存的个体都是上一代繁殖所得来的结果。已知的繁殖方法可分为两大类：有性生殖以及
放牧场放牧场 (来自拉丁语 pastus，为pascere的过去分词，意指 "饲养") 为提供放牧的土地。狭义的定义系指圈围的农地，供家畜如马部、家牛、绵羊、家猪等吃草，种植做作物包括粮草（英语：for
生物半衰期生物半衰期（英语：Biological Half-Life）是一个物质（如代谢物、药、讯息分子、放射性核种）失去一半的药理、生理、或放射性效应所需的时间。通常这个词用来描述肝、肾或排泄过程将
2016年联合国安全理事会选举2016年联合国安全理事会选举在2015年6月28日，第70届联合国大会期间举行，旨在选出由2017年1月1日起任期两年的五个联合国安理会非常任理事国席位。根据安理会的轮换规则，联合国
阿托莫西汀阿托莫西汀（Atomoxetine, 商品名：Strattera择思达）为一种用于治疗注意(力)缺陷多动障碍（ADHD）的药物，属于非中枢神经刺激药物。主要副作用有：口干、疲倦等。该药为去甲肾上腺素再摄
雨雨是一种自然降水现象。大气层中的水蒸气凝结成小水珠，大量的小水珠形成了云。当云中的水珠达到一定质量以后就会下落至地表，这就是降雨。雨是地球水循环不可缺少的一部分，是大
雌三醇雌三醇（Estriol ， oestriol， E3）是人类三种主要的雌激素之一。雌二醇和雌酮的代谢产物。在雌酮、雌二醇、雌三醇中，以雌三醇的活性最弱。存在于尿中，在怀孕期尿中含量更高。未怀孕
儿汤郡儿汤郡（日语：児湯郡／こゆぐん Koyu gun */?）是日本宫崎县辖下的一个郡。现辖有以下5町1村：过去的辖区曾包括现在的西都市全境和日向市的部分地区。
虚无主义虚无主义作为哲学意义，是怀疑主义的极致形式。认为世界、生命（特别是人类）的存在是没有客观意义、目的以及可以理解的真相。与其说它是一个人公开表示的立场，不如说它是一种针锋
白髓白髓，亦作白脾髓，是脾脏的一部分，与红脾髓一起构成脾脏的主要部分。白脾髓由马耳皮基氏脾小结及马耳皮基氏小体等腺体组织构成，外貌呈球型，包裹着小动脉。它的主要功能则为对抗外