期刊文献+
共找到644篇文章
< 1 2 33 >
每页显示 20 50 100
基于模糊逻辑的主观信任管理模型研究 被引量:84
1
作者 唐文 胡建斌 陈钟 《计算机研究与发展》 EI CSCD 北大核心 2005年第10期1654-1659,共6页
在开放网络中,信任管理是信息安全的重要前提与基础·通过考查主观信任的模糊性,首次将语言变量、模糊逻辑引入主观信任管理研究中,提出了信任的度量机制,运用模糊IF-THEN规则对人类信任推理的一般知识和经验进行了建模,提出了一种... 在开放网络中,信任管理是信息安全的重要前提与基础·通过考查主观信任的模糊性,首次将语言变量、模糊逻辑引入主观信任管理研究中,提出了信任的度量机制,运用模糊IF-THEN规则对人类信任推理的一般知识和经验进行了建模,提出了一种灵活直观,具有很强描述能力的形式化的信任推理机制,为主观信任管理研究提供了一种有价值的新思路· 展开更多
关键词 信任管理 主观信任 语言变量 信任向量 模糊逻辑 信任推理
下载PDF
命题逻辑中的程度化方法 被引量:67
2
作者 王国俊 宋建社 《电子学报》 EI CAS CSCD 北大核心 2006年第2期252-257,共6页
在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最... 在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最后,提出了有限逻辑理论的相容度理论. 展开更多
关键词 命题逻辑 诱导函数 真度 近似推理 相容度
下载PDF
关于模糊逻辑与模糊推理逻辑基础问题的十年研究综述 被引量:37
3
作者 裴道武 《工程数学学报》 CSCD 北大核心 2004年第2期249-258,共10页
自从1993年发生关于模糊逻辑的一场争论以来,模糊逻辑和模糊推理研究在十年里得到了迅速的发展。本文对这十年国内外关于模糊逻辑和模糊推理研究的大致情况做一个回顾,简要分析这些研究工作的主要特点。
关键词 模糊逻辑 模糊推理 完备性 三I算法
下载PDF
基于模糊推理的城市中压配电网供电能力评估 被引量:28
4
作者 葛少云 董静媛 +1 位作者 王晓东 郭明星 《电力系统及其自动化学报》 CSCD 2004年第6期14-17,71,共5页
在城市配电网评估中 ,目前还没有一种综合的评判指标或评价模型能够反映整个网络的供电能力。为了解决这一问题 ,运用一种基于模糊逻辑的近似推理和决策方法 ,建立了详细的城市中压配电网供电能力优劣性评估模型。该模型能够充分体现专... 在城市配电网评估中 ,目前还没有一种综合的评判指标或评价模型能够反映整个网络的供电能力。为了解决这一问题 ,运用一种基于模糊逻辑的近似推理和决策方法 ,建立了详细的城市中压配电网供电能力优劣性评估模型。该模型能够充分体现专家的推理和决策过程 ,为运行人员充分了解城市配电网络状况提供了一种系统的理论和方法。 展开更多
关键词 模糊逻辑 近似推理 供电能力评估 优劣性
下载PDF
语义web中以描述逻辑为本体语言的推理 被引量:11
5
作者 吴强 《计算机工程与应用》 CSCD 北大核心 2003年第33期30-32,共3页
语义Web是worldwideweb的发展方向,它的实现能有效地提高互联网的智能化程度,进而提高其使用效率。描述逻辑作为语义Web的一个逻辑基础,成为其研究和开发的重要内容。该文讨论了语义Web中以描述逻辑为本体语言的推理方法,并对其应用作... 语义Web是worldwideweb的发展方向,它的实现能有效地提高互联网的智能化程度,进而提高其使用效率。描述逻辑作为语义Web的一个逻辑基础,成为其研究和开发的重要内容。该文讨论了语义Web中以描述逻辑为本体语言的推理方法,并对其应用作了简要的分析。 展开更多
关键词 语义WEB 描述逻辑 本体 推理
下载PDF
模糊推理全蕴涵算法及其还原性 被引量:23
6
作者 裴道武 《Journal of Mathematical Research and Exposition》 CSCD 北大核心 2004年第2期359-368,共10页
模糊推理是模糊控制的逻辑基础,然而通用的模糊推理CRI算法却缺乏严格的逻辑依据,近期问世的模糊推理全蕴涵三I算法有效地改进了CRI算法。本文研究了全蕴涵三I算法的一般计算公式及其还原性问题,并且得到了一些新的算法,也提出了一些新... 模糊推理是模糊控制的逻辑基础,然而通用的模糊推理CRI算法却缺乏严格的逻辑依据,近期问世的模糊推理全蕴涵三I算法有效地改进了CRI算法。本文研究了全蕴涵三I算法的一般计算公式及其还原性问题,并且得到了一些新的算法,也提出了一些新的观点,文献中已有的结果大多数是本文结果的特例。从而为模糊推理提供了一种新方法。 展开更多
关键词 模糊逻辑 模糊推理 模糊控制 CRI算法 全蕴涵三I算法 还原性
下载PDF
基于自动推理技术的智能规划方法 被引量:22
7
作者 吕帅 刘磊 +1 位作者 石莲 李莹 《软件学报》 EI CSCD 北大核心 2009年第5期1226-1240,共15页
对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规... 对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规划方法,并结合国际规划竞赛和相关论文等的实验结论说明上述方法的有效性和可行性.最后,提出目前基于自动推理技术的智能规划方法所面临的挑战、可能的处理方法以及与之相关的研究热点与趋势. 展开更多
关键词 智能规划 命题逻辑 模态逻辑 非单调逻辑 描述逻辑 自动推理 可满足性
下载PDF
几种逻辑系统中的近似推理理论 被引量:19
8
作者 刘华文 王国俊 张诚一 《山东大学学报(理学版)》 CAS CSCD 北大核心 2007年第7期77-81,86,共6页
借助于逻辑系统中命题的真度理论,引入命题之间的逻辑度量的概念,并讨论其性质,以此在几种常见的逻辑系统中讨论近似推理问题.
关键词 命题逻辑 近似推理 真度 逻辑度量
下载PDF
Critical Thinking Ⅰ: Seeking Conceptual Clarity 被引量:23
9
作者 ZHAN Lin LEE Shirleatha FLEMING Belinda 《护理学报》 2014年第1期74-78,共5页
this first paper focuses on seeking conceptual clarity;the second paper will focus on how nurses use critical thinking in clinical cases;and the third paper will focus on how advanced nurse practitioners use critical ... this first paper focuses on seeking conceptual clarity;the second paper will focus on how nurses use critical thinking in clinical cases;and the third paper will focus on how advanced nurse practitioners use critical thinking to provide safe and high quality care to patients and families.We welcome nursing colleagues in China respond our paper. 展开更多
关键词 clinical DECISION making Submitted to Journal of NURSING (China)
下载PDF
中国数学逻辑推理研究的回顾与反思——基于“中国知网”文献的计量分析 被引量:23
10
作者 王志玲 王建磐 《数学教育学报》 CSSCI 北大核心 2018年第4期88-94,共7页
发展学生的数学逻辑推理能力是众多国家数学课程的重要目标之一.为推进中国逻辑推理的理论与实践发展,对截至2016年7月的数学逻辑推理研究文献,分别从发文数量、作者类型、关注学段、研究方法和研究主题5个维度进行系统梳理和计量分析.... 发展学生的数学逻辑推理能力是众多国家数学课程的重要目标之一.为推进中国逻辑推理的理论与实践发展,对截至2016年7月的数学逻辑推理研究文献,分别从发文数量、作者类型、关注学段、研究方法和研究主题5个维度进行系统梳理和计量分析.研究发现:新课程改革以来有关数学逻辑推理的研究整体呈现上升趋势;高等院校研究人员为该研究领域的研究主体,理论工作者和教学实践者的合作研究匮乏;研究关注的学段不平衡,学前和小学阶段的关注不够;实证研究为主导地位,混合研究需要更多关注;各研究主题发展不均衡,数学逻辑推理的教学是研究热点,教材和课程的研究不足.最后,针对以上研究存在的问题提出了若干建议. 展开更多
关键词 核心素养 逻辑推理 计量分析
下载PDF
规则摄动时模糊蕴涵算子对模糊推理的鲁棒性的影响 被引量:16
11
作者 徐蔚鸿 陈国平 +1 位作者 杨静宇 叶有培 《计算机学报》 EI CSCD 北大核心 2005年第10期1700-1707,共8页
列举了模糊规则发生摄动的常见情形,建立了一般性的模糊推理算法对规则摄动的鲁棒性的概念;就多重、链式和多维模糊推理情形,重点研究了一般性的模糊蕴涵算子对几个重要的模糊推理算法的这种鲁棒性的影响,并分别给出了相应的充分必要条... 列举了模糊规则发生摄动的常见情形,建立了一般性的模糊推理算法对规则摄动的鲁棒性的概念;就多重、链式和多维模糊推理情形,重点研究了一般性的模糊蕴涵算子对几个重要的模糊推理算法的这种鲁棒性的影响,并分别给出了相应的充分必要条件;初步尝试了通过一定的摄动制约来改善这种鲁棒性;同时指出了很多现有的模糊蕴涵算子使得所讨论的这些推理算法拥有好的鲁棒性,此时,即使规则中的隶属度有适度的粗糙或摄动,推理仍是可行的、安全的.文中工作对模糊系统的分析、模糊蕴涵算子的选择以及规则获取过程有一定的指导意义. 展开更多
关键词 模糊系统 模糊蕴涵 模糊逻辑 模糊推理 鲁棒性 摄动
下载PDF
倒逼机制:作为实践逻辑的似真推理 被引量:19
12
作者 张炜 《中南大学学报(社会科学版)》 CSSCI 2012年第3期59-62,共4页
目前,各种社会机制设计已成为现代学术界关注的焦点,而且常常将体制机制合在一锅里烹煮,事实上,机制是上下级之间的配合事宜,因此"倒逼机制"作为新生代的语词,已经司空见惯,它频频出现在日常生活和社会语境中,并在可持续社会... 目前,各种社会机制设计已成为现代学术界关注的焦点,而且常常将体制机制合在一锅里烹煮,事实上,机制是上下级之间的配合事宜,因此"倒逼机制"作为新生代的语词,已经司空见惯,它频频出现在日常生活和社会语境中,并在可持续社会发展中对社会矛盾和困境呈现了策略性的重要突破。在当前社会转型期,改革三十年累计的各种深层问题会不断浮现在社会表层,使得"倒逼机制"日渐成为人们解决棘手问题的重要权益行为。探究"倒逼机制"的逻辑事理,是对目前含义含混、甚至背驰的使用现象的有机探索,寻求的不是进行关于"真判断"的有限界定,而是梳理现实领域中,如何通过"倒逼机制"的传导,演绎人类遏制退步、引向未来的可持续思维路径。 展开更多
关键词 倒逼机制 实践逻辑 真判断 推理法则 策略性 权益行为
下载PDF
四种命题逻辑中公式的相对Γ-重言度理论 被引量:14
13
作者 王国俊 刘保翠 《工程数学学报》 CSCD 北大核心 2007年第4期598-610,共13页
基于广义重言式理论,在四种重要的命题逻辑系统Lukasiewicz系统,L*系统,Godel系统和Π系统中,引入了公式的相对Γ-重言度概念,给出了相对Γ-重言度的若干性质。利用公式的相对Γ-重言度,定义了公式间的Γ-相似度,进而导出了命题集F(S)... 基于广义重言式理论,在四种重要的命题逻辑系统Lukasiewicz系统,L*系统,Godel系统和Π系统中,引入了公式的相对Γ-重言度概念,给出了相对Γ-重言度的若干性质。利用公式的相对Γ-重言度,定义了公式间的Γ-相似度,进而导出了命题集F(S)上的一种伪距离。最后讨论了命题集F(S)上统一的近似推理理论,得到了三种类型的近似推理模式之间的内在联系。 展开更多
关键词 命题逻辑 相对Γ-重言度 性质 Γ-相似度 伪距离 近似推理
下载PDF
BAN逻辑的可靠性分析与改进 被引量:17
14
作者 王正才 许道云 +2 位作者 王晓峰 唐郑熠 韦立 《计算机工程》 CAS CSCD 2012年第17期110-115,共6页
BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的。为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进... BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的。为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进行限定,使消息新鲜性判定规则适用于更多类型的协议安全性验证。 展开更多
关键词 BAN逻辑 安全协议 形式化 非形式化 消息新鲜性 推理
下载PDF
法律与逻辑——对法律与逻辑关系的一种全面解读 被引量:14
15
作者 陈锐 《西南政法大学学报》 2003年第1期35-43,共9页
本文主要对法律与逻辑关系进行了全面的探讨。对逻辑学和法学之间交叉性的一些问题进行了回顾和总结。首先,探讨了什么是“法律逻辑”,并重点介绍了我国学者较陌生的“规范逻辑”,将两者进行了比较;其次,对法理学和逻辑学都关心的“法... 本文主要对法律与逻辑关系进行了全面的探讨。对逻辑学和法学之间交叉性的一些问题进行了回顾和总结。首先,探讨了什么是“法律逻辑”,并重点介绍了我国学者较陌生的“规范逻辑”,将两者进行了比较;其次,对法理学和逻辑学都关心的“法律推理”问题进行了探讨,比较了“法律推理”和“司法推理”两者的异同,以及两大法系“法律推理”的特点和差异;最后,对饱受批判的“法律形式主义”进行了研究,指出应当辩证地看待“法律形式主义”的功与过。最后,作者结合我国的实际,认为:我们不能借口反对“法律形式主义”而忽视和否定逻辑在法律领域中的作用。 展开更多
关键词 逻辑学 法理学 法律形式主义 司法推理 法律推理 法律制度
下载PDF
论法律逻辑学与法律思维能力的培养 被引量:16
16
作者 朱永红 《河北法学》 CSSCI 北大核心 2006年第7期85-89,共5页
法律思维能力是法律职业能力结构中的决定性因素。法律逻辑是训练法律思维的必要的、有效的工具。法律逻辑有助于准确掌握和运用法律概念,合乎逻辑地建立和把握命题并进行法律推理,对即将作出的法律裁决或法律意见进行逻辑论证。为达到... 法律思维能力是法律职业能力结构中的决定性因素。法律逻辑是训练法律思维的必要的、有效的工具。法律逻辑有助于准确掌握和运用法律概念,合乎逻辑地建立和把握命题并进行法律推理,对即将作出的法律裁决或法律意见进行逻辑论证。为达到将逻辑理论知识转化为法律思维能力之目的,法律逻辑学应在教学内容和教学方法等方面进行改革。 展开更多
关键词 法律思维能力 法律逻辑 法律推理
下载PDF
模糊技术在入侵检测系统中的应用研究综述 被引量:14
17
作者 孙知信 徐红霞 《南京邮电大学学报(自然科学版)》 EI 2006年第4期73-78,共6页
网络安全其本身就是一个模糊的概念,把模糊技术引入入侵检测系统中是改善入侵检测系统性能的一个新尝试。文中首先从数据挖掘和特征提取、基于模糊推理的数据分析、模糊规则库的自适应性更新以及支持响应回卷的模糊默认逻辑推理的应用... 网络安全其本身就是一个模糊的概念,把模糊技术引入入侵检测系统中是改善入侵检测系统性能的一个新尝试。文中首先从数据挖掘和特征提取、基于模糊推理的数据分析、模糊规则库的自适应性更新以及支持响应回卷的模糊默认逻辑推理的应用等几个方面探讨了国内外模糊技术在该领域中的研究成果,并在此基础上进一步分析了目前模糊入侵检测发展中的不足和将来的发展方向。 展开更多
关键词 模糊逻辑 模糊推理 模糊入侵检测
下载PDF
邻域值信息表上的邻域逻辑及其数据推理 被引量:10
18
作者 刘清 《计算机学报》 EI CSCD 北大核心 2001年第4期405-410,共6页
引入了一种基于邻域值信息表的邻域逻辑 ,它是用邻域拓扑内点和邻域拓扑闭包作为逻辑算子的一种逻辑 .其内点和闭包是先经二元关系定义了邻域系统 ,然后用这种邻域系统来定义它 .这种逻辑被定义在信息表上 ,其表上的每个个体关于属性不... 引入了一种基于邻域值信息表的邻域逻辑 ,它是用邻域拓扑内点和邻域拓扑闭包作为逻辑算子的一种逻辑 .其内点和闭包是先经二元关系定义了邻域系统 ,然后用这种邻域系统来定义它 .这种逻辑被定义在信息表上 ,其表上的每个个体关于属性不是取单独一个值 ,而是扩充到取一个值的邻域 .公式的真值被扩充为一个区间或邻域 ,因此讨论一个公式可满足性的三种类型 :邻域内点可满足、邻域闭包可满足和邻域可满足 ,即将公式的真值扩充为多值 ,并讨论了这种真值关于逻辑联结词的运算和公式的语义模型 .最后还给出了这种逻辑的数据推理 . 展开更多
关键词 邻域值信息表 邻域逻辑 数据推理 专家系统 ROUGH集
下载PDF
模糊推理三I算法的逻辑基础 被引量:11
19
作者 裴道武 傅丽 《模糊系统与数学》 CSCD 2004年第3期1-10,共10页
在模糊推理理论中 ,近期问世的三 I推理方法以逻辑蕴涵运算取代传统的合成运算 ,从根本上改进了传统的合成推理规则 (即 CRI方法 )。本文基于模糊命题逻辑的形式演绎系统 L* 和模糊谓词逻辑的一阶系统 K* ,构建了一个完备的多型变元一... 在模糊推理理论中 ,近期问世的三 I推理方法以逻辑蕴涵运算取代传统的合成运算 ,从根本上改进了传统的合成推理规则 (即 CRI方法 )。本文基于模糊命题逻辑的形式演绎系统 L* 和模糊谓词逻辑的一阶系统 K* ,构建了一个完备的多型变元一阶系统 K*ms,并且将三 I算法完全纳入了模糊逻辑的框架之中 ,从而为模糊推理奠定了严格的逻辑基础。 展开更多
关键词 模糊逻辑 模糊推理 CRI算法 三I算法 多型变元一阶系统
下载PDF
模糊时间Petri网的时间推理及其在过程监测中的应用 被引量:3
20
作者 高梅梅 吴智铭 《控制与决策》 EI CSCD 北大核心 2001年第3期371-373,共3页
针对传统分析方法的不足 ,提出用线性逻辑给出模糊时间 Petri网描述和时间推理的方法。该方法能清楚地分析模糊时间 Petri网的运行行为 ,具体例子说明了其在系统过程监测和诊断中的应用。
关键词 模糊时间PETRI网 线性逻辑 时间推理 过程检测
下载PDF
上一页 1 2 33 下一页 到第
使用帮助 返回顶部