期刊文献+
共找到186篇文章
< 1 2 10 >
每页显示 20 50 100
关于休茨与迈耶play、game、sport三者关系论争的方法论置疑 被引量:4
1
作者 于涛 《体育学刊》 CAS 2000年第1期52-54,57,共4页
用辨证逻辑的方法 ,分析休茨与迈耶关于 play、game、sport三者关系论争中的方法论缺陷 。
关键词 体育哲学 休茨 迈耶 辨证逻辑 方法论置疑
在线阅读 下载PDF
基于Game理论的μ-演算公理化
2
作者 刘万伟 王戟 陈火旺 《计算机研究与发展》 EI CSCD 北大核心 2007年第11期1896-1902,共7页
随着软硬件系统复杂性的不断提高,各种验证技术被越来越广泛的使用.模型检验技术是一种保证软硬件设计、实现正确性的有效技术.在针对软硬件的模型验证技术中,一般采用时序逻辑作为规约语言.模态μ-演算是模态和时序逻辑中应用较为广泛... 随着软硬件系统复杂性的不断提高,各种验证技术被越来越广泛的使用.模型检验技术是一种保证软硬件设计、实现正确性的有效技术.在针对软硬件的模型验证技术中,一般采用时序逻辑作为规约语言.模态μ-演算是模态和时序逻辑中应用较为广泛的一种,它具有语法成分简洁、表达能力强等特点.扩展了Lange和Stirling基于Focus Game的LTL和CTL的公理化方法.提出了一种基于Game理论的μ-演算公式的可满足性的测试方法,该种方法能够将模态μ-演算公式的可满足性问题转化为FocusGame的求解问题.进一步,基于这套Game规则,给出了一个新的关于μ-演算可靠完备的推理系统.同已有的μ-演算公理系统相比,该推理系统相对直观、简洁. 展开更多
关键词 时序逻辑 模态μ-演算 game理论 可满足性 公理系统
在线阅读 下载PDF
Fuzzy mathematics and game theory based D2D multicast network construction 被引量:6
3
作者 LI Zhuoming CHEN Xing +3 位作者 ZHANG Yu WANG Peng QIANG Wei LIU Ningqing 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2019年第1期13-21,共9页
Device to device(D2 D) multi-hop communication in multicast networks solves the contradiction between high speed requirements and limited bandwidth in regional data sharing communication services. However, most networ... Device to device(D2 D) multi-hop communication in multicast networks solves the contradiction between high speed requirements and limited bandwidth in regional data sharing communication services. However, most networking models demand a large control overhead in eNodeB. Moreover, the topology should be calculated again due to the mobility of terminals, which causes the long delay. In this work, we model multicast network construction in D2 D communication through a fuzzy mathematics and game theory based algorithm. In resource allocation, we assume that user equipment(UE) can detect the available frequency and the fuzzy mathematics is introduced to describe an uncertain relationship between the resource and UE distributedly, which diminishes the time delay. For forming structure, a distributed myopic best response dynamics formation algorithm derived from a novel concept from the coalitional game theory is proposed, in which every UE can self-organize into stable structure without the control from eNodeB to improve its utilities in terms of rate and bit error rate(BER) while accounting for a link maintenance cost, and adapt this topology to environmental changes such as mobility while converging to a Nash equilibrium fast. Simulation results show that the proposed architecture converges to a tree network quickly and presents significant gains in terms of average rate utility reaching up to 50% compared to the star topology where all of the UE is directly connected to eNodeB. 展开更多
关键词 DEVICE to DEVICE (D2D) communication MULTICAST network fuzzy logic game theory TREE architecture
在线阅读 下载PDF
泛逻辑学——逻辑学的大一统理论
4
作者 何华灿 何智涛 《智能系统学报》 北大核心 2025年第1期185-197,共13页
人工智能80年研究实践证明,不能用传统物质学科范式做指导,需要进行学科范式变革,接受信息学科范式的指导。相应的,作为智能学科基础理论之一的逻辑学,也需要进行逻辑范式变革,由数理形式逻辑主导变革为由数理辩证逻辑主导。本文阐述了... 人工智能80年研究实践证明,不能用传统物质学科范式做指导,需要进行学科范式变革,接受信息学科范式的指导。相应的,作为智能学科基础理论之一的逻辑学,也需要进行逻辑范式变革,由数理形式逻辑主导变革为由数理辩证逻辑主导。本文阐述了数理形式逻辑和数理辩证逻辑的区别和关系,确认两者是对立不充分的统一体,具有相互补充、各司其职的关系,本文提出的泛逻辑学,可以在数理形式逻辑的基础上,逐步把它拓展成为数理辩证逻辑。因为数理形式逻辑(标准逻辑、刚性逻辑)是全面受到“非此即彼性”约束的理想化的基本逻辑,而数理辩证逻辑是面向现实世界的具有“亦此亦彼性”、甚至“非此非彼性”的高级逻辑,基本逻辑是高级逻辑的一个特例,如同代数是微积分的特例一样。泛逻辑的使命就是在基本逻辑基础上,逐步放开某些逻辑因素的“非此非彼性”,引入“亦此亦彼性”、甚至“非此非彼性”,形成各种不同的非标准逻辑或超协调逻辑,这些逻辑都是整个数理辩证逻辑的组成部分。而且研究证明,柔性命题逻辑算子与柔性神经元可以存在一体两面的等价关系,神经网络可以不是黑箱,而具有明确的逻辑含义。最后指出,数理辩证逻辑是一个开放的逻辑体系,其边界可以不断扩张,没有上限。泛逻辑可以全面无死角地支撑智能学科范式变革的需要。 展开更多
关键词 形式逻辑 辩证逻辑 博弈逻辑 数理逻辑 人工智能 泛逻辑学 统一理论 柔性逻辑
在线阅读 下载PDF
The Role of Game in English Teaching
5
《保山学院学报》 1998年第3期31-33,共3页
This asticle mainly talks about the role of game in English teaching in middle schools and colleges and also about the importance of teaching games in schools at different levels.
关键词 teaching gameS INTEGRAL activity technical ability INITIATIVE logical DEDUCTION creatiuity COLLECTIVE
在线阅读 下载PDF
智能传播时代我国游戏出版业高质量发展研究
6
作者 黄一涛 杜友君 《理论月刊》 北大核心 2025年第11期107-119,159,160,共15页
随着ChatGPT、Sora等生成式人工智能技术的快速发展,智能传播时代深刻改变了游戏出版业的生产、分发和消费模式。我国游戏出版业在政策引导、技术创新和市场需求的多重驱动下,正迈向高质量发展阶段。智能传播从根本上改变了游戏出版生... 随着ChatGPT、Sora等生成式人工智能技术的快速发展,智能传播时代深刻改变了游戏出版业的生产、分发和消费模式。我国游戏出版业在政策引导、技术创新和市场需求的多重驱动下,正迈向高质量发展阶段。智能传播从根本上改变了游戏出版生产机制、表现形式和传播方式等,为游戏出版的创造性转化和创新性发展注入了新的活力。但智能传播既是机遇也是挑战,在游戏出版业高质量发展现实需求分析基础上,尚存在企业逐利本质与意识形态安全的诉求矛盾,“电子鸦片”与健康竞技的二元认知,“产品出海”与“文化出海”的现象脱节,出版供给与用户需求的供需错位,侵权容易与维权艰难的保护困境五大问题,需要遵循游戏出版业高质量发展的发展指南、发展战略、发展动力、发展方式、发展表征、发展目标六方面价值逻辑,坚持“文化+科技+人才”三轮驱动下的游戏出版业高质量发展引领机制、生产机制、激励机制、传播机制、投入机制五大行动策略,以期实现游戏出版从“规模扩张”向“质量效益”、从“产品输出”向“标准输出”、从“文化跟随”向“文化引领”的根本性转变。 展开更多
关键词 智能传播 游戏出版 高质量发展 价值逻辑 治理机制
在线阅读 下载PDF
多值交互时序逻辑的模型检验研究 被引量:1
7
作者 凌灿红 常亮 +1 位作者 周洁 潘海玉 《郑州大学学报(理学版)》 CAS 北大核心 2025年第2期78-84,共7页
为了对包含多值信息的开放系统进行形式化验证,在多值逻辑的基础上提出了多值交互时序逻辑并研究了该逻辑的模型检验问题。首先,引入多值并发博弈结构作为此类开放系统的模型,该模型的最大特点是可以建模带有多值信息的开放系统。其次,... 为了对包含多值信息的开放系统进行形式化验证,在多值逻辑的基础上提出了多值交互时序逻辑并研究了该逻辑的模型检验问题。首先,引入多值并发博弈结构作为此类开放系统的模型,该模型的最大特点是可以建模带有多值信息的开放系统。其次,给出基于此模型的多值交互时序逻辑的语法和语义,该逻辑可以描述带有多值信息的待验证属性。最后,基于不动点理论给出多值交互时序逻辑的模型检验算法,并对算法的时间复杂度进行了分析,结果表明,可以在多项式时间内完成对多值交互时序逻辑的模型检验。 展开更多
关键词 模型检验 多值逻辑 交互时序逻辑 并发博弈结构
在线阅读 下载PDF
数字游戏赋能中华文化国际传播:媒介逻辑、话语建构与实践路径 被引量:1
8
作者 邓祯 《编辑之友》 北大核心 2025年第3期29-34,共6页
数字游戏作为一种具有异域亲缘性的消费媒介和跨文化的情动媒介,成为中华文化国际传播的重要载体。数字游戏对中华文化国际传播进行了多模态、互动式、跨媒介话语的构建:一是征用多模态符号,增强中华文化的沉浸式体验;二是联结跨文化玩... 数字游戏作为一种具有异域亲缘性的消费媒介和跨文化的情动媒介,成为中华文化国际传播的重要载体。数字游戏对中华文化国际传播进行了多模态、互动式、跨媒介话语的构建:一是征用多模态符号,增强中华文化的沉浸式体验;二是联结跨文化玩家,促进中华文化的国际互动交流;三是运用跨媒介联动,形成中华文化国际传播矩阵。从“数字游戏出海”到“文化出海”的蜕变并非一蹴而就,需要活用中华文化资源,打造高质量数字游戏产品,树立跨媒介传播的战略意识,构建多元化的国际传播策略,加强数字游戏技术的创新应用,为中华文化国际传播提供稳固的技术支撑。 展开更多
关键词 数字游戏 国际传播 媒介逻辑 中华文化
在线阅读 下载PDF
多重制度逻辑的博弈与协同:现代产业学院的建设机制研究
9
作者 孙丽丽 《天津中德应用技术大学学报》 2025年第5期20-25,共6页
现代产业学院是深化产教融合的重要战略载体,承担着破解教育链、产业链与创新链结构性矛盾、服务国家“教育、科技、人才”三位一体战略的关键使命。基于多重制度逻辑理论视角,系统解析现代产业学院中政策逻辑、产业逻辑、教育逻辑、技... 现代产业学院是深化产教融合的重要战略载体,承担着破解教育链、产业链与创新链结构性矛盾、服务国家“教育、科技、人才”三位一体战略的关键使命。基于多重制度逻辑理论视角,系统解析现代产业学院中政策逻辑、产业逻辑、教育逻辑、技术逻辑、学术逻辑、实践逻辑与创新逻辑等多重制度逻辑的博弈与协同关系。结合我国产教融合政策演进与多元实践,辨析现代产业学院的三类典型范式:协同式产业学院呈现政策、产业与教育逻辑的三角调和;嵌入式产业学院体现技术逻辑与学术逻辑的深度融合与张力化解;贯通式产业学院则展现实践逻辑与创新逻辑的时序协同与螺旋上升。通过剖析多主体因制度逻辑差异导致的价值冲突与行动异化,揭示了现代产业学院建设的制度复杂性,为理解其发展动力机制提供了深层理论解释,并为推动其从逻辑博弈走向制度协同、实现高质量发展提供了理论参考与实践路径。 展开更多
关键词 现代产业学院 建设机制 多重制度逻辑 博弈 协同
在线阅读 下载PDF
政治逻辑主导下英国陪审制的兴衰:权力博弈与制度命运
10
作者 袁爱华 李克艳 《楚雄师范学院学报》 2025年第4期120-126,共7页
对于英国陪审制的兴起、兴盛和衰落的原因,学界通常从法学的角度进行解释。但是这一解释路径忽视了陪审制作为政治制度和法律制度的双重属性,其兴衰实则受政治力量的控制和主导。英国陪审制的兴起,主要是教会权力、王权和地方权力此消... 对于英国陪审制的兴起、兴盛和衰落的原因,学界通常从法学的角度进行解释。但是这一解释路径忽视了陪审制作为政治制度和法律制度的双重属性,其兴衰实则受政治力量的控制和主导。英国陪审制的兴起,主要是教会权力、王权和地方权力此消彼长达成平衡的结果;其之所以兴盛,在很大程度上源于英国资产阶级革命需要塑造反抗暴政、追求自由精神的陪审团作为革命修辞以动员民众。但资产阶级革命胜利后,英国形成了议会中心的权力格局,司法在政治体系中的地位和作用被削弱了,主权者不再需要具有反抗精神的陪审团发挥颠覆现有政治权力格局的作用。在效率和财政紧缩等多重因素的考量下,陪审团审判逐渐被边缘化。当然,政治并非能随心所欲地主导法律制度的兴衰,其主导作用的发挥,往往还受制于背后的文化和传统等因素。 展开更多
关键词 英国陪审制 政治逻辑 权力博弈 革命修辞
在线阅读 下载PDF
“她经济”视野下中国女性向游戏崛起的文化逻辑
11
作者 林琳 《新经济》 2025年第11期84-98,共15页
在“她经济”崛起的背景下,中国女性向游戏的爆发式增长既是女性消费力觉醒的产业缩影,也是跨文化符号本土化与性别话语重构的文化实践。本研究从文化传播理论视角,聚焦女性向游戏崛起背后的动力逻辑、内容策略与传播机制,剖析发现其通... 在“她经济”崛起的背景下,中国女性向游戏的爆发式增长既是女性消费力觉醒的产业缩影,也是跨文化符号本土化与性别话语重构的文化实践。本研究从文化传播理论视角,聚焦女性向游戏崛起背后的动力逻辑、内容策略与传播机制,剖析发现其通过价值符号、情感符号与亚文化符号的多维重构,精准对接新世代女性的自我认同与情感需求,依托“渠道创新—情感代偿—受众共创”的传播闭环,实现从亚文化到大众市场的跨越;其发展始终缠绕于性别话语突破与妥协、亚文化坚守与异化、商业利益与文化价值的张力中。女性向游戏的文化传播既彰显了“她经济”中女性文化权力的成长,也为理解数字时代女性文化实践提供了典型样本。但需注意的是,女性向游戏亦暴露“她经济”商业化中情感需求工具化的困境。唯有平衡商业逻辑与文化价值,女性向游戏方能实现从情感消费载体到女性文化实践场域的跃升,为“她经济”健康发展提供更具启示性的实践范式。 展开更多
关键词 女性向游戏 文化传播 符号编码 她经济 文化逻辑
在线阅读 下载PDF
自动机,逻辑与博弈 被引量:6
12
作者 沈浩 孙永强 《计算机工程》 CAS CSCD 北大核心 2003年第20期9-11,共3页
讨论了特定的自动机、自动机的识别能力、逻辑的表达能力和博弈思想的关系。使用博弈思想可以比较容易地证明一元二阶逻辑(S1S和S2S)的可决定性。主要考虑线性时间(linear time)与分支时间(branch time)两种情况,通过这些逻辑与别的时... 讨论了特定的自动机、自动机的识别能力、逻辑的表达能力和博弈思想的关系。使用博弈思想可以比较容易地证明一元二阶逻辑(S1S和S2S)的可决定性。主要考虑线性时间(linear time)与分支时间(branch time)两种情况,通过这些逻辑与别的时态逻辑的表达能力的等价性可以证明其它逻辑也具有决定性,可以设计相应的自动机去解决模型检查(Model Checking)问题。 展开更多
关键词 自动机 博弈 时态逻辑 互模拟 模型检查
在线阅读 下载PDF
博弈行为中的演绎与归纳推理及其问题 被引量:16
13
作者 潘天群 《自然辩证法研究》 CSSCI 北大核心 2003年第3期38-43,53,共7页
博弈逻辑(gamelogic)是随着博弈论的迅速发展而形成的一个新的学科,它是一行动逻辑。博弈逻辑研究的是理性的人在互动行动中即博弈中的推理问题。在博弈行为中存在演绎推理和归纳推理。正如在传统逻辑中存在逻辑悖论一样,博弈逻辑中同... 博弈逻辑(gamelogic)是随着博弈论的迅速发展而形成的一个新的学科,它是一行动逻辑。博弈逻辑研究的是理性的人在互动行动中即博弈中的推理问题。在博弈行为中存在演绎推理和归纳推理。正如在传统逻辑中存在逻辑悖论一样,博弈逻辑中同样存在悖论或者"问题"。博弈参与人运用演绎推理时存在逆向归纳法悖论,而运用归纳推理时存在归纳是否有效的问题。 展开更多
关键词 博弈行为 演绎 归纳推理 逆向归纳法悖论 博弈逻辑
在线阅读 下载PDF
论博弈逻辑的分析方法——纳什均衡分析法 被引量:19
14
作者 张峰 《北京理工大学学报(社会科学版)》 CSSCI 2008年第2期95-99,共5页
博弈逻辑是逻辑学研究的一个崭新领域,目前处于初创时期。文章探讨了博弈逻辑的基本分析方法——纳什均衡分析法,并对其进行了评价。
关键词 博弈逻辑 纳什均衡 分析方法
在线阅读 下载PDF
博弈架构下我国食品安全问题研究 被引量:4
15
作者 王志远 黎昌珍 《安徽农业科学》 CAS 2012年第15期8752-8755,共4页
界定了商品真假(食品是否安全)的一般内涵,分别对单商家、双商家、多商家商品出售进行了博弈分析,表明在无相关约束机制下,商家出售假货(问题食品)是博弈的必然结果,会使食品安全问题日益突出。提出了解决食品安全问题的博弈路径:需引... 界定了商品真假(食品是否安全)的一般内涵,分别对单商家、双商家、多商家商品出售进行了博弈分析,表明在无相关约束机制下,商家出售假货(问题食品)是博弈的必然结果,会使食品安全问题日益突出。提出了解决食品安全问题的博弈路径:需引入健全有效的监管机制,改变原有的博弈结构,食品安全问题自然会得到解决;另外,道德机制的引入,使全社会流淌着道德的血液,是解决该问题的一个低成本甚至无成本的补充措施。 展开更多
关键词 食品安全 博弈论 博弈逻辑 内在成因 解决机制
在线阅读 下载PDF
论静态与动态博弈中的逻辑推理 被引量:8
16
作者 吴新民 《求是学刊》 CSSCI 北大核心 2008年第2期51-55,共5页
博弈研究的目的是揭示人们互动行为的逻辑规律。不论是双主体的零和博弈与多主体的非零和博弈,还是不完美信息的静态、动态博弈与完美信息的静态、动态博弈,它们的实质都是策略分析与逻辑推理的运用。文章在简要介绍蓬勃兴起的博弈逻辑... 博弈研究的目的是揭示人们互动行为的逻辑规律。不论是双主体的零和博弈与多主体的非零和博弈,还是不完美信息的静态、动态博弈与完美信息的静态、动态博弈,它们的实质都是策略分析与逻辑推理的运用。文章在简要介绍蓬勃兴起的博弈逻辑基础上,论述了静态博弈与动态博弈中的逻辑推理。 展开更多
关键词 博弈逻辑 静态博弈 动态博弈 逻辑推理
在线阅读 下载PDF
博弈理论框架:一个理论体系的建构 被引量:16
17
作者 陈建先 《重庆理工大学学报(社会科学)》 CAS 2018年第1期88-95,共8页
从现代博弈论的研究价值及研究现状出发,梳理博弈历史、中外博弈论学界探讨的主体内容,寻找博弈论的逻辑起点(博弈策略),创建博弈论的逻辑结构,提出博弈论理论体系,即博弈机理、博弈策略和博弈均衡的逻辑结构,从而形成心脉相通、血肉相... 从现代博弈论的研究价值及研究现状出发,梳理博弈历史、中外博弈论学界探讨的主体内容,寻找博弈论的逻辑起点(博弈策略),创建博弈论的逻辑结构,提出博弈论理论体系,即博弈机理、博弈策略和博弈均衡的逻辑结构,从而形成心脉相通、血肉相联、整体贯一的博弈论理论体系。 展开更多
关键词 博弈论 逻辑起点 博弈策略 理论体系
在线阅读 下载PDF
知识库系统的逻辑基础 被引量:18
18
作者 许文艳 刘三阳 《计算机学报》 EI CSCD 北大核心 2009年第11期2123-2129,共7页
针对知识库系统的研究现状和存在的问题,分析了用经典一阶谓词逻辑作为知识库系统逻辑基础的不充分性,根据知识库系统的特点和需求,指出可计算性逻辑既能为知识库系统提供合理的逻辑基础,又能弥补经典逻辑作为知识库系统逻辑基础的不足... 针对知识库系统的研究现状和存在的问题,分析了用经典一阶谓词逻辑作为知识库系统逻辑基础的不充分性,根据知识库系统的特点和需求,指出可计算性逻辑既能为知识库系统提供合理的逻辑基础,又能弥补经典逻辑作为知识库系统逻辑基础的不足.并在此基础上用证明论方法,建立了一个基于可计算性逻辑的完备子集CL4的知识库系统的公理系统,显示出易于表达、操作简单的特点. 展开更多
关键词 可计算性逻辑 知识库系统 博弈 交互 资源
在线阅读 下载PDF
数字游戏中的协同——描述任务逻辑方法 被引量:3
19
作者 张巍 曾亮 +1 位作者 张会 李思昆 《计算机研究与发展》 EI CSCD 北大核心 2012年第7期1507-1513,共7页
传统的数字游戏只注重底层实体级别的交互协同,不支持多层次群体协同关系描述和协同规划描述,且很少有形式化理论支持.描述任务逻辑结合了描述逻辑的知识表示结构和任务逻辑的任务语义.描述任务逻辑方法对数字游戏中的协同关系和协同规... 传统的数字游戏只注重底层实体级别的交互协同,不支持多层次群体协同关系描述和协同规划描述,且很少有形式化理论支持.描述任务逻辑结合了描述逻辑的知识表示结构和任务逻辑的任务语义.描述任务逻辑方法对数字游戏中的协同关系和协同规划进行了形式化描述,给出了任务和规划可完成性的定义,以及联合策略下的规划可完成性的判定理论.通过示例说明,描述任务逻辑方法能够准确地描述虚拟群体高层指挥关系的任务交互语义,同时又能提供协同规划可完成性的可判定的推理验证服务. 展开更多
关键词 数字游戏 协同 群体 描述任务逻辑 非玩家角色
在线阅读 下载PDF
博弈逻辑应用研究 被引量:3
20
作者 张峰 《北方民族大学学报(哲学社会科学版)》 CSSCI 2010年第4期133-136,共4页
博弈逻辑是博弈论和逻辑学相交叉的一个崭新领域,研究理性的主体互动行动中的推理过程,即研究博弈中的推理问题。目前对博弈逻辑的理论和应用研究都处于起步阶段。博弈逻辑在许多领域应用广泛,并已深入到企业人力资源管理工作中。从系... 博弈逻辑是博弈论和逻辑学相交叉的一个崭新领域,研究理性的主体互动行动中的推理过程,即研究博弈中的推理问题。目前对博弈逻辑的理论和应用研究都处于起步阶段。博弈逻辑在许多领域应用广泛,并已深入到企业人力资源管理工作中。从系统论的角度研究博弈逻辑的应用,以及"有限理性"条件下的博弈逻辑应用研究将是新的发展趋势。 展开更多
关键词 博弈 博弈逻辑 应用
在线阅读 下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部