博弈语义

✍ dations ◷ 2025-11-25 10:57:09 #博弈语义

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

相关

X射线计算机断层成像计算机断层成像（Computed Tomography，简称CT），是一种影像诊断学的检查。这一技术曾被称为计算机轴向断层成像（Computed Axial Tomography）。X射线计算机断层成像（X-Ray Computed To
咽喉反流咽喉反流（Laryngopharyngeal reflux，缩写 LPR），又称为喉咽回流、咽喉逆流症、咽喉胃酸逆流、胃食管外反流疾病（extraesophageal reflux disease，缩写 EERD），是指胃酸逆行流到上呼吸
温室气体温室气体（英语：Greenhouse Gas, GHG）或称温室效应，是指大气中促成温室效应的气体成分。自然温室气体包括二氧化碳（CO2）大约占所有温室气体的26%，其他还有臭氧（O3）、甲烷（CH4）、氧化亚氮
噻嗪噻嗪（英语：Thiazines）是指一类含有这样一种环的有机化合物：环含有四个碳原子、一个氮原子以及一个硫原子。具有噻嗪的化合物通常被用作为染料、安定药以及杀虫剂。
疖疖（boil、furuncle）是毛囊炎的一种，其常见起因为金黄色葡萄球菌感染，可导致皮肤上出现一片由脓和死亡组织累积形成之有痛感的肿块。肿胀的疖肿基本上为充满脓液的结节。单独的疖
安非他命安非他命（英文名称：Amphetamine也称为苯丙胺，为中枢神经刺激剂，用来治疗注意力不足过动症、嗜睡症、和肥胖症。“Amphetamine”一名撷取自alpha‑methylphenethylamine。安非他
20,22-Desmolasen/an/an/an/an/an/an/an/an/an/a胆固醇侧链裂合酶（英语：Cholesterol side-chain cleavage enzyme，CYP11A1或P450scc，其中“scc”是“side-chain 侧链”“cleavage 裂解”的缩写）
通用通用希腊语（希腊语：Κοινὴ Ἑλληνική；通用希腊语: ἡ κοινὴ διάλεκτος，“通用语”），又译民间希腊语、共通希腊语、科伊内希腊语，或作希利尼话（Hellenisti
创伤后心理压力紧张综合症创伤后压力综合征（Post-traumatic stress disorder，简称PTSD，又称创伤后遗症）是指人在经历过情感、战争、交通事故等创伤事件后产生的精神疾病。其症状包括会出现不愉快的想法、
现代汉语通用字表《现代汉语通用字表》是中国大陆于1988年3月25日由国家语言文字工作委员会与中华人民共和国新闻出版总署发布的字表，内收通用字共7000个（含《现代汉语常用字表》中的3500字）。