博弈语义

✍ dations ◷ 2025-11-24 13:19:07 #博弈语义

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

相关

弗朗索瓦丝·巴尔－西诺西弗朗索瓦丝·巴尔-西诺西（法语：Françoise Barré-Sinoussi，1947年7月30日－）生于巴黎，是一位法国病毒学家，巴黎巴斯德研究所逆转录病毒感染调控研究小组主任。她主要从事反转录病毒
头颈癌头颈癌（Head and Neck Cancers）是指位于头颈部位，除了脑癌以外的其他恶性肿瘤。较常见有口腔癌、鼻咽癌，另外还有口咽癌、下咽癌、喉癌、鼻窦癌、唾液腺癌以及甲状腺癌等。头颈
法医病理学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学法医病理学（英语：forensic pathology），病
膀胱输尿管返流膀胱输尿管返流(Vesicoureteral Reflux、VUR)是尿从膀胱到输尿管或肾的异常地反向性地流动。尿液的正常运行是从肾脏进经由输尿管到膀胱。出生前胎儿的膀胱输尿管反流的症状
假单胞菌属绿脓杆菌P. aeruginosa 组绿叶假单胞菌 P. chlororaphis 组荧光假单胞菌 P. fluorescens 组穿孔素假单胞菌 P. pertucinogena组恋臭假单胞菌 P. putida组施氏假单胞菌 P. st
圣安东尼奥圣安东尼奥（英语：San Antonio）位于美国得克萨斯州中南部，是美国得克萨斯州人口第二多的城市（排在休斯敦之后），同时也是美国人口第七多的城市。据2005年美国人口普查局估计，圣安东尼
血液检验血液检查（英语：Blood test），是指通过采血以获得受检者的血液，并利用其进行临床检查以获取受检者的健康状况。主要通过医检师进行检验。血液检查主要用于判断患者在一定时间内的身
银川市银川市，简称银，古称中兴路、兴庆府、怀远镇、宁夏省城，是中华人民共和国宁夏回族自治区首府，位于宁夏中北部。市境北接石嘴山市，东抵内蒙古自治区鄂尔多斯市，南达吴忠市，西界内蒙古
皮聪达皮聪达（格鲁吉亚语：ბიჭვინთა；阿布哈兹语：Пиҵунда；俄语：Пицунда），是格鲁吉亚的城镇，位于该国西部的黑海沿岸，由阿布哈兹负责管辖，每年平均降雨量1,460毫米，受亚热
Netscape Navigator 9Netscape Navigator 9是网景导航者浏览器最后的版本，由美国在线旗下的网景制作。自2004年将第8版的Netscape Browser委交Mercurial Communications制作以来，第一个重回网景制