博弈语义

✍ dations ◷ 2024-11-05 16:33:51 #博弈语义

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

相关

酒酿酒酿，又称醪醩，是一种可以家庭制作的并广泛流行于中国各地及朝鲜半岛的小吃，味道甜，有酒味，在陕西、四川、江浙、北京、云南等地及韩国深受欢迎，其中朝鲜半岛的醪糟称为甘酒。酒酿
时间生物学时间生物学（英语：chronobiology；字首来自希腊语chronos，指时间）又译生物钟学，广为人知的生理时钟。是一门科学，它的任务是研究生物体内与时间有关的周期性现象，或曰这些现象的时间机
润肤剂润肤膏，是一种日用品，功能是润肤及护肤。润肤膏由天然物料或者石油等化学物料合成。在商品市场上定位为化妆品或药品。润肤膏在冬日令皮肤避免干燥损伤。润肤膏保持皮肤湿润，可
情报单位美国情报体系（英语：United States Intelligence Community，缩写：IC）是由美国政府内16个独立机构组成的联合组织，这些独立机构进行各类情报活动，以支持美国的外交政策和国家安全。美
聚碳酸酯聚碳酸酯（英语：Polycarbonate, PC）是一种无色透明的无定性热塑性材料。其名称来源于其内部的CO3基团。聚碳酸酯，耐酸、不耐油，不耐紫外线，不耐强碱。聚碳酸酯无色透明，耐热，抗冲击，阻
升糖负荷升糖负荷（GL）是指食物摄入后将如何升高人的血糖水平。 1个单位的升糖负荷约相当于吃1克葡萄糖的效果。升糖负荷是用升糖指数加权的食物中的可吸收的碳水化合物的量。升糖负荷
食管食道（Esophagus），亦称食管，人和动物消化管道的一部分，上面连接咽，下面连通胃，紧贴脊柱的腹侧，具有输送食物的功能。食道是一条由肌肉组成的中空通道，在最尾端与胃相接的地方有一个括
代谢途径代谢途径（英语：metabolic pathway）在生物化学中，是一连串在细胞内发生的化学反应，并由酶所催化，形成使用或储存的代谢物，或引发另一个代谢途径（称为“流量控制反应”）。多种途径都是
白话白话是指普通人容易懂的话，也可指非文言文，有时可指空话。亦可表示以下含义：“白话”一词广泛应用在中国的粤语地区，但在不同地区可能含义有所不同：
疑问代词疑问词（Interrogative pronoun/Interrogative word、疑问词）是词性的一种，包括疑问代词，疑问副词，疑问冠词等，在疑问句中，用来代替说话者在句子中想要询问的东西。例如谁、哪个、哪