博弈语义

✍ dations ◷ 2025-11-20 03:42: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的可计算性逻辑。

相关

爱德华·金纳爱德华·詹纳（英文：Edward Jenner，1749年5月17日－1823年1月26日），FRS，亦译作爱德华·金纳或琴纳，是一名英国医生，生于英国告罗士打郡伯克利牧区一个牧师家庭，以研究及推广牛痘疫苗，防止
心绞痛心绞痛又称为狭心症（Angina pectoris），是心肌缺血引起的胸痛，一般是由冠状动脉阻塞或痉挛所导致。冠状动脉疾病是心血管的动脉粥样硬化，为心绞痛的主要原因。心绞痛的原文“angin
矮化病毒科极微小病毒属 Nanovirus 香蕉顶束病毒属 Babuvirus矮化病毒科（Nanoviridae）又译作极微小病毒科或奈米病毒科，是单链DNA病毒的一科，下有两属：
斑块丘疹（英语：papule），为局限性、实质性、直径小于1cm的表浅隆起性皮损。丘疹表面可扁平（如扁平疣（英语：flat wart））、圆形脐凹状（如传染性软疣）或粗糙不平呈乳头状,颜色可呈紫红色（如扁平
金黄葡萄球菌金黄色葡萄球菌（学名：Staphylococcus aureus）为一种革兰氏染色阳性球型细菌。工业上利用金黄色葡萄球菌制备蛋白质A——抗激素化学分析中的细胞壁组成成分。金黄色葡萄球菌在显
图书馆员图书馆员是负责图书馆运营的专业人员，其工作包括对馆藏资源的采购、加工、描述、流通（借还）、分析报导、点算书籍、盘点书本、检查书籍、把书本排列好次序、上书、帮忙读者寻找
严重急性呼吸道综合征冠状病毒2型相关条目此条目列出有关严重急性呼吸系统综合症冠状病毒2型的相关页面，以方便阅览相关条目。引用错误：页面中存在<ref group="註">标签，但没有找到相应的<references group="註" />
奥克拉荷马州坐标：35°30′N 98°00′W / 35.5°N 98°W / 35.5; -98俄克拉荷马州（切罗基语：ᎠᏍᎦᏯ ᎩᎦᎨᏱ，转写： Asgaya gigageyi，或者ᎣᎦᎳᎰᎹ(音译自英语)；波泥语：Uukuhuúwa；卡育加语：Ga
约翰·奥斯丁约翰·奥斯丁（英语：John Langshaw Austin，著作常署名 J. L. Austin，1911年3月26日－1960年2月8日）英国哲学家，属于分析哲学学派，以语言哲学为专长。1929年开始在牛津大学贝利奥尔学院
可计算函数在可计算性理论中，可计算函数（computable function）或图灵可计算函数是研究的基本对象。它们使我们直觉上的算法概念更加精确。使用可计算函数来讨论可计算性而不提及任何具体