博弈语义

✍ dations ◷ 2025-04-03 11:07:13 #博弈语义

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

相关

生物圈生物系统层级关系：生物圈 > 生态系统 > 群落 > 种群 > 个体生物圈（Biosphere）是指地球上所有生态系的统合整体，是地球的一个外层圈，其范围为海平面上下垂直10公里。它包括地球上
人口不足人口不足（又称人口稀少或人口过稀），通常是指一个国家的人口减少至无法支持该国的社会经济。举例来说，假如现时已退休的上一辈当年的每个家庭平均有三个小孩，而现时的新一代则平均
降血脂药降血脂药（英语：Hypolipidemic agents），又称调血脂药或antihyperlipidemic agents、lipid-lowering drugs，是一类用来治疗高脂血症的药物。常用的降血脂药有两大类，分别为他汀类药
细胞穿孔在生物学中，去极化(英文:Depolarization)指的是细胞的膜电位向膜内负值减小的变化。在神经元和其他的细胞中，一个足够大的去极化作用将会导致动作电位。过极化与之相反并抑制
J. Am. Chem. Soc.《美国化学会志》（英语：Journal of the American Chemical Society，或译美国化学会期刊、美国化学学会期刊），常用缩写为J. Am. Chem. Soc.和JACS，是美国化学学会发行的学术期刊，于1
17α-羟孕酮17α-羟孕酮（英语：17α-Hydroxyprogesterone，17α-OHP)，有时就简称为羟孕酮（英语：hydroxyprogesterone，OHP）是一种孕酮类似的内源性的孕激素类甾体激素，同时也是很多内源性甾体激素生
Netscape Messenger 9Netscape Messenger 9是由网景制作的一个跨平台的独立电子邮件客户端及新闻组程序，建构于Mozilla Thunderbird。最初于2007年6月11日公开的时候以Netscape Mercury之名宣传，这
甘氨酸甘氨酸（英语：Glycine，简写为Gly或G），即胺基乙酸，是20个蛋白氨基酸中分子量最小的一个。它是白色或浅黄色晶体，易溶于水，有甜味。甘氨酸的侧键是一个氢原子。甘氨酸的α碳连接两个氢
厄文·高夫曼厄文·高夫曼（Erving Goffman，1922年6月11日－1982年11月20日）是一位美国社会学理论家，第73任美国社会学会（英语：American Sociological Association）理事长，宾夕法尼亚大学社会学教授
克罗恩病克隆氏症（Crohn's disease），又称克罗恩病、克隆氏症候群或局部性肠炎，是一种发炎性肠道疾病，可能影响肠胃道从口腔至肛门的任何部分。症状通常包含：腹痛、腹泻（如果发炎严重可能会