博弈语义

✍ dations ◷ 2025-11-27 05:30:37 #博弈语义

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

相关

凝血酶1a2c, 1a3b, 1a3e, 1a46, 1a4w, 1a5g, 1a61, 1abi, 1abj, 1ad8, 1ae8, 1afe, 1aht, 1ai8, 1aix, 1awf, 1awh, 1ay6, 1b5g, 1b7x, 1ba8, 1bb0, 1bbr, 1bcu, 1bhx, 1bmm, 1bmn
抽血静脉穿刺是以静脉注射或静脉血采样为目的而进行的刺穿静脉的医学操作。在所有入侵性医学流程中，静脉穿刺是最常见的一种。静脉穿刺的作用有很多，比如为诊断目的检测血液中的重
脑内出血颅内出血（ICH）是头部颅骨内出血。这种情况可能导致血液或血块压迫到脑神经造成脑神经坏死。颅内出血包含：脑室内出血（英语：intraventricular bleed）和脑实质性出血（英语：intraparenc
气管切开术1 – 声带 2 – 甲状软骨 3 – 环状软骨 4 – 气管环 5 – 气囊气管切开术（tracheotomy /ˌtreɪkiˈɒtəmi/、UK also /ˌtræki-/；tracheostomy），简称“气切”，它是将气管软
流鼻血鼻衄，俗称流鼻血、淌大寒，称鼻出血，是指由于鼻孔内的毛细血管脆弱，血管受到破坏后，血液从鼻孔里流出，是一种医学上的疑难病症。大多数是从一个鼻孔里出，但偶尔也会两个鼻孔一起出。
蚂蚁参见亚科列表（英语：List of ant subfamilies）蚂蚁，古代又称马蚁或馬螘，蚂蚁是一种真社会性的昆虫，属于膜翅目 (Hymenoptera) 蚁科(Formicidae)，膜翅目的其他昆虫有胡蜂、黄蜂等。最
主动脉主动脉（希腊语：αορτή）是一大血管，体循环动脉系统的起始主干，它发自左心室。主动脉是身体最大的动脉，直径有2.5-3.5 cm。形如拐杖，弓形开端，向下直到骨盆区。在解剖学、外科学上
包皮过长包皮（英语：Foreskin），一般指包在雄性阴茎龟头上的一层皮，有时也包括女性生殖构造上，包覆阴蒂的阴蒂包皮。包皮在胚胎时期伴随阴茎成长，有保护龟头防止外来伤害的作用。一般在青春期
气孔气孔是植物用来与外界交换气体和水的部位。一般来说气孔由两个腰果状的保卫细胞组成，它们形成一个可以开闭的孔。一般气孔位于植物叶子的背面，禾本科植物叶子两面都有气孔，只有
代谢途径代谢途径（英语：metabolic pathway）在生物化学中，是一连串在细胞内发生的化学反应，并由酶所催化，形成使用或储存的代谢物，或引发另一个代谢途径（称为“流量控制反应”）。多种途径都是