博弈语义

✍ dations ◷ 2025-11-24 00:32:46 #博弈语义

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

相关

艾伯斯坦-巴尔病毒人类疱疹病毒第四型（拉丁语：Epstein-Barr virus，缩写EBV、爱泼斯坦-巴尔病毒、 human herpesvirus 4 (HHV-4)），又称为EB病毒，是最常见能引起人类疾病的病毒之一。EBV是在公元1964
β-内酰胺β-内酰胺（英语：β-lactam）是一种四元内酰胺环，内酰胺（Lactam）指环状的酰胺。因氨基在酰胺结构第β个碳原子上组成四元环，故称β-内酰胺。同理，若氨基在酰胺结构第γ、δ个碳原子上
压强压强，是作用在与物体表面垂直方向上的每单位面积的力（Force）的大小，即是分布在特定作用面上之力与该面积的比值。压强可用任意之力单位与面积单位进行测量，压强的国际标准单位为
沙眼砂眼（Trachoma），又称颗粒性结膜炎（Granular conjunctivitis）、埃及眼炎（Egyptian ophthalmia）和致盲性砂眼（blinding trachoma）是由砂眼披衣菌感染导致的传染病。感染砂眼会造成眼睑
朝鲜在联合国安理会关于朝鲜的决议已经通过了24项。五十年代朝鲜战争期间通过了五项决议。1991年关于朝鲜加入联合国的决议后。作为联合国会员国，安理会至今通过了关于朝鲜的导弹
心内膜心内膜（英语：endocardium）是位于心腔中的最深层的组织。其细胞在胚胎学与生物学观点上与位于血管的内皮细胞极为相似。
病人受虐病人受虐或病人忽视是指造成病人不合理痛苦或伤害的作为或是不作为。其中可能包括身体虐待或是性侵犯，也包括不提供必要的食物、身体照顾或医疗协助。病人受虐可能发生在医院
亚他薛西斯一世阿尔塔薛西斯一世，又译亚他薛西斯一世（古波斯楔形文字：
Netscape Communicator网景通信家族（英语：Netscape Communicator）是由网景公司1997年所开发的网络包。整个包包含Netscape Navigator（网页浏览器）、Netscape Messenger（电子邮件客户端软件）、Netscape Co
感叹词感叹词是用于表达各种感情的词。它与后面句子的其余成分无语法联系。现代汉语的感叹词有“啊”、“哎呀”、“天呀”等。例：古代汉语中常见的感叹词有“呜呼”、“嗟夫”、“