期刊文献+
共找到533篇文章
< 1 2 27 >
每页显示 20 50 100
在司法工作中强化推理逻辑联系的方法论研究
1
作者 沈奋强 《云南社会科学》 CSSCI 北大核心 1999年第S1期53-57,共5页
关键词 或然性推理 推理逻辑 必然性推理 国家工作人员 司法工作 方法论 破坏金融管理秩序罪 作案人 三段论 贪污罪
在线阅读 下载PDF
Sperber和Wilson的语用推理逻辑 被引量:19
2
作者 熊学亮 《山东外语教学》 1997年第2期21-25,共5页
1.逻辑推理的一般性质。推理是一种逻辑过程,逻辑形式撇开具体的、个别的思维内容,从形式结构方面表达概念、判断和推理及其正确联系的规律。即从许多具体的、个别的思维形式中抽取出一般的逻辑形式和规律、规则。这些逻辑形式和规... 1.逻辑推理的一般性质。推理是一种逻辑过程,逻辑形式撇开具体的、个别的思维内容,从形式结构方面表达概念、判断和推理及其正确联系的规律。即从许多具体的、个别的思维形式中抽取出一般的逻辑形式和规律、规则。这些逻辑形式和规律、规则都是客观现实的反映。 展开更多
关键词 规律 形式结构 逻辑推理 规则 一般性 过程 联系 语用推理 客观现实 思维内容
在线阅读 下载PDF
可解释性逻辑推理数据集的构建和研究
3
作者 肖宇 肖菁 +3 位作者 林桂锦 倪荣森 冼嘉荣 袁基保 《计算机工程与应用》 北大核心 2025年第4期114-121,共8页
逻辑推理能力对于机器和人类理解自然语言具有重要的意义。逻辑推理问题的解释是对逻辑推理过程的阐述和说明,但在已有的测试机器逻辑推理能力的数据集中缺乏这种解释信息。针对该问题,创建了一个可解释性逻辑推理的中英文数据集(explai... 逻辑推理能力对于机器和人类理解自然语言具有重要的意义。逻辑推理问题的解释是对逻辑推理过程的阐述和说明,但在已有的测试机器逻辑推理能力的数据集中缺乏这种解释信息。针对该问题,创建了一个可解释性逻辑推理的中英文数据集(explainable logical reasoning,Ex-LoR),该数据集包含3411个逻辑推理问题与解释数据,并按照推理方法将这些问题分为六类。共设计两个任务:逻辑推理问答任务和解释生成任务。利用多个语言模型在该数据集上进行实验与分析,实验结果表明,现有语言模型尚不能很好地对逻辑推理问题进行解答并生成合理的解释,因此让机器掌握逻辑推理能力具有一定的挑战性。提出的逻辑推理数据集与实验结果可作为后续研究的基准。 展开更多
关键词 逻辑推理 中英文数据集 可解释性 自然语言处理
在线阅读 下载PDF
融合对比学习与轻量化图网络在逻辑推理应用
4
作者 李想 麻斯亮 +3 位作者 施晨 龚芷仪 黄俊 许勇 《小型微型计算机系统》 北大核心 2025年第8期1829-1837,共9页
机器阅读理解是自然语言处理中的重要任务,不仅需要理解文本,而且需要依据复杂的逻辑结构进行推理.现有的逻辑推理模型通常通过构建文本的图结构并提取隐性或显性特征,但这些方法常因关注单一特征类型而受限,同时传统图卷积网络易导致... 机器阅读理解是自然语言处理中的重要任务,不仅需要理解文本,而且需要依据复杂的逻辑结构进行推理.现有的逻辑推理模型通常通过构建文本的图结构并提取隐性或显性特征,但这些方法常因关注单一特征类型而受限,同时传统图卷积网络易导致节点特征平滑和收敛速度慢等问题.针对这些挑战,本文提出了一种融合对比学习与轻量化图网络模型.该模型在训练初期通过融入提示词工程思想加速文本理解;对文本构建语篇图与结构图,利用轻量化图卷积网络和图注意力转换器网络对各图进行特征提取,并通过动态注意力机制融合不同图的节点特征.此外,本文结合对比学习增强模型识别错误逻辑关系的能力.最后,本文在ReClor与LogiQA数据集上的大量实验表明,本文的模型性能优于基线模型. 展开更多
关键词 机器阅读理解 逻辑推理 对比学习 图网络
在线阅读 下载PDF
基于命题逻辑与数据增强的逻辑推理答题方法
5
作者 张杰 张虎 王宇杰 《计算机工程与设计》 北大核心 2025年第1期190-197,共8页
为解决现有面向机器阅读理解的逻辑推理方法对文本中存在的深层逻辑关系利用不足与现有的逻辑推理数据集规模较小的问题,提出一种基于命题逻辑与数据增强的逻辑推理答题方法。将命题逻辑引入到逻辑推理任务,构建符合文本逻辑推理的新规... 为解决现有面向机器阅读理解的逻辑推理方法对文本中存在的深层逻辑关系利用不足与现有的逻辑推理数据集规模较小的问题,提出一种基于命题逻辑与数据增强的逻辑推理答题方法。将命题逻辑引入到逻辑推理任务,构建符合文本逻辑推理的新规则,将其应用到文本逻辑图的扩充过程中,增加文本中可利用的深层逻辑关系;结合文本中存在的逻辑关系,提出并列关系替换、推理词和推理词组替换的数据增强策略。实验结果表明,该方法比以往的方法取得了更好的效果。 展开更多
关键词 阅读理解 逻辑推理 逻辑关系 命题逻辑 文本逻辑 数据增强 神经推理 符号推理
在线阅读 下载PDF
基于暂态关键特征逻辑推理的复杂电网响应驱动暂态稳定性判别 被引量:6
6
作者 杨浩 伍柏臻 +3 位作者 刘铖 孙正龙 蔡国伟 刘萌 《电工技术学报》 EI CSCD 北大核心 2024年第13期3943-3955,共13页
暂态稳定实时性判别是响应式稳定控制的核心,新能源和直流输电并网下电网的结构、运行和响应特征复杂程度骤增,现有实时性判别方法的准确性和泛化性面临挑战。该文针对含新能源和直流输电的复杂电网暂态稳定性,提出了一种基于可量测暂... 暂态稳定实时性判别是响应式稳定控制的核心,新能源和直流输电并网下电网的结构、运行和响应特征复杂程度骤增,现有实时性判别方法的准确性和泛化性面临挑战。该文针对含新能源和直流输电的复杂电网暂态稳定性,提出了一种基于可量测暂态能量特征的自适应逻辑推理判稳方法,实现无电网模型依赖且具有可解释性的实时性稳定性判别。首先,基于发电机转子运动的能量关系,结合特勒根定理构建了面向复杂电网响应信息的能量函数并论证了其守恒性;然后,根据系统动能-势能能量转换特征定义了稳定预判因数,并结合最大功角差构成了判稳关键特征量,提出了基于自适应模糊推理神经网络(ANFIS)的关键特征量与稳定状态之间的映射模型,实现了暂态稳定性实时推理评估;最后,在简单系统中量化分析了关键特征量与系统稳定性间的关系,并在修改后含新能源与直流输电的IEEE10机39节点系统中验证了该文所提方法的有效性与泛化性。 展开更多
关键词 暂态稳定性 响应驱动 特勒根定理 能量函数 复杂电网 自适应逻辑推理
在线阅读 下载PDF
基于概率逻辑推理的高阶互补云API推荐方法 被引量:1
7
作者 陈真 谢登辉 +3 位作者 王小龙 孙梦梦 刘啸威 申利民 《计算机学报》 EI CAS CSCD 北大核心 2024年第8期1922-1948,共27页
云时代,云API作为服务交付、数据交换和能力复制的最佳载体,已成长为当今面向服务软件开发和企业数字化转型不可或缺的核心要素.然而动态开放网络中持续增长的云API在给开发者提供了更多选择的同时,也将其淹没在海量的云API选择之中,设... 云时代,云API作为服务交付、数据交换和能力复制的最佳载体,已成长为当今面向服务软件开发和企业数字化转型不可或缺的核心要素.然而动态开放网络中持续增长的云API在给开发者提供了更多选择的同时,也将其淹没在海量的云API选择之中,设计有效的云API推荐方法就此成为API经济健康发展中迫切要解决的现实问题.但是,现有研究主要利用搜索关键词、服务质量和调用偏好进行建模,生成质量高功能单一的云API推荐列表,没有考虑服务化软件实际开发中开发者对多元化高阶互补云API的客观需要.高阶互补云API推荐旨在为多个查询云API生成多元互补云API列表,要求推荐结果与查询云API均互补,以满足开发者的联合需求.针对此问题,本文提出基于概率逻辑推理的高阶互补云API推荐方法(Probabilistic Logic Reasoning for High-order Complementary Cloud API Recom⁃mendation,PLR4HCCR).首先,通过云API生态真实数据分析论证云API互补推荐需求的必要性和互补关系建模中替补噪声的客观存在,为云API互补推荐问题研究提供动机和数据支持.其次,采用Beta概率嵌入对云API及其之间的关系约束进行编码,以刻画云API间互补关系的不确定性和支持互补逻辑推理.接着,设计由投影、取反和交并三个基本逻辑算子构建的互补关系逻辑推理网络,使查询集中的每个云API获得非对称互补关系感知和替补噪声消解约束下的互补云API表示.然后,引入注意力机制为查询云API的互补云API分配不同权重,增强高阶互补云API基向量的表征能力.在此基础上,采用KL散度度量高阶互补云API基向量与候选云API之间的距离,并根据KL散度排序生成高阶互补性可感知下的云API推荐结果.最后,我们利用两个真实云API数据集在不同阶互补推荐场景下进行实验,实验表明,与传统启发式推荐方法和深度学习推荐方法相比,PLR4HCCR在互补关系感知推理和替补噪声消解方面均具有较大的优势,继而使其在低阶、高阶和混合阶互补云API推荐中均展示出更优的推荐效果和更强的泛化能力.进一步,超参数敏感性实验、实例分析和用户调查验证了方法的有效性、实用性和可行性,这使结合高阶互补关系的云API推荐方法PLR4HCCR不仅更有可能生成开发者满意的结果,而且可有效提升云API服务提供者的收益. 展开更多
关键词 面向服务软件开发 云API推荐 高阶互补 逻辑推理 Beta概率嵌入
在线阅读 下载PDF
基于同构查询校准的知识图谱复杂逻辑推理
8
作者 汤宇轩 申彦明 +1 位作者 齐恒 尹宝才 《中文信息学报》 CSCD 北大核心 2024年第9期24-35,共12页
知识图谱复杂逻辑推理是知识图谱中的一项重要任务,其目的是根据给定的起始节点和逻辑表达式来推理出答案节点。先前的工作主要关注的是如何对实体、关系和查询进行建模,忽略了相似查询对当前查询的影响。因此,该文提出了一种相似查询... 知识图谱复杂逻辑推理是知识图谱中的一项重要任务,其目的是根据给定的起始节点和逻辑表达式来推理出答案节点。先前的工作主要关注的是如何对实体、关系和查询进行建模,忽略了相似查询对当前查询的影响。因此,该文提出了一种相似查询的定义(称之为同构查询),并设计了一种基于同构查询的组件,它可以利用同构查询的特性,在推理的每一步缩短查询嵌入和答案嵌入之间的距离,在不改变原有复杂逻辑推理模型结构的基础上提升模型的性能。实验结果表明,该文提出的组件可以在不同的数据集上为各类不同的基线模型带来1.6%-3.3%的提升,证明了该方法的有效性与灵活性。 展开更多
关键词 知识图谱 复杂逻辑推理 同构查询
在线阅读 下载PDF
基于逻辑推理的机器阅读理解综述 被引量:2
9
作者 李晴 李艳玲 +2 位作者 董杰 葛凤培 林民 《计算机科学与探索》 CSCD 北大核心 2024年第8期1998-2013,共16页
机器阅读理解是自然语言处理领域中的核心任务之一,该任务目标是使机器能够理解自然语言文本,并正确回答关于文本内容的问题。随着自然语言处理相关方法和模型的发展,研究者们开始关注机器阅读理解中更具挑战性的推理型问题,这些问题通... 机器阅读理解是自然语言处理领域中的核心任务之一,该任务目标是使机器能够理解自然语言文本,并正确回答关于文本内容的问题。随着自然语言处理相关方法和模型的发展,研究者们开始关注机器阅读理解中更具挑战性的推理型问题,这些问题通常要求模型不仅理解文本中的浅层信息,还要能够在逻辑上进行思考和推理,以回答更加复杂的问题。对基于逻辑推理的机器阅读理解相关的最新成果进行全面的归纳。介绍基于逻辑推理的机器阅读理解任务。介绍该任务的相关方法,并根据侧重点的不同将这些方法分成四类:基于符号神经网络的方法、基于图神经网络的方法、基于预训练的方法和基于大模型的微调策略。重点描述四类方法的代表性工作。在LogiQA和ReClor两个逻辑推理主流数据集上探讨方法的优缺点,并总结基于逻辑推理的机器阅读理解任务的未来研究方向。 展开更多
关键词 机器阅读理解 逻辑推理 智能问答
在线阅读 下载PDF
初中生逻辑推理的测验研究 被引量:16
10
作者 严卿 黄友初 +2 位作者 罗玉华 陈昊 喻平 《数学教育学报》 CSSCI 北大核心 2018年第5期25-32,共8页
基于逻辑学对于推理的分类以及心理学关于推理能力的研究成果,对国内外的逻辑推理评价研究进行梳理,结合中学数学知识的特点,提出一个测量初中生逻辑推理能力的框架,据此编制测验题.测验兼顾推理的形式与内容两方面.通过探索性因素分析... 基于逻辑学对于推理的分类以及心理学关于推理能力的研究成果,对国内外的逻辑推理评价研究进行梳理,结合中学数学知识的特点,提出一个测量初中生逻辑推理能力的框架,据此编制测验题.测验兼顾推理的形式与内容两方面.通过探索性因素分析检验测验的结构效度并进行修订,修订后的维度包括简单推理、选言推理、命题演算、假言推理、合情推理,其中前4个同属演绎推理.测验具有较好的结构效度和信度. 展开更多
关键词 逻辑推理 数学命题 核心素养
在线阅读 下载PDF
含有否定命题逻辑推理的一致性模糊Petri网模型 被引量:9
11
作者 汪洋 林闯 +1 位作者 曲扬 李雅娟 《电子学报》 EI CAS CSCD 北大核心 2006年第11期1955-1960,共6页
模糊Petri网(Fuzzy Petri Net,FPN)是Petri网(Petri Net,PN)的模糊化描述的一种扩充.基于FPN模型的模糊推理规则表示和模糊推理已经得到了广泛的研究.传统的方法不能准确表示含有否定命题的产生式规则,并解决正确推理问题.本文讨论了模... 模糊Petri网(Fuzzy Petri Net,FPN)是Petri网(Petri Net,PN)的模糊化描述的一种扩充.基于FPN模型的模糊推理规则表示和模糊推理已经得到了广泛的研究.传统的方法不能准确表示含有否定命题的产生式规则,并解决正确推理问题.本文讨论了模糊逻辑中否定的含义,将条件命题中的否定理解为其对推理规则的阻碍作用,结果命题中的否定理解为规则中的前提条件阻碍该命题的发生.在此基础上提出一种新的适合于含有否定命题逻辑规则的一致性FPN模型(Consistent Fuzzy Petri Net,CFPN)表示方法,同时在CFPN模型中引入域值的概念,并给出相应的形式化推理算法及相关证明. 展开更多
关键词 模糊Petfi网 模糊逻辑推理 模糊产生式规则 否定命题
在线阅读 下载PDF
小学生数学逻辑推理素养:内涵 价值 表现形式 被引量:17
12
作者 易亚利 宋乃庆 胡源艳 《数学教育学报》 CSSCI 北大核心 2022年第4期28-31,共4页
在辨析小学生数学逻辑推理素养存在性的基础之上,定义小学生数学逻辑推理素养的内涵为:将现实情境转化并表述为数学问题,以小学数学概念、命题、运算法则或假设为前提,按照逻辑规则及运算规律,得出正确结论的综合能力.探索了小学生逻辑... 在辨析小学生数学逻辑推理素养存在性的基础之上,定义小学生数学逻辑推理素养的内涵为:将现实情境转化并表述为数学问题,以小学数学概念、命题、运算法则或假设为前提,按照逻辑规则及运算规律,得出正确结论的综合能力.探索了小学生逻辑推理素养在学生的数学素养、综合素养、人类逻辑思维形成以及整个社会发展中的重要价值,并明确了小学生数学逻辑推理素养的表现形式,为小学生数学逻辑推理素养的测量与评价奠定了基础. 展开更多
关键词 数学逻辑推理 素养 内涵 表现形式
在线阅读 下载PDF
基于GIS和单元簇的模糊逻辑推理及其在区域矿产预测中的应用 被引量:6
13
作者 张振飞 赵世华 +1 位作者 马智民 姬金生 《现代地质》 CAS CSCD 2001年第1期59-63,共5页
论述了 GIS支持下的一种基于“单元簇”概念和模糊逻辑推理的多元地学信息综合分析方法及其在区域矿产预测中的应用。针对以往矿产定量预测中的单元划分方法对空间信息利用不足的问题 ,用单元的空间组合 (“单元簇”)代替单元作为定量... 论述了 GIS支持下的一种基于“单元簇”概念和模糊逻辑推理的多元地学信息综合分析方法及其在区域矿产预测中的应用。针对以往矿产定量预测中的单元划分方法对空间信息利用不足的问题 ,用单元的空间组合 (“单元簇”)代替单元作为定量类比的基本单位 ,从而能较充分地利用地质变量的局部空间结构信息 ;将单元作为 GIS区图元 ,利用 GIS空间分析功能实现对单元及单元簇的管理和操作 ;建立两个层次即变量对单元和组成单元对单元簇的模糊推理规则 ,经两次模糊推理计算出所有未知单元的找矿有利度 ,为进一步圈定找矿远景区提供了基础 。 展开更多
关键词 矿产预测 模糊逻辑推理 GIS 新疆 地理信息系统 单元簇 地质数据库
在线阅读 下载PDF
试论数学推理过程的逻辑性——兼论什么是有逻辑的推理 被引量:121
14
作者 史宁中 《数学教育学报》 CSSCI 北大核心 2016年第4期1-16,46,共17页
论证了数学推理、进而论证了一类逻辑推理的本质是推理的过程具有传递性,包括关系传递性和性质传递性,并且用数学的语言和符号确切地表述了这两种传递性.因为数学推理的对象是数学命题,数学命题又隐含着数学研究对象的定义,因此,限定了... 论证了数学推理、进而论证了一类逻辑推理的本质是推理的过程具有传递性,包括关系传递性和性质传递性,并且用数学的语言和符号确切地表述了这两种传递性.因为数学推理的对象是数学命题,数学命题又隐含着数学研究对象的定义,因此,限定了数学定义和数学命题的基本形态.为了数学教育的需要,基于所表述的两种传递性,进一步论证了常用的数学论证方法为什么会是有效的.研究结论对于数学教育的发展是重要的,对于逻辑学的发展也是有意义的. 展开更多
关键词 逻辑推理 演绎 归纳 类比 数学命题 数学定义
在线阅读 下载PDF
用于不确定性故障诊断的权重逻辑推理算法研究 被引量:10
15
作者 董春玲 张勤 《自动化学报》 EI CSCD 北大核心 2014年第12期2766-2781,共16页
针对复杂系统故障诊断建模及推理的复杂性、数据不足、领域知识及监测信息不完备等问题,本文基于动态不确定因果图(Dynamic uncertain causality graph,DUCG)进行权重逻辑推理(Weighted logical inference,WLI)及其数理基础的系统化研究... 针对复杂系统故障诊断建模及推理的复杂性、数据不足、领域知识及监测信息不完备等问题,本文基于动态不确定因果图(Dynamic uncertain causality graph,DUCG)进行权重逻辑推理(Weighted logical inference,WLI)及其数理基础的系统化研究.WLI引入绑定权重系数的逻辑事件推理机制,可确保变量状态概率的自动归一性和链式推理的自我依赖性,为多赋值因果关系的简洁、不完备表达提供了解决方案.由于WLI在信息不完全性和命题真值空间的高维性等方面突破了经典数理逻辑,为使其理论基础更为坚实,本文进行了WLI的规范化定义、推理算法补充、运算性质探析,并就理论相容性和自洽性开展了详细论证.算法分析及故障诊断实验结果表明,其高效、准确、较少依赖于参数精确性和数据完备性等特征. 展开更多
关键词 故障诊断 权重逻辑推理 不确定性 多值逻辑 概率推理
在线阅读 下载PDF
概率逻辑推理的弱相关分解方法 被引量:4
16
作者 张晨东 陈火旺 +1 位作者 王兵山 徐光 《计算机学报》 EI CSCD 北大核心 1997年第10期894-898,共5页
本文给出了一种新的概率逻辑推理的分解计算模型.若表示专家知识的概率逻辑公式集具有一定的弱相关分解特性,则可分解为多个公式子集.大规模线性规划的Dantzig-Wolfe分解方法可用于对这种分解的问题求解.
关键词 一致性 知识库 专家系统 概率逻辑推理
在线阅读 下载PDF
基于逻辑推理的构件行为片段提取与重组研究 被引量:1
17
作者 徐俊 肖刚 +2 位作者 张元鸣 高飞 方赵林 《计算机科学》 CSCD 北大核心 2012年第5期120-123,共4页
从构件组装研究背景出发,针对软件应对复杂多变的业务需求时的不足,提出了一种基于逻辑推理的构件行为片段提取与重组算法。其主要思想是在研究构件接口映射、状态变迁的基础上,建立构件行为的结构模型和状态模型,并将其分解为基于π关... 从构件组装研究背景出发,针对软件应对复杂多变的业务需求时的不足,提出了一种基于逻辑推理的构件行为片段提取与重组算法。其主要思想是在研究构件接口映射、状态变迁的基础上,建立构件行为的结构模型和状态模型,并将其分解为基于π关系推导的构件行为片段。最后根据逻辑推理的方法,再将目标输入输出作为待求解,从关系推导中挖掘有效的行为片段进行重组,组装成一个满足目标需求的复合构件。 展开更多
关键词 构件行为片段 Π演算 逻辑推理 构件重组
在线阅读 下载PDF
CO_2弧焊电源动特性的模糊逻辑推理评定 被引量:2
18
作者 薛家祥 张晓囡 黄石生 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2000年第11期4-9,共6页
CO2 弧焊电源动特性的评定方法一直是焊接界未能很好解决的问题 ,论文中研究了用子波统计分析方法由焊接过程电信号中提取与电源动特性相关的特征信息 ,并在大量的实验基础上 ,根据实际经验研究了动特性的模糊逻辑推理评定方法 ,建立了... CO2 弧焊电源动特性的评定方法一直是焊接界未能很好解决的问题 ,论文中研究了用子波统计分析方法由焊接过程电信号中提取与电源动特性相关的特征信息 ,并在大量的实验基础上 ,根据实际经验研究了动特性的模糊逻辑推理评定方法 ,建立了模糊逻辑推理评定系统 ,实验证明了该评定系统的有效性 . 展开更多
关键词 动特性 模糊逻辑推理 二氧化碳弧焊电源 评定
在线阅读 下载PDF
基于逻辑推理的数字权利动态描述研究 被引量:1
19
作者 韩立龙 刘清堂 杨宗凯 《计算机应用研究》 CSCD 北大核心 2009年第5期1888-1890,共3页
使用过程中数字权利的动态描述一直都是DRM应用系统研究的热点。提出一种基于逻辑推理的数字权利动态描述模型,在定义好该模型的基本要素以后,利用逻辑推理工具Prolog深入探讨和分析该模型中数字证书逻辑推理过程,并给出了相应的应用实例。
关键词 逻辑推理 多集 规则 动态描述
在线阅读 下载PDF
逻辑推理中的Petri网应用 被引量:2
20
作者 林琪 贺松云 《计算机应用研究》 CSCD 1998年第6期28-31,共4页
本文讨论利用Petri网实现逻辑问题的推理,首先介绍了逻辑问题的Petri网模型描述方法,并举例说明了利用矩阵演算实现推理的算法。Petri网的研究与利用对开发逻辑程序并行性,提高推理效率很有意义。
关键词 PETRI网 子句 生成矩阵 逻辑推理
在线阅读 下载PDF
上一页 1 2 27 下一页 到第
使用帮助 返回顶部