博弈语义

✍ dations ◷ 2025-12-05 10:34:49 #博弈语义

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

相关

链球菌等链球菌（学名：Streptococcus）是一类球形的革兰氏阳性细菌，属于厚壁菌门的一个属。这些细菌细胞分裂时总是沿一个轴，所以通常成对或者链状的。因为这些特征，他们被称作“链球菌”，
单纯疱疹病毒Herpes simplex virus 1 (HSV-1) Herpes simplex virus 2 (HSV-2)单纯疱疹病毒(英语：herpes simplex virus; HSV) 1 和 2 (HSV-1 和 HSV-2)，也叫人类单纯疱疹病毒 1 和 2 (HHV
担孢子担孢子（英语：Basidiospore）是担子菌门（包括伞菌、木耳、锈菌、黑粉菌等）的真菌所产生的有性孢子（英语：Teleomorph, anamorph and holomorph）。一般来说担孢子是由特化的结构担子经由
解离性障碍分离性障碍（英文：dissociative disorder），是一种身份、记忆或意识的整体性扰乱。患有解离性障碍的患者缺乏对自我感（selfhood）的辨别和控制，其在时间和地点上缺乏自我在各个方面的
上南方上南方（Upper South或Upland South）指的是美国南部偏北的地区，与其相对的是深南部（Lower South或Deep South）。在英语中"Upland South"和"Upper South"有些微分别。前者通常以地
陈文泰县陈文泰县（越南语：Huyện Trần Văn Thời），又译作“陈文时县”，是越南金瓯省下辖的一个县。陈文泰县是金瓯省革命烈士陈文泰的故乡。该县即以陈文泰的名字命名。陈文泰县下辖2市
客观客观性是哲学的一个中心概念，指从不同观点或角度来思考或判断某件事物的合理性，一个事物不受主观思想或意识影响而独立存在的性质，跟“主观性”相对应。客观的事实，不受人的思想
肠吸虫布氏姜片虫（学名：Fasciolopsis buski），简称姜片虫，是一种外观极像薄切姜片的中、大型寄生虫。为完成一代生活，这种虫必须在环境适当的淡水螺体内发育，再以常见的水生植物作第二轮的
舌岩舌岩，中医外科（疡科）病名，是发生于舌部的癌症，又称舌菌、舌疳，相当于现代医学的舌癌。中医视本病为难治之症，若延及项颌，肿如结核，称为瘰疬风（又称失荣）。
声调声调（英语：Tone）的完整意义是一种附着于音节的高低抑扬（音调，或称音高）。语言学家赵元任从音阶获得灵感，设计了五度调值标记法，以数字1表示最低音，到数字5表示最高音。赵氏五度标记法