博弈语义

✍ dations ◷ 2025-11-23 17:51:44 #博弈语义

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

相关

膀胱癌膀胱癌泛指各种出自膀胱的恶性肿瘤，也就是有异常细胞大量增殖而不受管制。膀胱是贮存尿液的中空器官，外壁主要由肌肉构成，位于下腹部。最常见的膀胱癌细胞来自膀胱内面黏膜表
陆生植物陆生植物一般指生活在陆地上且茎叶完全伸展在空气中的植物，能适应干旱的环境。与水生植物相比，陆生植物拥有庞大的根系，从土壤中吸收水分。植物学与进化生物学中，陆生植物一般特
梗阻性尿路症梗阻性尿路症(Obstructive uropathy)是正常尿液流动的结构或功能障碍，有时导致肾功能不全(梗阻性肾病)。这是一个非常宽泛的术语，并不意味着位置或病因。它可以由尿道的任一点
怀孕妊娠（英语：pregnancy），又称怀孕，是指胚胎或胎儿（英语：Offspring）在哺乳类雌性体内孕育成长的过程，而在哺乳动物中研究得最详细的是人类的妊娠。人类的妊娠约40周，从受精排卵算起则为38
Apple Watch Series 4Apple Watch Series 4，是第四代的Apple Watch，在2018年9月12日发布。相较于前三代的机种，第四代新增了跌落感应和心电图绘制功能。另外Apple watch series 4 银色亦被重命名为
冲动性冲动是由多重因素组成的架构（英语：Construct (philosophy of science)）。这个架构包含基于一时的渴望、点子、想法而行动的倾向。行为特征包括没有预想、预先规划、深思熟虑、
广场恐怖症广场恐怖症是一种焦虑症，其特征是人们认为环境不安全并且不容易逃离而产生焦虑症状。这些情况可能包括开放空间、公共交通、商场，或仅仅是在自家外，在这些情况下可能会导致恐
爱德华氏症候群参数所指定的目标页面不存在，建议更正成存在页面或直接建立下列一个页面（建立前请先搜寻是否有合适的存在页面可以取代）：]]爱德华氏综合征（亦称18-三体综合征）是一种遗传疾病，是（所
东亚人种蒙古人种东亚型，是蒙古人种在中国、日本、朝鲜半岛的分支。可分别为北支、中支、南支三种。北支：有高而窄的脸和鼻子，狭窄，细长的头骨，身材中高。分为三种亚型：
声调音位声调轮廓（tone contour）或语调轮廓、声调符号，其意思是指在一种声调语言中，音节的音高如何因为声调之不同而改变。轮廓通常以两个或三个数字表示，或者可以用象形图显示。汉语是声