博弈语义

✍ dations ◷ 2025-11-30 08:11:36 #博弈语义

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

相关

喉囊肿喉囊肿（laryngeal cysts）是指囊肿发生在喉部、或更频繁使用的声门上之位置，诸如“会厌谷囊肿(epiglottic vallecula cyst)”发生在会厌旁谷（英语：Vallecula）里的现象。通常喉囊肿
生物科学生物学（希腊语：βιολογία；拉丁语：biologia；德语：Biologie；法语：biologie；英语：biology）或称生物科学（biological sciences）、生命科学（英语：life sciences），是自然科学的一大门类，由经
良性阵发性位置性眩晕良性阵发性姿势性眩晕（Benign paroxysmal positional vertigo，简称BPPV）为一种内耳诱发的疾病，患者会有重复性短暂眩晕的症状，头部移动时会感到天旋地转，甚至连就寝翻身时都会有晕
并系群并系群（英语：Paraphyletic group或 Paraphyly ）是支序分类中的一种分类单元，此分类群中的成员皆拥有“最近共同祖先”，但该群中并不包含此最近共同祖先之所有后代。一个类群是否
职业过劳根据世界卫生组织，职业过劳（英语：Burnout）是一种由慢性工作压力导致的症候群，症状包含“精神耗尽、对工作的心里距离增加、对工作的负面感觉、以及工作效率的减少”。职业过劳不
联合国艾滋病联合规划署行政总监联合国艾滋病规划署（英语：Joint United Nations Programme on HIV and AIDS，缩写UNAIDS）是全球范围内组织、推广及协调世界艾滋病运动的机构。规划署旨在唤起全球对艾滋
2,3-二磷酸甘油酸2,3-二磷酸甘油酸（英语：2,3-Bisphosphoglyceric acid，简称为2,3-BPG或2,3-DPG）是糖酵解中间产物1,3-二磷酸甘油酸（1,3-BPG）的一个三碳异构体。2,3-二磷酸甘油酸存在于人的红细胞中
陈文泰县陈文泰县（越南语：Huyện Trần Văn Thời），又译作“陈文时县”，是越南金瓯省下辖的一个县。陈文泰县是金瓯省革命烈士陈文泰的故乡。该县即以陈文泰的名字命名。陈文泰县下辖2市
环张力在有机化学中，环张力是当分子内的键结形成不正常角度时存在的不稳定类型。张力大多在小的环上，像是环丙烷和环丁烷这种其碳-碳-碳角度与近乎109°的理想值大大偏离的类型。.
施普林格·自然施普林格·自然公司是一家科学刊物出版社，成立于2015年5月。该公司由施普林格科学+商业媒体与霍尔茨布林克出版集团旗下的自然出版集团、帕尔格雷夫·麦克米兰和麦克米伦教育