博弈语义

✍ dations ◷ 2025-12-04 08:44:09 #博弈语义

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

相关

生物学生物学（希腊语：βιολογία；拉丁语：biologia；德语：Biologie；法语：biologie；英语：biology）或称生物科学（biological sciences）、生命科学（英语：life sciences），是自然科学的一大门类，由经
睾丸睾丸，俗称蛋，是雄性动物生殖器官及生殖腺的一部分。是女性卵巢的同源器官。主要作用是产生精子和分泌雄性激素（主要是睾酮）。睾酮的分泌是由脑垂腺前叶分泌的黄体成长激素所控制
口臭口臭指人张开口时发出的臭味，普遍视为一个表面的病征。其起因可以有很多种，大多来自口腔的问题，例如蛀牙和牙周病，亦有可能因为扁桃腺结石，或因为吃了味浓的食物（如蒜头、洋葱、肉
尿道综合征尿道综合征(Urethral syndrome)为较低段的泌尿道感染之一组病症。然而，尿道综合征是不同于其它的泌尿道疾病、由于其没有传统上的病原体菌尿(bacteriuria)显著的症状呈现。典
IL31JLI3562n/aENSG00000164399n/aP08700n/aNM_000588n/aNP_000579n/a白细胞介素3（英语：Interleukin 3，IL-3）是一种蛋白质，在人体中由IL 3 基因编码。白细胞介素3是白介素，一个类生
心智图心智图（英语：Mind Map），又称脑图、心智地图、脑力激荡图、思维导图、灵感触发图、概念地图、或思维地图，是一种图像式思维的工具以及一种利用图像式思考辅助工具来表达思维的工具
会计会计可指：
颗粒物悬浮颗粒或称颗粒物（particulate matter (PM)）、大气颗粒物（atmospheric particulate matter）、颗粒（particulates），泛指悬浮在空气中的固体颗粒或液滴，颗粒微小甚至肉眼难以辨识但
炼金术士炼金术是中世纪的一种化学哲学的思想和始祖，是当代化学的雏形。其目标是通过化学方法将一些基本金属转变为黄金，制造万灵药及制备长生不老药。现在的科学表明这种方法是行不通
字符在电脑和电信领域中，字符（Character）是一个信息单位。对使用字母系统或音节文字等自然语言，它大约对应为一个音位、类音位的单位或符号。简单来讲就是一个汉字、假名、韩文字…