博弈语义

✍ dations ◷ 2025-12-08 05:07:45 #博弈语义

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

相关

玻那病毒玻那病毒科（Bornavirus），又称博尔纳病毒科、鲍那病毒科，RNA病毒的一种，属单股负链病毒目。其下仅有玻那病毒属(Bonavirus)，目前只有一个病毒被发现，玻那症病毒(Borna disease virus
资讯学信息学，旧称情报学（日本人翻译），主要是指以信息为研究对象，利用计算机及其程序设计等技术为研究工具来分析问题、解决问题的学问，是以扩展人类的信息功能为主要目标的一门综合性学
呼吸道感染呼吸道感染（英语：Respiratory tract infection）指的是任何涉及到呼吸道部分的感染性疾病，这类疾病一般会被进一步细分为上呼吸道感染（URI、URTI）或者下呼吸道感染（英语：lower respir
金边金边（高棉语：ក្រុងភ្នំពេញ，罗马化：krong Phnum Pɨñ，高棉语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lu
代谢物组学代谢物组学（英语：metabolomics）是涉及代谢产物的化学过程的科学研究。具体而言，代谢物组学是“对特定的细胞过程遗留下的特殊化学指纹的系统研究”，对它们的小分子代谢产物的整体
脂肪肉瘤脂肪肉瘤（英语：Liposarcoma），是一种由脂肪细胞在深层软组织（如腹膜后或大腿内侧）异常增生导致的癌症。脂肪肉瘤是一种罕见的恶性肿瘤，显微观察显示其与普通脂肪细胞类似。脂肪肉瘤
己烯雌酚己烯雌酚（英语：Diethylstilbestrol），非甾体雌激素类药物，于1938年首次合成。1971年，人们发现孕妇服用己烯雌酚后会导致畸胎。己烯雌酚为无色结晶性粉末，几乎不溶于水，溶于有机溶剂。
脑震荡脑震荡是一种常见而较轻微的脑部创伤病症，指病人因为意外或头部被猛烈撞击使脑部受震而引发的综合症。其特点为短暂的失忆，清醒后常有头疼、恶心、呕吐等症状，但无任何神经系统
构拟历史语言学（英语：historical linguistics），亦称越时语言学或历时语言学（diachronic linguistics）、演化语言学，是由弗迪南·德·索绪尔创立的一门研究语言变化的学科，主要研究语言在
共时语言学共时语言学（英语：synchronic linguistics），又称静态语言学，是由索绪尔创立的一套语言学方法，其特点是对某个语言现象只在一个给定的时间段内进行研究（通常是现在，但也可以是历史上的