词条 博弈语义

博弈语义

博弈语义是一种基于博弈论定义真或有效性等逻辑概念的形式语义,比如游戏者的赢策略。保尔·洛伦茨首先在1950年代晚期为逻辑引入了博弈语义。此后在逻辑中已经研究了很多不同的博弈语义。博弈语义也已经应用于编程语言的形式语义。

博弈语义相关文献
博弈语义
直觉主义逻辑,指称语义,线性逻辑Lorenzen和KunoLorenz的主要动机是为直觉主义逻辑找到一种博弈论(他们的术语是"对话式"DialogischeLogik)语义。Bla
查看全文
指称语义
递归程序的语义在本节中我们概览作为指称语义的最初主题的函数式递归程序的语义。问题如下。我们需要给予程序如阶乘函数的定义以语义这个阶乘程序的意义应当是在自然数上一个函数,但是由于它的递归定义,如何以复合方式理解它是不明白的。在递归的语义中,域典型的是偏序,它可以被理解为已定义性(definedness)的次序。例如,在自然数上的偏函数的集合可以给出为如下次序:通常假定这个域的某个性质,比如链的极限的存在性(参见cpo)和一个底元素。偏函数的偏序有一个底元素,完全未定义函数。它还有链的最小上界。各种额外性质经常是合理的和有用的:在域理论条目中有更详尽细节。我们特别感兴趣于在域之间的“连续”函数。它们是保持次序结构和保持最小上界的函数。在这种设置下,类型被指示为域,而域的元素粗略的捕获了类型的元素。给予带有自由变量的一个程序段的指称语义,依据它从它的环境类型的指称到它的类型的指称的连续函数。例如...
查看全文
语义信息
科学哲学领域从科学哲学领域的角度说,不只是日常语言提供的信息,GPS和温度表提供的信息,甚至电池正负号提供的信息也都是语义信息。因为电池上一个加号(+)等价于一个命题:“这是正极”。语义信息的概念主要是用以区别Shannon信息的。与Shannon信息论的比较语义信息与信号(message)的含义及知识有关,存在对错问题;Shannon信息与信号含义或知识无关,不存在对错问题(Floridi,2011)。语义信息可以包含在单个信号(message)或命题中,而Shannon信息只能存在于一连串信号中,只能通过统计得到平均信息(Shannon,1948)。广义信息在大多数地方指除了随机性还涉及语言模糊性的信息,主要也是指语义信息。语义信息研究语义信息研究,即如何度量语义信息的研究,最早可以追溯到Weaver,Bar-Hillel,Carnap,Popper等人。Weaver提出信息论研究应当...
查看全文
语义网
应用通过下列方法可以提升万维网以及其互连的资源的易用性(usability)和实用性(usefulness):"标记"了语义信息的文档。这可以是机器可以理解的关于文档内容(例如文档
查看全文
语义安全
历史语义安全的概念首先由戈德瓦塞尔(Goldwasser)和米卡里(Micali)在1982年提出,两人后来证明了语义安全和另一性质密文不可辨别性是等价的。后者定义比语义安全更通用,因为它更能实施于检验实际加密方式的安全性。对称密钥加密在语义安全的对称密钥加密加密算法系统中,对抗者不可能从密文获得明文。如交给两段相同长度的明文与其中之一的密文,将不可分辨该密文所对应的明文。公钥加密参考文献
查看全文
博弈语义相关标签
计算机逻辑
语义学
信息技术
家族谱大览
景县景州镇大厂村高氏家族族谱
景县景州镇大厂村高氏家族族谱
浏览:0
富川麦岭义氏二房祖赐公派下家谱
富川麦岭义氏二房祖赐公派下家谱
浏览:0
长葛水磨河义氏族谱
长葛水磨河义氏族谱
长葛水磨河义姓,最早生活在河南省长葛县老城一带,康熙八年,始祖公兄弟三人为谋生活,兄留在老城原籍,弟到新郑郭店一带,他本人来到长葛西三十四里处的水磨河,成为当地义姓始祖。三十年前水磨河尚存一石碑,上有水磨河义姓始祖及二世义红印,义红斌的记载,笔者和老一辈人都见过,确实无误,该石碑原来在三组机井口处,遗憾的是那块石碑在新农村建设时不知挪移何处,现在下落不明。当时来到水磨河的义姓始祖名字,因碑文残缺后人也都记不清了,也无法考证,他的两个儿子义红印,义红斌在遗失碑文上有清晰记载。义振堂家里供奉的牌位上显示义红斌支系以下的后人都很明确。老辈人曾到长葛老城原籍打听义姓后人,结果现无义姓后人,新郑郭店一带义姓后人不详。 树有根,水有源,人须知祖宗明家史,故纂家谱看家谱当是氏族宗亲之要事。 义姓人与他人交往时,总让人对义姓感到新奇,会让介绍一下义姓来源,做为义姓后人对义姓也讲不明白,甚感惭愧,网上查询发现全国多处有义姓人分布,但数量不多,属稀罕姓。二〇二〇年春节,应台湾本家兄长秉豪提议:“趁我们这代人还有印象,把咱长葛水磨河义姓家谱整理下,给后人留存下记忆”堂兄套军也说:“家谱是咱们的根,是文化传承”。另外我们义姓人走出水磨河,外出工作定居,漂泊海外的越来越多,每逢佳节倍思亲,想家的时候翻翻家谱缅怀下先人,念想有了寄托,家谱在根就在。因此我们兄弟仨萌生了修订家谱的想法。因为套军兄一直在水磨河居住,本家族事务参与的多,知道的也多,于是修订家谱的重任就由套军兄负责了,经兄多方了解,义姓原来是有家谱的,只是文革期间遗失了,通过询问本家六叔永才,高辈老人振堂、万昌及本族其他人天录、原现、专太、世松、世军等,查阅各家供奉的牌位,结合记忆中的碑文内容,经过多次整理多方核对,以碑文和牌位记载内容为基础,多位老人口述核对为辅助,历时两个多月,总算把家谱世系关系抢救整理了出来,尽量做到准确,不知道不清楚的留下空位,待以后弄清楚了再次补修。修家谱是件郑重的事,若发现有遗误的地方请本族人海涵,并知会套军兄,下次修订时补正过来,能提供家谱修订物证资料的也及时联系,兄这次整理家谱得到了本族老少爷们儿的大力支持,看来拥有一部水磨河义姓家谱是众望所归的事情。 本家谱修订至十一世,从康熙八年至今时间跨度350年,九世以前只录入子,九世以后多为独生子女,所以子女均录入谱。本族老人万昌、金周、永才,金全等协商修订了字辈谱“忠信传家运诗书继世长”并确定十一世为忠字辈,遵循字辈谱顺序,供后嗣取名。 经过一年的走访、考证、校对,长葛水磨河义氏族谱终于在2020年岁末定稿刊印成册。族人添了新人可以笔录在族谱上,做为后人再次重修族谱的依据。 公元二0二0年元月三十一日
浏览:27554
广西富川义氏三房真成公支脉族谱
广西富川义氏三房真成公支脉族谱
浏览:7048
[湖北黄冈]义门陈氏宗谱 [9卷,首5卷]
浏览:4
[湖北黄冈]义门陈氏宗谱 [9卷,首5卷]
浏览:4