博弈语义

✍ dations ◷ 2025-12-05 23:01:02 #博弈语义

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

相关

囊肿囊肿（Cyst）是一个封闭的囊，具有明显的膜组织，也会产生细胞分裂。囊肿内部可能包含空气、液体或半固体物质。脓液的集合体称为一个囊肿。囊肿有时会自行消失，也可能需要通过外科手
博弈论博弈论（英语：Game Theory），又译为对策论或赛局理论，是经济学的一个分支，1944年冯·诺伊曼与奥斯卡·摩根斯特恩合著《博弈论与经济行为》，标志着现代系统博弈理论的的初步形成，因此
奥格门汀阿莫西林克拉维酸钾是一种用来治疗各种细菌感染的抗细菌药，由阿莫西林和克拉维酸钾合成。分为口服的阿莫西林克拉维酸钾片和静脉注射的干混悬剂。阿莫西林克拉维酸钾是世界卫
特拉西梅诺湖特拉西梅诺湖（意大利语：Lago Trasimeno）位于意大利翁布里亚大区境内，水域面积为128平方公里，是波河以南最大的湖泊。前217年的特拉西梅诺湖会战中，迦太基将领汉尼拔曾在此处全歼罗
感质在哲学中，感质（英语：Qualia，/ˈkwɑːliə/或/ˈkweɪliə/；单数形式: Quale）的定义是主观意识经验的独立存在性和唯一性。Qualia这个词源自拉丁语中的形容词quālis'（拉丁语发音：.m
干细胞治疗干细胞疗法是通过利用对干细胞进行体外分离、培养、定向诱导分化等，能够培养出一种全新的、正常的、更年轻的细胞、组织、器官等。通过特殊的移植技术移植到体内，代替那些正常
威廉斯综合征威廉氏综合征（英语：Williams–Beuren syndrome, WBS），也称为鸡尾酒会综合征，是一种罕见的遗传疾患，患者神经发育异常，行为举止异常兴奋，语言能力相对一般人好，且不怕陌生人，个性外向。
斑蝥斑蝥，又可写作斑蟊。中文世界中，斑蝥所指称的生物一直有所混淆，有的人用于指称虎甲虫，有的用于芫菁科，由于芫菁含有药性成分──斑蝥素（芫菁素），故中药里头的斑蝥无疑是指芫菁。但在
秋水仙素秋水仙素（英语：Colchicine）是最初萃取于百合科植物秋水仙的种子和球茎的一种植物碱。它是白色或淡黄色的粉末或针状晶体，有剧毒。最先用于治愈风湿病和痛风，但是它的泻药及促进呕
加勒比海地区加勒比海及其附近区域。若依照联合国地理分区里的地理亚区来判定，加勒比地区的范围为加勒比海上的诸岛—西印度群岛，国家与地区包含安圭拉、安提瓜和巴布达、阿鲁巴、巴哈马、