期刊文献+
共找到181篇文章
< 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
现代逻辑思维对诗性的背离与回归——从罗素、维特根斯坦到伽达默尔 被引量:2
4
作者 邓晓芒 《四川大学学报(哲学社会科学版)》 CSSCI 北大核心 2024年第1期52-65,209,共15页
亚里士多德创立的形式逻辑在原始思维中有其“互渗律”的起源,因而是基于语言本身的隐喻本性的,但直到康德,以往的隐喻都被理解为“使陌生变得熟悉”,成为形式逻辑的工具论,隐喻的“使熟悉变成陌生”的创新性一面却被忽视了。弗雷格和... 亚里士多德创立的形式逻辑在原始思维中有其“互渗律”的起源,因而是基于语言本身的隐喻本性的,但直到康德,以往的隐喻都被理解为“使陌生变得熟悉”,成为形式逻辑的工具论,隐喻的“使熟悉变成陌生”的创新性一面却被忽视了。弗雷格和罗素等从逻辑中清除了陌生的东西,使之变得数理化、僵化而无创造性,必然遇到“罗素悖论”而无法自拔;维特根斯坦是一个转折,从早期的分析哲学的逻辑观到晚期摆脱工具主义而转向语言游戏,有了西方逻辑思维从背离诗性到回归诗性的苗头;最后,经过伽达默尔对这一苗头的修正和发挥,将其扩展为诠释学的“语言学转向”,为隐喻和诗性打开了一片广阔的天地。可惜,他受到海德格尔和基督教传统“圣言”的局限,最终未能就此将其创造性的对话学说提升到“语言学之后”的形而上学,而沉陷于传统存在论(本体论)的“物理学之后”中。 展开更多
关键词 形式逻辑 隐喻 诗性 语言游戏 语言学转向
下载PDF
面向车辆与参数服务器双向选择的联邦学习算法 被引量:1
5
作者 庄琲 韩志博 +2 位作者 聂锦标 李子怡 林尚静 《无线电通信技术》 北大核心 2024年第1期203-212,共10页
联邦学习框架正逐渐被广泛应用于车联网领域,针对车辆的移动性特点以及大量车辆联邦学习时同时接入参数服务器交互参数易产生的通信拥塞的问题,提出了一种基于模糊逻辑的车辆选择和基于演化博弈的参数服务器选择算法。通过设计模糊逻辑... 联邦学习框架正逐渐被广泛应用于车联网领域,针对车辆的移动性特点以及大量车辆联邦学习时同时接入参数服务器交互参数易产生的通信拥塞的问题,提出了一种基于模糊逻辑的车辆选择和基于演化博弈的参数服务器选择算法。通过设计模糊逻辑算法,考虑车辆的移动性、设备条件以及数据量因素来选择通信连接较稳定、计算能力较强和数据量多的车辆参与联邦学习。采用演化博弈进一步刻画选出的车辆自主决策选择参数服务器的过程,平衡联邦学习模型准确度以及产生的通信和计算成本,从而避免通信拥塞并最大化车辆个体利益和整体利益。仿真验证了大量车辆场景下所提出算法的性能,实现模型训练的低成本、高精度。 展开更多
关键词 车联网 联邦学习 演化博弈 模糊逻辑 复制者动态
下载PDF
我国冬奥项目跨项选材的生成逻辑、功能定位与制度供给构想 被引量:1
6
作者 孙芳 李赞 +1 位作者 谢云 李鑫 《山东体育科技》 2024年第4期35-44,共10页
跨项选材是我国备战2022年北京冬奥会的创新举措,为我国运动员选材和培养模式提供了新思路。该文运用文献资料法和逻辑分析法等,系统梳理了我国冬奥项目跨项选材的生成逻辑和功能定位,并基于其功能定位的彰显,从制度供给构想层面进行了... 跨项选材是我国备战2022年北京冬奥会的创新举措,为我国运动员选材和培养模式提供了新思路。该文运用文献资料法和逻辑分析法等,系统梳理了我国冬奥项目跨项选材的生成逻辑和功能定位,并基于其功能定位的彰显,从制度供给构想层面进行了分析探讨。研究认为:我国冬奥项目跨项选材的生成逻辑主要体现在历史逻辑、理论逻辑、现实逻辑和实践逻辑;其功能定位表现为为冬奥项目参赛提供人力助力、为传统的冬奥选材提供有益补充、促进冬奥不同项目的均衡发展、拓宽运动员就业领域、助推大众冰雪运动规模化发展五个方面。在制度供给构想层面,该文从选材、训练、竞赛和管理四方面为跨项选材提供制度保障,以期为我国竞技体育跨项选材的高效发展注入新动能。 展开更多
关键词 冬奥项目 跨项选材 生成逻辑 功能定位 制度供给构想
下载PDF
The Role of Game in English Teaching
7
《保山学院学报》 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
全文增补中
维特根斯坦的反讽写作:书写一种作为语言游戏方法的哲学文本风格
8
作者 王妍 《贵阳学院学报(社会科学版)》 2024年第2期69-75,共7页
后期维特根斯坦批判以逻辑作为语言意义根基的语言观,以解构由逻辑命令来决定和保存的形而上学基础。他的哲学文本因而不仅仅是对某个观点的阐述,还是一种关于批判方法的书写,以及带有浓郁反讽和否定色彩以解构元叙事的风格化书写。维... 后期维特根斯坦批判以逻辑作为语言意义根基的语言观,以解构由逻辑命令来决定和保存的形而上学基础。他的哲学文本因而不仅仅是对某个观点的阐述,还是一种关于批判方法的书写,以及带有浓郁反讽和否定色彩以解构元叙事的风格化书写。维特根斯坦在其哲学文本中惯常使用重复与悖反修辞,以及反讽性的自我引用和自我否定式表达,在看起来最正常和理所当然的词汇及意义中发现偶然性和不稳定性因素,并对之加以拆解、打乱和反讽性重组,从而对自我同一性的语言符号进行解构,最终通过对于意义和科学真理间的同一性这一形而上学逻辑的否定,在语言游戏中打开了语言意义的可能性场域。 展开更多
关键词 修辞 逻辑 形而上学 反讽 语言游戏
下载PDF
数字游戏赋能高校思想政治教育数字化转型:耦合逻辑、问题透视与实践路向 被引量:2
9
作者 谈文彩 《中国矿业大学学报(社会科学版)》 CSSCI 2024年第1期41-54,共14页
数字游戏作为当代大学生主要的文化消费和娱乐休闲方式,已经成为形塑大学生社交关系和价值序列的关键变量,映射了当代大学生数字化生活的诉求转向。数字游戏是积累多源、异构、海量数据的有效载体,促进场域融通的持续性资源和链接多维... 数字游戏作为当代大学生主要的文化消费和娱乐休闲方式,已经成为形塑大学生社交关系和价值序列的关键变量,映射了当代大学生数字化生活的诉求转向。数字游戏是积累多源、异构、海量数据的有效载体,促进场域融通的持续性资源和链接多维场景的技术手段,具有升维数字化转型的独特优势。然而,囿于数字游戏与高校思想政治教育的嵌合张力,数字游戏与高校思想政治教育数字化转型之间存在的观念裂痕与理论缺位、技术错位与治理异步、话语冲突与叙事困局等困境,致使高校思想政治教育对数字游戏形成被动静默形象,遮蔽了数字游戏的数据潜力、技术价值和场景优势。因此,数字游戏与高校思想政治教育数字化转型耦合共生的基本要义在于转变思想观念,主动开辟数字游戏新阵地;驱动数字游戏内嵌于高校思想政治教育数字化转型的演变逻辑,释放耦合动力;将主流叙事的认知图式嵌入数字游戏文化的新范式,通过情景叠加的叙事触达学生生活世界,在数字游戏与高校思想政治教育数字化转型的耦合共生中释放共创的内驱力。 展开更多
关键词 数字游戏 高校思想政治教育 数字化转型 耦合逻辑 问题透视 实践路向
下载PDF
基于层次逻辑博弈Petri网地铁应急管理系统建模与分析
10
作者 刘伟 闫哲 《数学建模及其应用》 2024年第2期15-26,共12页
为协调地铁应急管理系统中各方利益关系,提高应急管理效率,提出层次逻辑博弈Petri网.提出层次模型构建方法,引入替代变迁代替子网,在子网中定义相应入口库所和出口库所;提出替代变迁启用算法、新可达图生成算法和效用矩阵分析方法;基于... 为协调地铁应急管理系统中各方利益关系,提高应急管理效率,提出层次逻辑博弈Petri网.提出层次模型构建方法,引入替代变迁代替子网,在子网中定义相应入口库所和出口库所;提出替代变迁启用算法、新可达图生成算法和效用矩阵分析方法;基于层次逻辑博弈Petri网,构建地铁应急管理系统的整体博弈关系模型,以应急决策机构和公众博弈子网为例,分析混合策略博弈过程,验证模型的正确性和可行性. 展开更多
关键词 逻辑博弈Petri网 地铁应急管理 博弈论 层次模型
下载PDF
自动机,逻辑与博弈 被引量:6
11
作者 沈浩 孙永强 《计算机工程》 CAS CSCD 北大核心 2003年第20期9-11,共3页
讨论了特定的自动机、自动机的识别能力、逻辑的表达能力和博弈思想的关系。使用博弈思想可以比较容易地证明一元二阶逻辑(S1S和S2S)的可决定性。主要考虑线性时间(linear time)与分支时间(branch time)两种情况,通过这些逻辑与别的时... 讨论了特定的自动机、自动机的识别能力、逻辑的表达能力和博弈思想的关系。使用博弈思想可以比较容易地证明一元二阶逻辑(S1S和S2S)的可决定性。主要考虑线性时间(linear time)与分支时间(branch time)两种情况,通过这些逻辑与别的时态逻辑的表达能力的等价性可以证明其它逻辑也具有决定性,可以设计相应的自动机去解决模型检查(Model Checking)问题。 展开更多
关键词 自动机 博弈 时态逻辑 互模拟 模型检查
下载PDF
博弈行为中的演绎与归纳推理及其问题 被引量:16
12
作者 潘天群 《自然辩证法研究》 CSSCI 北大核心 2003年第3期38-43,53,共7页
博弈逻辑(gamelogic)是随着博弈论的迅速发展而形成的一个新的学科,它是一行动逻辑。博弈逻辑研究的是理性的人在互动行动中即博弈中的推理问题。在博弈行为中存在演绎推理和归纳推理。正如在传统逻辑中存在逻辑悖论一样,博弈逻辑中同... 博弈逻辑(gamelogic)是随着博弈论的迅速发展而形成的一个新的学科,它是一行动逻辑。博弈逻辑研究的是理性的人在互动行动中即博弈中的推理问题。在博弈行为中存在演绎推理和归纳推理。正如在传统逻辑中存在逻辑悖论一样,博弈逻辑中同样存在悖论或者"问题"。博弈参与人运用演绎推理时存在逆向归纳法悖论,而运用归纳推理时存在归纳是否有效的问题。 展开更多
关键词 博弈行为 演绎 归纳推理 逆向归纳法悖论 博弈逻辑
下载PDF
论博弈逻辑的分析方法——纳什均衡分析法 被引量:19
13
作者 张峰 《北京理工大学学报(社会科学版)》 CSSCI 2008年第2期95-99,共5页
博弈逻辑是逻辑学研究的一个崭新领域,目前处于初创时期。文章探讨了博弈逻辑的基本分析方法——纳什均衡分析法,并对其进行了评价。
关键词 博弈逻辑 纳什均衡 分析方法
下载PDF
博弈架构下我国食品安全问题研究 被引量:4
14
作者 王志远 黎昌珍 《安徽农业科学》 CAS 2012年第15期8752-8755,共4页
界定了商品真假(食品是否安全)的一般内涵,分别对单商家、双商家、多商家商品出售进行了博弈分析,表明在无相关约束机制下,商家出售假货(问题食品)是博弈的必然结果,会使食品安全问题日益突出。提出了解决食品安全问题的博弈路径:需引... 界定了商品真假(食品是否安全)的一般内涵,分别对单商家、双商家、多商家商品出售进行了博弈分析,表明在无相关约束机制下,商家出售假货(问题食品)是博弈的必然结果,会使食品安全问题日益突出。提出了解决食品安全问题的博弈路径:需引入健全有效的监管机制,改变原有的博弈结构,食品安全问题自然会得到解决;另外,道德机制的引入,使全社会流淌着道德的血液,是解决该问题的一个低成本甚至无成本的补充措施。 展开更多
关键词 食品安全 博弈论 博弈逻辑 内在成因 解决机制
下载PDF
论静态与动态博弈中的逻辑推理 被引量:8
15
作者 吴新民 《求是学刊》 CSSCI 北大核心 2008年第2期51-55,共5页
博弈研究的目的是揭示人们互动行为的逻辑规律。不论是双主体的零和博弈与多主体的非零和博弈,还是不完美信息的静态、动态博弈与完美信息的静态、动态博弈,它们的实质都是策略分析与逻辑推理的运用。文章在简要介绍蓬勃兴起的博弈逻辑... 博弈研究的目的是揭示人们互动行为的逻辑规律。不论是双主体的零和博弈与多主体的非零和博弈,还是不完美信息的静态、动态博弈与完美信息的静态、动态博弈,它们的实质都是策略分析与逻辑推理的运用。文章在简要介绍蓬勃兴起的博弈逻辑基础上,论述了静态博弈与动态博弈中的逻辑推理。 展开更多
关键词 博弈逻辑 静态博弈 动态博弈 逻辑推理
下载PDF
论战国时代合纵连横的博弈逻辑思想 被引量:3
16
作者 刘邦凡 丁萍 《徐州师范大学学报(哲学社会科学版)》 2008年第6期80-84,共5页
博弈逻辑是研究理性的行动者或参与者在互动的过程中如何选择策略、如何作出行动的逻辑,它可以为管理者提供一种新的视角、视点,使之在实践中反思自己的行为,从而提高工作效率。战国时代的七雄争霸,可视为博弈论中典型的"囚徒困境&... 博弈逻辑是研究理性的行动者或参与者在互动的过程中如何选择策略、如何作出行动的逻辑,它可以为管理者提供一种新的视角、视点,使之在实践中反思自己的行为,从而提高工作效率。战国时代的七雄争霸,可视为博弈论中典型的"囚徒困境"现象,各国只注重自身利益、眼前利益,忽略联盟的集体利益、长远利益,缺乏长久合作的诚意,以致除秦之外的六国均陷入囚徒困境。六国的博弈失策昭示人们:在历史的博弈中,国家的长远利益与眼前利益是辩正统一的,只有二者合一,才能促进国家的发展和强盛。 展开更多
关键词 战国时代 博弈 博弈逻辑 合纵 连横
下载PDF
博弈理论框架:一个理论体系的建构 被引量:15
17
作者 陈建先 《重庆理工大学学报(社会科学)》 CAS 2018年第1期88-95,共8页
从现代博弈论的研究价值及研究现状出发,梳理博弈历史、中外博弈论学界探讨的主体内容,寻找博弈论的逻辑起点(博弈策略),创建博弈论的逻辑结构,提出博弈论理论体系,即博弈机理、博弈策略和博弈均衡的逻辑结构,从而形成心脉相通、血肉相... 从现代博弈论的研究价值及研究现状出发,梳理博弈历史、中外博弈论学界探讨的主体内容,寻找博弈论的逻辑起点(博弈策略),创建博弈论的逻辑结构,提出博弈论理论体系,即博弈机理、博弈策略和博弈均衡的逻辑结构,从而形成心脉相通、血肉相联、整体贯一的博弈论理论体系。 展开更多
关键词 博弈论 逻辑起点 博弈策略 理论体系
下载PDF
知识库系统的逻辑基础 被引量:17
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 下一页 到第
使用帮助 返回顶部