博弈语义

✍ dations ◷ 2025-11-07 05:44:41 #博弈语义

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

相关

巨噬细胞巨噬细胞（英语：macrophage，缩写为mφ）是一种位于组织内的白细胞，源自单核细胞，而单核细胞又来源于骨髓中的前体细胞。巨噬细胞和单核细胞皆为吞噬细胞，在脊椎动物体内参与非特异性
同义词同义词（synonym）或者更学术性的称呼同义异形是世界上各种语言都存在的一种现象。它指的是表达的意义相同或相近，但是表达形式不同的词汇。例如厕所和“茅房”就是不同词汇表示
阻塞性睡眠呼吸暂停阻塞性睡眠呼吸暂停(英语：Obstructive Sleep Apnea, OSA)，是睡眠呼吸暂停中的最常见形式，它是上呼气道受阻（英语：airway obstruction）所引起的。它的特点是在睡眠时重复性的呼吸
胰腺胰脏也称胰腺（英语：Pancreas），旧称膵、脺，脊椎动物具有外、内分泌功能的腺体；外分泌由腺泡、连通肠腔的导管组成，腺泡分泌多种消化酶，导管上皮细胞分泌碳酸氢盐、钠、钾、氯等离子和
感染性心内膜炎感染性心内膜炎（Infective endocarditis）是心内膜的感染疾病，常发生于心脏瓣膜上。症状包括发热、皮肤产生瘀点、心杂音、容易疲倦、红血球数量不足。并发症包括瓣膜闭锁不全（英
孕酮孕酮（英语：progesterone，亦被称为黄体酮、孕甾酮、黄体甾酮、助孕激素、助孕素、黄体素或助孕酮，其缩写为P4，也被称为(孕甾-4-烯-3,20-二酮)，是一种内源性类固醇和孕激素性激素，也
回肠在人体解剖学中，回肠是人的消化器官之一。回肠（Ileum）是小肠的最后一段，在十二指肠和空肠的下面。人的回肠约占小肠全长的五分之三，约有2-4米长。回肠多盘于腹腔右下部，借小肠系膜
加州加利福尼亚州（英语：State of California），简称加州，是美国西部太平洋沿岸的一个州。面积位列美国第三；人口为3,930万，位列美国各州第一。州首府是萨克拉门托。在地理、地貌、物产、
反精神病学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学反精神病学（Anti-psychiatry）是反对现代
X-单体综合征 (XO)特纳氏综合征（Turner syndrome，简称TS）也被称作Ullrich-Turner氏综合征（Ullrich-Turner syndronme）、性腺发育不良（Gonodal dysgenesis）以及45,X，是雌性个体因X染色体部分或完全缺失