期刊文献+
共找到61篇文章
< 1 2 4 >
每页显示 20 50 100
泛逻辑学——逻辑学的大一统理论
1
作者 何华灿 何智涛 《智能系统学报》 北大核心 2025年第1期185-197,共13页
人工智能80年研究实践证明,不能用传统物质学科范式做指导,需要进行学科范式变革,接受信息学科范式的指导。相应的,作为智能学科基础理论之一的逻辑学,也需要进行逻辑范式变革,由数理形式逻辑主导变革为由数理辩证逻辑主导。本文阐述了... 人工智能80年研究实践证明,不能用传统物质学科范式做指导,需要进行学科范式变革,接受信息学科范式的指导。相应的,作为智能学科基础理论之一的逻辑学,也需要进行逻辑范式变革,由数理形式逻辑主导变革为由数理辩证逻辑主导。本文阐述了数理形式逻辑和数理辩证逻辑的区别和关系,确认两者是对立不充分的统一体,具有相互补充、各司其职的关系,本文提出的泛逻辑学,可以在数理形式逻辑的基础上,逐步把它拓展成为数理辩证逻辑。因为数理形式逻辑(标准逻辑、刚性逻辑)是全面受到“非此即彼性”约束的理想化的基本逻辑,而数理辩证逻辑是面向现实世界的具有“亦此亦彼性”、甚至“非此非彼性”的高级逻辑,基本逻辑是高级逻辑的一个特例,如同代数是微积分的特例一样。泛逻辑的使命就是在基本逻辑基础上,逐步放开某些逻辑因素的“非此非彼性”,引入“亦此亦彼性”、甚至“非此非彼性”,形成各种不同的非标准逻辑或超协调逻辑,这些逻辑都是整个数理辩证逻辑的组成部分。而且研究证明,柔性命题逻辑算子与柔性神经元可以存在一体两面的等价关系,神经网络可以不是黑箱,而具有明确的逻辑含义。最后指出,数理辩证逻辑是一个开放的逻辑体系,其边界可以不断扩张,没有上限。泛逻辑可以全面无死角地支撑智能学科范式变革的需要。 展开更多
关键词 形式逻辑 辩证逻辑 博弈逻辑 数理逻辑 人工智能 泛逻辑学 统一理论 柔性逻辑
在线阅读 下载PDF
关于休茨与迈耶play、game、sport三者关系论争的方法论置疑 被引量:4
2
作者 于涛 《体育学刊》 CAS 2000年第1期52-54,57,共4页
用辨证逻辑的方法 ,分析休茨与迈耶关于 play、game、sport三者关系论争中的方法论缺陷 。
关键词 体育哲学 休茨 迈耶 辨证逻辑 方法论置疑
在线阅读 下载PDF
数字游戏赋能中华文化国际传播:媒介逻辑、话语建构与实践路径 被引量:1
3
作者 邓祯 《编辑之友》 北大核心 2025年第3期29-34,共6页
数字游戏作为一种具有异域亲缘性的消费媒介和跨文化的情动媒介,成为中华文化国际传播的重要载体。数字游戏对中华文化国际传播进行了多模态、互动式、跨媒介话语的构建:一是征用多模态符号,增强中华文化的沉浸式体验;二是联结跨文化玩... 数字游戏作为一种具有异域亲缘性的消费媒介和跨文化的情动媒介,成为中华文化国际传播的重要载体。数字游戏对中华文化国际传播进行了多模态、互动式、跨媒介话语的构建:一是征用多模态符号,增强中华文化的沉浸式体验;二是联结跨文化玩家,促进中华文化的国际互动交流;三是运用跨媒介联动,形成中华文化国际传播矩阵。从“数字游戏出海”到“文化出海”的蜕变并非一蹴而就,需要活用中华文化资源,打造高质量数字游戏产品,树立跨媒介传播的战略意识,构建多元化的国际传播策略,加强数字游戏技术的创新应用,为中华文化国际传播提供稳固的技术支撑。 展开更多
关键词 数字游戏 国际传播 媒介逻辑 中华文化
在线阅读 下载PDF
多值交互时序逻辑的模型检验研究
4
作者 凌灿红 常亮 +1 位作者 周洁 潘海玉 《郑州大学学报(理学版)》 CAS 北大核心 2025年第2期78-84,共7页
为了对包含多值信息的开放系统进行形式化验证,在多值逻辑的基础上提出了多值交互时序逻辑并研究了该逻辑的模型检验问题。首先,引入多值并发博弈结构作为此类开放系统的模型,该模型的最大特点是可以建模带有多值信息的开放系统。其次,... 为了对包含多值信息的开放系统进行形式化验证,在多值逻辑的基础上提出了多值交互时序逻辑并研究了该逻辑的模型检验问题。首先,引入多值并发博弈结构作为此类开放系统的模型,该模型的最大特点是可以建模带有多值信息的开放系统。其次,给出基于此模型的多值交互时序逻辑的语法和语义,该逻辑可以描述带有多值信息的待验证属性。最后,基于不动点理论给出多值交互时序逻辑的模型检验算法,并对算法的时间复杂度进行了分析,结果表明,可以在多项式时间内完成对多值交互时序逻辑的模型检验。 展开更多
关键词 模型检验 多值逻辑 交互时序逻辑 并发博弈结构
在线阅读 下载PDF
基于Game理论的μ-演算公理化
5
作者 刘万伟 王戟 陈火旺 《计算机研究与发展》 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
6
作者 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
7
作者 邓晓芒 《四川大学学报(哲学社会科学版)》 CSSCI 北大核心 2024年第1期52-65,209,共15页
亚里士多德创立的形式逻辑在原始思维中有其“互渗律”的起源,因而是基于语言本身的隐喻本性的,但直到康德,以往的隐喻都被理解为“使陌生变得熟悉”,成为形式逻辑的工具论,隐喻的“使熟悉变成陌生”的创新性一面却被忽视了。弗雷格和... 亚里士多德创立的形式逻辑在原始思维中有其“互渗律”的起源,因而是基于语言本身的隐喻本性的,但直到康德,以往的隐喻都被理解为“使陌生变得熟悉”,成为形式逻辑的工具论,隐喻的“使熟悉变成陌生”的创新性一面却被忽视了。弗雷格和罗素等从逻辑中清除了陌生的东西,使之变得数理化、僵化而无创造性,必然遇到“罗素悖论”而无法自拔;维特根斯坦是一个转折,从早期的分析哲学的逻辑观到晚期摆脱工具主义而转向语言游戏,有了西方逻辑思维从背离诗性到回归诗性的苗头;最后,经过伽达默尔对这一苗头的修正和发挥,将其扩展为诠释学的“语言学转向”,为隐喻和诗性打开了一片广阔的天地。可惜,他受到海德格尔和基督教传统“圣言”的局限,最终未能就此将其创造性的对话学说提升到“语言学之后”的形而上学,而沉陷于传统存在论(本体论)的“物理学之后”中。 展开更多
关键词 形式逻辑 隐喻 诗性 语言游戏 语言学转向
在线阅读 下载PDF
面向车辆与参数服务器双向选择的联邦学习算法 被引量:1
8
作者 庄琲 韩志博 +2 位作者 聂锦标 李子怡 林尚静 《无线电通信技术》 北大核心 2024年第1期203-212,共10页
联邦学习框架正逐渐被广泛应用于车联网领域,针对车辆的移动性特点以及大量车辆联邦学习时同时接入参数服务器交互参数易产生的通信拥塞的问题,提出了一种基于模糊逻辑的车辆选择和基于演化博弈的参数服务器选择算法。通过设计模糊逻辑... 联邦学习框架正逐渐被广泛应用于车联网领域,针对车辆的移动性特点以及大量车辆联邦学习时同时接入参数服务器交互参数易产生的通信拥塞的问题,提出了一种基于模糊逻辑的车辆选择和基于演化博弈的参数服务器选择算法。通过设计模糊逻辑算法,考虑车辆的移动性、设备条件以及数据量因素来选择通信连接较稳定、计算能力较强和数据量多的车辆参与联邦学习。采用演化博弈进一步刻画选出的车辆自主决策选择参数服务器的过程,平衡联邦学习模型准确度以及产生的通信和计算成本,从而避免通信拥塞并最大化车辆个体利益和整体利益。仿真验证了大量车辆场景下所提出算法的性能,实现模型训练的低成本、高精度。 展开更多
关键词 车联网 联邦学习 演化博弈 模糊逻辑 复制者动态
在线阅读 下载PDF
自动机,逻辑与博弈 被引量:6
9
作者 沈浩 孙永强 《计算机工程》 CAS CSCD 北大核心 2003年第20期9-11,共3页
讨论了特定的自动机、自动机的识别能力、逻辑的表达能力和博弈思想的关系。使用博弈思想可以比较容易地证明一元二阶逻辑(S1S和S2S)的可决定性。主要考虑线性时间(linear time)与分支时间(branch time)两种情况,通过这些逻辑与别的时... 讨论了特定的自动机、自动机的识别能力、逻辑的表达能力和博弈思想的关系。使用博弈思想可以比较容易地证明一元二阶逻辑(S1S和S2S)的可决定性。主要考虑线性时间(linear time)与分支时间(branch time)两种情况,通过这些逻辑与别的时态逻辑的表达能力的等价性可以证明其它逻辑也具有决定性,可以设计相应的自动机去解决模型检查(Model Checking)问题。 展开更多
关键词 自动机 博弈 时态逻辑 互模拟 模型检查
在线阅读 下载PDF
论博弈逻辑的分析方法——纳什均衡分析法 被引量:19
10
作者 张峰 《北京理工大学学报(社会科学版)》 CSSCI 2008年第2期95-99,共5页
博弈逻辑是逻辑学研究的一个崭新领域,目前处于初创时期。文章探讨了博弈逻辑的基本分析方法——纳什均衡分析法,并对其进行了评价。
关键词 博弈逻辑 纳什均衡 分析方法
在线阅读 下载PDF
博弈架构下我国食品安全问题研究 被引量:4
11
作者 王志远 黎昌珍 《安徽农业科学》 CAS 2012年第15期8752-8755,共4页
界定了商品真假(食品是否安全)的一般内涵,分别对单商家、双商家、多商家商品出售进行了博弈分析,表明在无相关约束机制下,商家出售假货(问题食品)是博弈的必然结果,会使食品安全问题日益突出。提出了解决食品安全问题的博弈路径:需引... 界定了商品真假(食品是否安全)的一般内涵,分别对单商家、双商家、多商家商品出售进行了博弈分析,表明在无相关约束机制下,商家出售假货(问题食品)是博弈的必然结果,会使食品安全问题日益突出。提出了解决食品安全问题的博弈路径:需引入健全有效的监管机制,改变原有的博弈结构,食品安全问题自然会得到解决;另外,道德机制的引入,使全社会流淌着道德的血液,是解决该问题的一个低成本甚至无成本的补充措施。 展开更多
关键词 食品安全 博弈论 博弈逻辑 内在成因 解决机制
在线阅读 下载PDF
论静态与动态博弈中的逻辑推理 被引量:8
12
作者 吴新民 《求是学刊》 CSSCI 北大核心 2008年第2期51-55,共5页
博弈研究的目的是揭示人们互动行为的逻辑规律。不论是双主体的零和博弈与多主体的非零和博弈,还是不完美信息的静态、动态博弈与完美信息的静态、动态博弈,它们的实质都是策略分析与逻辑推理的运用。文章在简要介绍蓬勃兴起的博弈逻辑... 博弈研究的目的是揭示人们互动行为的逻辑规律。不论是双主体的零和博弈与多主体的非零和博弈,还是不完美信息的静态、动态博弈与完美信息的静态、动态博弈,它们的实质都是策略分析与逻辑推理的运用。文章在简要介绍蓬勃兴起的博弈逻辑基础上,论述了静态博弈与动态博弈中的逻辑推理。 展开更多
关键词 博弈逻辑 静态博弈 动态博弈 逻辑推理
在线阅读 下载PDF
知识库系统的逻辑基础 被引量:17
13
作者 许文艳 刘三阳 《计算机学报》 EI CSCD 北大核心 2009年第11期2123-2129,共7页
针对知识库系统的研究现状和存在的问题,分析了用经典一阶谓词逻辑作为知识库系统逻辑基础的不充分性,根据知识库系统的特点和需求,指出可计算性逻辑既能为知识库系统提供合理的逻辑基础,又能弥补经典逻辑作为知识库系统逻辑基础的不足... 针对知识库系统的研究现状和存在的问题,分析了用经典一阶谓词逻辑作为知识库系统逻辑基础的不充分性,根据知识库系统的特点和需求,指出可计算性逻辑既能为知识库系统提供合理的逻辑基础,又能弥补经典逻辑作为知识库系统逻辑基础的不足.并在此基础上用证明论方法,建立了一个基于可计算性逻辑的完备子集CL4的知识库系统的公理系统,显示出易于表达、操作简单的特点. 展开更多
关键词 可计算性逻辑 知识库系统 博弈 交互 资源
在线阅读 下载PDF
数字游戏中的协同——描述任务逻辑方法 被引量:3
14
作者 张巍 曾亮 +1 位作者 张会 李思昆 《计算机研究与发展》 EI CSCD 北大核心 2012年第7期1507-1513,共7页
传统的数字游戏只注重底层实体级别的交互协同,不支持多层次群体协同关系描述和协同规划描述,且很少有形式化理论支持.描述任务逻辑结合了描述逻辑的知识表示结构和任务逻辑的任务语义.描述任务逻辑方法对数字游戏中的协同关系和协同规... 传统的数字游戏只注重底层实体级别的交互协同,不支持多层次群体协同关系描述和协同规划描述,且很少有形式化理论支持.描述任务逻辑结合了描述逻辑的知识表示结构和任务逻辑的任务语义.描述任务逻辑方法对数字游戏中的协同关系和协同规划进行了形式化描述,给出了任务和规划可完成性的定义,以及联合策略下的规划可完成性的判定理论.通过示例说明,描述任务逻辑方法能够准确地描述虚拟群体高层指挥关系的任务交互语义,同时又能提供协同规划可完成性的可判定的推理验证服务. 展开更多
关键词 数字游戏 协同 群体 描述任务逻辑 非玩家角色
在线阅读 下载PDF
博弈逻辑应用研究 被引量:3
15
作者 张峰 《北方民族大学学报(哲学社会科学版)》 CSSCI 2010年第4期133-136,共4页
博弈逻辑是博弈论和逻辑学相交叉的一个崭新领域,研究理性的主体互动行动中的推理过程,即研究博弈中的推理问题。目前对博弈逻辑的理论和应用研究都处于起步阶段。博弈逻辑在许多领域应用广泛,并已深入到企业人力资源管理工作中。从系... 博弈逻辑是博弈论和逻辑学相交叉的一个崭新领域,研究理性的主体互动行动中的推理过程,即研究博弈中的推理问题。目前对博弈逻辑的理论和应用研究都处于起步阶段。博弈逻辑在许多领域应用广泛,并已深入到企业人力资源管理工作中。从系统论的角度研究博弈逻辑的应用,以及"有限理性"条件下的博弈逻辑应用研究将是新的发展趋势。 展开更多
关键词 博弈 博弈逻辑 应用
在线阅读 下载PDF
镶嵌式博弈与公共品提供结构以王村为例 被引量:4
16
作者 王水雄 《社会》 CSSCI 北大核心 2009年第3期24-51,共28页
政府和市场通常被理解为公共品提供的两个主要机制,但这背后作为基础的还是两个逻辑:技术逻辑和制度逻辑,两者通常交互作用在一起。政府和社会机制主要依赖于制度逻辑,有别于政府因素,在制度逻辑中,"社会因素"能给公共品提供... 政府和市场通常被理解为公共品提供的两个主要机制,但这背后作为基础的还是两个逻辑:技术逻辑和制度逻辑,两者通常交互作用在一起。政府和社会机制主要依赖于制度逻辑,有别于政府因素,在制度逻辑中,"社会因素"能给公共品提供带来不同的可能性。镶嵌式博弈是制度逻辑中将一系列因素组织起来的核心机制,同时又因应不同的内、外部组织结构和人际关系,呈现出不同的博弈模型,包括慈父主义模型、智猪博弈模型、关联博弈模型等。农村公共品提供的研究因为很少深入到村民的视角,以上的机制通常也就难以清晰呈现。本文基于对王村桥梁修建和饮水工程问题的考察,更清晰地看到了当前中国农村公共品提供中的这一结构问题。从该主题出发,还能引发有关市场与社会问题的进一步讨论。 展开更多
关键词 公共品提供 技术逻辑 制度逻辑 镶嵌式博弈
在线阅读 下载PDF
交互时态信念逻辑及其模型检测 被引量:3
17
作者 宁正元 胡山立 赖贤伟 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第2期171-178,共8页
交互时态认知逻辑(ATEL)是对交互时态逻辑(ATL)的扩展,但是它只刻画了知识,没有探讨信念的刻画问题.给出广义并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种信念算子,在广义并发博弈结构下给出其语义,建立了交互时态信念逻辑(... 交互时态认知逻辑(ATEL)是对交互时态逻辑(ATL)的扩展,但是它只刻画了知识,没有探讨信念的刻画问题.给出广义并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种信念算子,在广义并发博弈结构下给出其语义,建立了交互时态信念逻辑(ATBL).给出一个多项式时间模型检测算法,并证明了ATBL的模型检测复杂度为PTIME-complete;给出并证明了ATBL的若干良好性质,比较了相关工作.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具. 展开更多
关键词 交互时态逻辑 并发博弈结构 模型检测 知识 信念
在线阅读 下载PDF
由发誓达至互信建立的内在机制——人类社会中的发誓行为及其博弈分析 被引量:4
18
作者 王志远 《征信》 北大核心 2013年第1期22-26,共5页
发誓是人类社会生活中常见的一种言语行为现象,其出现源自于信任的不足。发誓的一般结构包括发誓人、发誓对象、发誓内容、发誓约束。发誓的目的是通过发誓使发誓对象相信发誓内容,使发誓内容成为双方的公共信念,继而建立互信,从而使他... 发誓是人类社会生活中常见的一种言语行为现象,其出现源自于信任的不足。发誓的一般结构包括发誓人、发誓对象、发誓内容、发誓约束。发誓的目的是通过发誓使发誓对象相信发誓内容,使发誓内容成为双方的公共信念,继而建立互信,从而使他们在博弈或后继互动中获取最大收益。这是建立社会信用的一种微观路径。由发誓建构互信的博弈机制是发誓人的发誓态度应当导致发誓人与发誓对象选择不同的策略,且他们的偏好或策略选择具有一致性。此外,他人在场见证发誓能够增强发誓人与发誓对象之间公共信念的强度,这是一种辅助的反反悔机制。 展开更多
关键词 发誓 言语行为 互信 博弈机制 行动逻辑
在线阅读 下载PDF
博弈结构重建与社会信用的形成 被引量:4
19
作者 王志远 《征信》 北大核心 2012年第4期7-11,共5页
群体行为演化模拟表明,群体中失信者的存在会导致所有成员的失信。从博弈论的角度看,如果不存在相关机制,或者即使存在但没有起到应有的作用,那么失信会成为每个人的占优策略,这具有必然性。引入相应机制如奖惩机制等,改变原有博弈结构... 群体行为演化模拟表明,群体中失信者的存在会导致所有成员的失信。从博弈论的角度看,如果不存在相关机制,或者即使存在但没有起到应有的作用,那么失信会成为每个人的占优策略,这具有必然性。引入相应机制如奖惩机制等,改变原有博弈结构,使守信成为博弈的唯一纳什均衡,使守信成为每个人的优势策略,社会信用将会全面形成。 展开更多
关键词 社会信用 博弈结构 博弈论 行动逻辑 选择逻辑
在线阅读 下载PDF
中国体育管理体制逻辑的杂糅与利益博弈的异化 被引量:2
20
作者 吴洪革 马晓欣 《沈阳体育学院学报》 CSSCI 北大核心 2014年第1期12-15,共4页
从国家逻辑、市场逻辑和混合逻辑的角度对中国体育现行管理体制进行了分析,认为国家逻辑与市场逻辑的杂糅导致了体育管理体制内在逻辑的混乱;而各种利益主体利益博弈的异化成为导致中国体育管理体制出现危机的主因。指出只有对营利逻辑... 从国家逻辑、市场逻辑和混合逻辑的角度对中国体育现行管理体制进行了分析,认为国家逻辑与市场逻辑的杂糅导致了体育管理体制内在逻辑的混乱;而各种利益主体利益博弈的异化成为导致中国体育管理体制出现危机的主因。指出只有对营利逻辑与非营利逻辑进行思考才能超越国家逻辑与市场逻辑,通过博弈的多赢才能解决各种利益主体博弈异化的问题。 展开更多
关键词 体育管理体制 逻辑杂糅 利益博弈 异化
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部