博弈语义

✍ dations ◷ 2025-12-07 22:46:05 #博弈语义

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

相关

遗传遗传（英语：Heredity），俗称随根，是指经由基因的传递，使后代获得亲代的特征。遗传学是研究此一现象的学科，目前已知地球上现存的生命主要是以DNA作为遗传物质。除了遗传之外，决定生物
腿肿外周性水肿（peripheral edema）属于组织的肿胀(Swelling (medical))，由于流体的积聚及引力的作用、水肿通常发生在下肢。外周性水肿产生的条件通常与老化有关，但也可以由其它的情
缩胆囊素· extracellular space · axon · dendrite · axon initial segment · terminal bouton · axon hillock· neuron migration · release of cytochrome c from m
褐藻素褐藻素（Fucoxanthin）是分子式为C42H58O6的叶黄素类，是褐藻纲的叶绿体中常见的色素，也存在在及大部分不等鞭毛类生物中，使其有褐色至绿色的色泽。褐藻素会吸收可见光谱中蓝绿色至
联合国经济及社会理事会联合国经济及社会理事会（英语：United Nations Economic and Social Council，缩写ECOSOC ）是联合国六个主要机构之一，它的任务是协助联合国大会促进国际经济和社会合作和发展。经
Pa5f26d17s22,8,18,32,20,9,2主条目：镤的同位素镤（英语：Protactinium，旧译作鎃）是一种放射性化学元素，化学符号为Pa，原子序为91。镤是一种银灰色、密度大的锕系元素，容易与氧、水蒸汽
泰勒斯米利都的泰勒斯（希腊语：Θαλῆς ὁ Μιλήσιος，公元前624年－公元前546年），常被称为泰勒斯（希腊语：Θαλῆς，Thalēs，英语：Thales，/ˈθeɪliːz/），是古希腊古风时期的自然哲学
腹胀腹部胀气（英语：abdominal bloating）也称为腹胀，是一种在各种年龄下都可能发生的症状，腹部胀气可能和功能性肠胃疾病（英语：Functional gastrointestinal disorder）或是其他器质性疾病
酒渣鼻酒糟鼻（Rosacea，又称玫瑰痤疮）是一种以脸部红斑和丘疹（有时）为特点的慢性皮肤病。酒糟鼻在所有年龄层都可能发病并且分为四种类型，其中三种患及皮肤，而第四种患及眼睛。疾病若得不
真空吸引器真空吸引器，亦称阴茎泵或是阴茎吸引器，是指一种医疗上用来治疗勃起障碍所使用的辅助器材。其原理是采用一筒状设计的器具套住阴茎后并抽气，使之筒内形成真空状态，使血液因负压原