博弈语义

✍ dations ◷ 2025-11-14 08:10:57 #博弈语义

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

相关

妇科学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学妇科学是一门研究女性在非孕期生殖系
酵母菌子囊菌门 Ascomycota p. p.担子菌门 Basidiomycota p. p.酵母（拼音：中国大陆：jiàomǔ、台湾：xiàomǔ；注音：中国大陆：ㄐㄧㄠˋ ㄇㄨˇ、台湾：ㄒㄧㄠˋ ㄇㄨˇ；英文：Yeast）是真核生物域
tRNA转运核糖核酸（Transfer RNA），又称传送核糖核酸、转移核糖核酸，通常简称为tRNA，是一种由76-90个核苷酸所组成的RNA，其3'端可以在氨酰-tRNA合成酶催化之下，接附特定种类的氨基酸。转
嗜中性粒细胞减少症嗜中性白血球低下症（Neutropenia 或 Neutropaenia），亦称中性粒细胞减少症，是血液中的一种中性粒细胞（一种白血球细胞）浓度异常低的血液系统疾病，中性粒细胞弥补大多数的循环白血球，
肺表面活性物质肺表面活性物质（英语：Pulmonary surfactant），也称肺表面活性剂，是一种肺泡形成的表面活性脂蛋白复合体。表面活性物质一般具有亲和性不同的两端。在肺中，蛋白质和脂类形成同时具有
纽约大学纽约大学（英语：New York University，缩写为NYU）是一所位于纽约市曼哈顿的研究型私立大学。主要的校区位于曼哈顿格林威治村的附近区域，以华盛顿广场为中心。于1831年成立，今日已经
伊本·巴哲阿布·贝克尔·穆罕默德·本·叶海亚·本·萨伊格（阿拉伯文：أبو بكر محمد بن يحيى بن الصائغ‎）常被称为伊本·巴哲（阿拉伯文：ابن باجة‎），是中世
昏睡昏睡（Somnolence）也称为想睡，是有强烈想要睡眠的欲望，或是睡眠的时间异常的长（嗜睡症）。昏睡有许多不同的意义及其原因，可能是指平常在要睡着之前的状态、因为昼夜节律失调而进入的
脑干脑部除了大脑，小脑，间脑以外的区域，合称脑干，由中脑（midbrain）、脑桥（pons）、延髓（medulla）三部分组成，上接间脑、下接脊髓。脑干位于大脑下方，小脑前方。它负责调节复杂的反射活动，包括
发育自人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学胚胎学（英语：Embryology）是研究活着的有