博弈语义

✍ dations ◷ 2025-11-20 23:35:35 #博弈语义

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

相关

克利线克利线（Kerley lines）是胸部影像学（英语：chest radiograph）下的一种影像学征象（英语：radiologic sign），一般出现于间质性肺水肿（英语：Pulmonary_edema）患者。肺水肿的患者间质会被细胞及
生物胺生物胺泛指所有生源胺类物质，重要的例子有组胺、酪胺、血清素、儿茶酚胺和色胺。生物胺有内源生物胺和外源生物胺之分。
外套膜外套膜（Mantle）是软体动物及腕足动物的重要部分，由其背侧的体壁向下褶与伸展形成，经常包裹整个内脏团；而内脏囊与外套膜之间的空腔即为外套膜腔或外套腔（Mantle cavity）。外套腔是
整合素结构 / ECOD结构 / ECOD整合素（英语：Integrin，又译为整联蛋白）是一种介导细胞和其外环境（如细胞外基质，ECM）之间的连接的跨膜受体。在信号转导中，整合素将ECM的化学成分与力学状态等
育空河育空河（英语：Yukon River）是北美洲主要的水系之一，发源于加拿大的育空地区（而育空地区即以发源于该地区的育空河来命名）。育空河长3,700公里，并由发源地向北流于育空－库斯科奎姆冲积
磺胺美曲磺胺美曲是一种磺胺类药物，其INN名称是“Sulfametrole”。该药物可用于治疗由细菌感染引起的疾病等病症。该药物在血液中的半衰期尚不明确。该药物最早于1975年引入临床使用
阿玛斯拉阿玛斯拉（土耳其语：Amasra）位在土耳其的巴尔滕省，是一座位于黑海南部的港口城市。今日，阿玛斯拉小镇以它所拥有的海滩和自然环境而备受游客的青睐，旅游业成为当地居民最重要的经济
恩培多克勒恩培多克勒（希腊语：Ἐμπεδοκλῆς，前490年－前430年），又译恩贝多克利，公元前5世纪的古希腊哲学家、自然科学家、政治家、演说家、诗人，相传他也是医生、医学作家、术士和占卜
君士坦丁堡的陷落君士坦丁堡的陷落是奥斯曼帝国于苏丹穆罕默德二世领导之下对东罗马帝国首都君士坦丁堡所作的一次征服，发生于1453年5月29日星期二。东罗马皇帝君士坦丁十一世也在当天战死。
CD8CD8受体（英语：CD8-receptor）是细胞毒性T细胞的膜上标记（surface marker）之一。当病菌入侵人体，有一部分必定会被广布的抗原呈现细胞（此时主要指非B细胞的巨噬细胞及棘状细胞）给吞噬，