博弈语义

✍ dations ◷ 2025-11-23 04:56:53 #博弈语义

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

相关

硬皮病硬皮病（英语：Scleroderma），也称系统性硬化症，是一种以局限性或弥漫性皮肤增厚和纤维化为特征的全身性自体免疫病。病变特点为皮肤纤维增生及血管洋葱皮样改变，最终导致皮肤硬化、
吡哆醇缺乏症维生素B6（英语：Vitamin B6）是B族维生素的一种，又名抗皮炎维生素、吡哆素，在食物中分布较广，同氨基酸代谢有密切关系，是氨基酸脱羧酶、转氨酶等的辅酶。此为一种水溶维生素，在烹饪过
肉毒杆菌中毒肉毒杆菌中毒（拉丁语：botulinus）是一种罕见但致命的瘫痪性疾病，由肉毒杆菌制造的毒素引起。患者最开始会感到无力、看不清楚、疲倦、以及说话困难，接下来则可能会出现手臂、腿、
无氧呼吸呼吸作用，又称为细胞呼吸（Cellular respiration），是生物体细胞把有机物氧化分解并转化能量的化学过程，也称为释放作用。无论是否自养，细胞内完成生命活动所需的能量，都是来自呼吸作
乳腺乳腺是所有的哺乳动物都拥有的，为了产生乳汁哺育后代的腺体。它是一种皮腺，属于汗腺的变形体。亦是哺乳动物中所有雌性的共同特征，且雄性的乳腺一般因退化而无功能，仅有少量痕迹
亚伊采坐标：44°20′24.91″N 17°15′26.04″E / 44.3402528°N 17.2572333°E / 44.3402528; 17.2572333亚伊采（波斯尼亚语：Jajce、克罗地亚语：Jajce、塞尔维亚语：Јајце）是波斯尼
瓦尔纳official_name Zabr 人瓦尔纳（保加利亚语：Варна）位于黑海西岸，是保加利亚第三大城市，人口351,552（2006年）。是该国重要的港口、保加利亚海军的基地，著名的海岸旅游城
奥托一世奥托一世（Otto I，912年11月23日－973年5月7日），东法兰克国王（936年—973年在位），神圣罗马帝国皇帝（962年加冕）。史称奥托大帝（Otto der Große）。东法兰克国王亨利一世之子，母为Ringlheim
加利福尼亚大学欧文分校加利福尼亚大学欧文分校（英语：University of California, Irvine；缩写：UCI 或 UC Irvine)，简称加州大学欧文分校，是一所位于美国加利福尼亚州欧文的公立研究型大学，它是加利福尼亚
火山肺硅病超微粒硅酸盐尘埃沉着症（英语：Pneumonoultramicroscopicsilicovolcanoconiosis），简称火山矽肺病，是肺尘病的一种。矽肺病越来越多地成为许多行业的关键健康话题，因为其职业原因已