博弈语义

✍ dations ◷ 2024-12-22 18:04:16 #博弈语义

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

相关

血清学血清学(serology)的诊断原为研究血清反应的一门医学分支，如今则多用来观察患者的血清以判断、分析相应的疾病。血清检查是医学上常用的一种检测手段，除了可以诊断细菌、病毒外
白内障白内障（拉丁语：cataract）是因为眼睛水晶体混浊而造成视力缺损的疾病，可能侵犯单眼或双眼。症状包含彩度降低、视线模糊、光源产生光晕、无法适应亮光，以及黑暗环境下视觉障碍。白
花粉症过敏性鼻炎，又称为鼻敏感、干草热、花粉热、花粉症或季节性过敏性鼻炎，是因为免疫系统受到空气中的过敏原影响而导致的鼻炎症状。征兆和病症包括流鼻涕或鼻塞、打喷嚏、眼睛的
同性婚姻同性婚姻过去在美国曾极具争议，仅在为数不多的判例中暧昧的未加以否定，最高法院在奥贝格费尔诉霍奇斯案的判决，各州亦须给予承认，并且不得拒绝发放结婚证书给予同性伴侣。最高法
演化经济学演化经济学研究竞争中变化发展的市场过程，对应于静态均衡的新古典经济学。它以历史的不可逆视角观察经济现象。它研究开放的系统，关注变革、学习、创造。竞争过程是非均衡的，具
人体免疫缺损病毒人类免疫缺陷病毒（英语：human immunodeficiency virus，簡稱HIV，又称艾滋病毒）是一种感染人类免疫系统细胞的慢病毒，属逆转录病毒的一种。普遍认为，人类免疫缺陷病毒的感染导致艾滋
合金合金，就是两种或两种以上化学物质（至少有一组分为金属）混合而成具有金属特性的物质，一般由各组分熔合成均匀的液体，再经冷凝而得。合金至少是以下三种中的一种：元素形成的单一相固
分裂原丝裂原（英语：Mitogen，又称促分裂原、促细胞分裂剂）是促进细胞开始分裂，触发有丝分裂的化学物质，通常是蛋白质形式。
杓状软骨肌突杓状软骨肌突（muscular process of arytenoid cartilage）为杓状软骨基部的横向角部，且呈现短、圆形，及突出的结构；它向后以及向外突出，称为肌突 (muscular process)；肌突伸入到后环
小写字母小写字母，亦作小写体，是罗马字母、希腊字母、西里尔字母等字母表中所存在的两种字母形式之一，如罗马字母表中第一个字母有两种形式，大写为A，小写则为a。在使用这几种字母表的语言