博弈语义

✍ dations ◷ 2025-04-25 02:04:21 #博弈语义

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

相关

特发性间质性肺炎特发性间质肺炎（Idiopathic interstitial pneumonia，简称IIP），又称非感染性肺炎（noninfectious pneumonia），属于一种间质性肺病。该疾病通常侵袭肺间质，有些也会侵袭气道（例如Cryptog
乙型肝炎乙型肝炎疫苗（Hepatitis B vaccine），常简称乙肝疫苗。是用来预防乙型肝炎的疫苗。第一剂建议于出生后的24小时内就注射，要视情况决定之后还须追加第二或第三剂。这包括免疫功能
立克次体目立克次体目是变形菌门中的一目，大部分已知的物种都只是以其他细胞的内共生体的形式存在。其中有一些是很有名的病原体，包括立克次体，它引起许多人类的疾病。另一方面，对立克次体
癌症疫苗癌症疫苗（英语：cancer vaccine）可以用来治疗或预防癌症，那些用来治疗已存在的癌症又被称作治疗性癌症疫苗。有些或很多疫苗是“自体”的，也就是说，它是从病人自己的身体中萃取的，所
霜霜是一种通常用于皮肤的外用制剂。也有用于其他粘膜如直肠或阴道的霜。霜通常被认为是一种药剂产品，因为即使是用作化妆品的护肤霜也同样基于药学开发的技术，并且不作为药物使
青春期青春期（英语：puberty）是人体（或其他生物）生殖机能及生理机能成熟、心理和生理由儿童转到成人的时期。普通小型哺乳动物一、两岁就能性成熟，对人类而言一般指15岁到19岁左右的年龄
脂肪肉瘤脂肪肉瘤（英语：Liposarcoma），是一种由脂肪细胞在深层软组织（如腹膜后或大腿内侧）异常增生导致的癌症。脂肪肉瘤是一种罕见的恶性肿瘤，显微观察显示其与普通脂肪细胞类似。脂肪肉瘤
血红蛋白浓度血红蛋白浓度，又名血红蛋白含量(，简写Hb)，指每升全血中红细胞的血红蛋白的含量，单位为g/L。血红蛋白为血液携带氧气的运载工具，故此值可用于衡量贫血的程度。因年龄和性别而异：见
肌肉酸痛肌肉痛（英语：Myalgia），如字面意思所言——肌肉疼痛，是多种疾病的症状，其最常见的成因是肌肉（群）的过度拉伸、过度使用。没有肌肉创伤史的肌肉痛则通常是由病毒感染所引起，而长期肌肉
哲学研究《哲学研究》是英籍奥地利哲学家路特维希·维特根施坦的著作。《哲学研究》讨论的问题涵盖了语义学、逻辑学、数学哲学，语言哲学和心灵哲学等领域。它是二十世纪最重要的哲学