语言真值直觉模糊逻辑的知识推理 被引量：8

1

作者 邹丽 谭雪微 张云霞 《计算机科学》 CSCD 北大核心 2014年第1期134-137,共4页

针对格蕴涵代数、直觉模糊集及知识表示、基于语言真值直觉模糊代数的相关性质及运算方法,提出了六元语言真值直觉模糊代数的相关逻辑性质,并在六元语言真值直觉模糊知识表示的基础上,将模糊推理的CRI方法进行扩展,研究得出了六元语言... 针对格蕴涵代数、直觉模糊集及知识表示、基于语言真值直觉模糊代数的相关性质及运算方法,提出了六元语言真值直觉模糊代数的相关逻辑性质,并在六元语言真值直觉模糊知识表示的基础上,将模糊推理的CRI方法进行扩展,研究得出了六元语言真值直觉模糊推理的方法即6LTV-CRI算法。而后将直觉模糊推理与六元语言真值直觉模糊推理方法进行对比分析,验证了6LTV-CRI推理算法的合理性,并分析了其优缺点。 展开更多

关键词 直觉模糊知识推理 语言真值直觉模糊代数 语言真值直觉模糊逻辑

在线阅读 下载PDF 职称材料

直觉模糊逻辑算子的研究 被引量：8

2

作者 王艳平 盖如栋 《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2002年第3期395-397,共3页

给出了直觉模糊逻辑“补”、“与”、“或”及“蕴涵”算子的定义,并利用区间值模糊集与直觉模糊集之间的关系,给出了利用经典的模糊逻辑算子构造直觉模糊逻辑算子的三个定理。从而得到了构造直觉模糊逻辑算子的新方法,这种方法无需验... 给出了直觉模糊逻辑“补”、“与”、“或”及“蕴涵”算子的定义,并利用区间值模糊集与直觉模糊集之间的关系,给出了利用经典的模糊逻辑算子构造直觉模糊逻辑算子的三个定理。从而得到了构造直觉模糊逻辑算子的新方法,这种方法无需验证其运算的封闭性,因而简单易行。文中用此方法构造出了一系列新的直觉模糊逻辑“补”、“与”、“或”及“蕴涵”算子,将K.Atanassov最早提出的直觉模糊逻辑算子推广到了更一般情形。 展开更多

关键词 直觉模糊逻辑算子 直觉模糊集 区间值模糊集 算子

在线阅读 下载PDF 职称材料

直觉模糊逻辑的(α,β)-广义锁归结方法 被引量：2

3

作者 邹丽 刘迪 郑宏亮 《计算机科学与探索》 CSCD 北大核心 2015年第8期1004-1009,共6页

归结方法是定理自动证明的重要工具。为了简化直觉模糊命题逻辑的归结过程,基于直觉模糊命题逻辑归结原理的一般形式,提出了子句(α,β)-可满足和(α,β)-归结式的概念。研究了广义子句与其归结式的可满足性。在直觉模糊命题逻辑系统中... 归结方法是定理自动证明的重要工具。为了简化直觉模糊命题逻辑的归结过程,基于直觉模糊命题逻辑归结原理的一般形式,提出了子句(α,β)-可满足和(α,β)-归结式的概念。研究了广义子句与其归结式的可满足性。在直觉模糊命题逻辑系统中给广义子句配锁,规定在做归结时各子句中被消去文字在该子句中的序号最小,由此建立了(α,β)-广义锁归结方法,并证明了该方法的可靠性和完备性。给出了直觉模糊逻辑的广义锁归结算法步骤,并通过实例说明了该方法的有效性。 展开更多

关键词 自动推理 直觉模糊逻辑 (α β)-广义锁归结方法 完备性定理

在线阅读 下载PDF 职称材料

基于直觉模糊逻辑的插值推理方法 被引量：2

4

作者 王毅 雷英杰 《系统工程与电子技术》 EI CSCD 北大核心 2008年第10期1944-1948,共5页

针对直觉模糊逻辑及命题演算,揭示了规则前件与规则后件中模糊论域之间的映射关系,提出利用隶属度与非隶属度计算直觉模糊逻辑的插值推理方法。研究了在连续空间与离散空间状态下线性插值的推理合成方法,包括直觉模糊取式推理、直觉模... 针对直觉模糊逻辑及命题演算,揭示了规则前件与规则后件中模糊论域之间的映射关系,提出利用隶属度与非隶属度计算直觉模糊逻辑的插值推理方法。研究了在连续空间与离散空间状态下线性插值的推理合成方法,包括直觉模糊取式推理、直觉模糊拒式推理及直觉模糊假言推理,推导了相关的推理合成运算公式。以具体算例验证和表明了所推导方法的正确性和有效性,以及对方法进行验证的详细步骤。 展开更多

关键词 直觉模糊集 直觉模糊逻辑 插值推理 隶属度 非隶属度

在线阅读 下载PDF 职称材料

直觉模糊逻辑算子组与经典算子组之间的关系 被引量：2

5

作者 王艳平 陈图云 《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2001年第5期627-629,共3页

文献[1]对经典模糊逻辑“非”、“与”、“或”及“蕴涵” 算子进行了系统的研究。文[2]、[3]，[4]分别给出了直觉模糊逻辑“非”、“与”、“或”及“蕴涵”算子的定义，并讨论了它们的性质。从而使经典模糊逻辑算子的概念及性质得到... 文献[1]对经典模糊逻辑“非”、“与”、“或”及“蕴涵” 算子进行了系统的研究。文[2]、[3]，[4]分别给出了直觉模糊逻辑“非”、“与”、“或”及“蕴涵”算子的定义，并讨论了它们的性质。从而使经典模糊逻辑算子的概念及性质得到进一步的推广。本文在此基础上从代数的观点来讨论直觉模糊逻辑算子组与经典模糊逻辑算子组之间的关系。 展开更多

关键词 直觉模糊逻辑 经典算子组 模糊推理 模糊集论 代数结构 模糊控制

在线阅读 下载PDF 职称材料

直觉模糊测度的计算树逻辑 被引量：5

6

作者 鱼先锋 李超 李永明 《计算机科学与探索》 CSCD 北大核心 2017年第9期1523-1530,共8页

建立了直觉模糊Kripke结构(intuitionistic fuzzy Kripke structure,IFKS)模型,提出了基于直觉模糊Kripke结构的直觉模糊测度空间理论,阐述了IFKS的一系列性质。证明了任一路径转移的直觉模糊可达度(intuitionistic fuzzy probability,I... 建立了直觉模糊Kripke结构(intuitionistic fuzzy Kripke structure,IFKS)模型,提出了基于直觉模糊Kripke结构的直觉模糊测度空间理论,阐述了IFKS的一系列性质。证明了任一路径转移的直觉模糊可达度(intuitionistic fuzzy probability,IFP)为初始状态的直觉模糊测度与各转移的IFP所取下确界,任一状态出发的所有路径上路径转移的IFP为所有路径可达度的上确界。给出了路径转移矩阵P及其传递闭包P^+的概念,给出了通过计算路径转移矩阵传递闭包,计算路径可达度的算法,并分析了算法的复杂度。提出了直觉模糊计算树逻辑(intuitionistic fuzzy computation tree logic,IFPCTL)理论,讨论了一组IFPCTL、可能测度计算树逻辑(possibilistic computation tree logic,PoCTL)和经典计算树逻辑(computation tree logic,CTL)公式的等价性。最后给出了一组等价的IFPCTL和PoCTL公式以及一组不等价的IFPCTL和CTL公式。 展开更多

关键词 直觉模糊Kripke结构 直觉模糊测度 直觉模糊计算树逻辑 模型检测

在线阅读 下载PDF 职称材料

直觉模糊粗糙逻辑的语义及其推理 被引量：1

7

作者 申立平 王艳平 《智能系统学报》 CSCD 北大核心 2014年第1期83-87,共5页

将直觉模糊粗糙集理论引入到逻辑推理中,通过对粗糙集、直觉模糊集、数理逻辑等基本理论的融合,给出了直觉模糊粗糙逻辑的语义及其推理方法。首先给出直觉模糊命题逻辑的5个逻辑值,即直觉模糊真、直觉模糊假、直觉模糊粗糙真、直觉模糊... 将直觉模糊粗糙集理论引入到逻辑推理中,通过对粗糙集、直觉模糊集、数理逻辑等基本理论的融合,给出了直觉模糊粗糙逻辑的语义及其推理方法。首先给出直觉模糊命题逻辑的5个逻辑值,即直觉模糊真、直觉模糊假、直觉模糊粗糙真、直觉模糊粗糙假和直觉模糊粗糙不相容,在此基础上定义了直觉模糊粗糙逻辑的运算,然后讨论了近似空间中直觉模糊粗糙命题公式的语义,最后针对含有不同逻辑连接词的直觉模糊粗糙命题公式给出了其语义推理方法。 展开更多

关键词 粗糙集 粗糙逻辑 模糊粗糙逻辑 直觉模糊粗糙逻辑

在线阅读 下载PDF 职称材料

直觉模糊语义匹配的相似性度量 被引量：19

8

作者 雷英杰 赵晔 +2 位作者 王涛 王坚 申晓勇 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2005年第2期83-86,91,共5页

首先引用Atanassov直觉模糊集的基本概念和运算,综合考虑其隶属度函数与非隶属度函数两个因素的影响,通过对Zadeh模糊集相似度的计算模型进行扩展,给出了直觉模糊语义匹配的相似度的几种扩展计算方法,即最大最小法、算术平均最小法、几... 首先引用Atanassov直觉模糊集的基本概念和运算,综合考虑其隶属度函数与非隶属度函数两个因素的影响,通过对Zadeh模糊集相似度的计算模型进行扩展,给出了直觉模糊语义匹配的相似度的几种扩展计算方法,即最大最小法、算术平均最小法、几何平均最小法、相关系数法、指数法等,并举例阐明其应用,从而使直觉模糊语义匹配度的计算方法得到进一步拓广。最后,研究了直觉模糊相似关系,证明了直觉模糊相似矩阵的一个定理。 展开更多

关键词 直觉模糊集合 直觉模糊逻辑 语义匹配 相似度

在线阅读 下载PDF 职称材料

直觉模糊匹配的语义距离与贴近度 被引量：22

9

作者 雷英杰 王涛 +1 位作者 赵晔 汪竞宇 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2005年第1期69-72,共4页

首先引用Atanassov直觉模糊集的基本概念,阐述了直觉模糊推理的语义匹配问题,给出了计算直觉模糊匹配度的语义距离与贴近度扩展方法,重点研究了直觉模糊贴近度扩展计算模型与直觉模糊语义距离,包括在离散论域和连续论域上的海明距离、... 首先引用Atanassov直觉模糊集的基本概念,阐述了直觉模糊推理的语义匹配问题,给出了计算直觉模糊匹配度的语义距离与贴近度扩展方法,重点研究了直觉模糊贴近度扩展计算模型与直觉模糊语义距离,包括在离散论域和连续论域上的海明距离、欧氏距离、明可夫斯基距离、切比雪夫距离等扩展计算模型,提出了将直觉模糊贴近度与直觉模糊语义距离转换成直觉模糊匹配度的方法。 展开更多

关键词 直觉模糊集合 直觉模糊逻辑 匹配度 语义距离 贴近度

在线阅读 下载PDF 职称材料

直觉模糊条件推理与可信度传播 被引量：15

10

作者 雷英杰 王宝树 王晶晶 《电子与信息学报》 EI CSCD 北大核心 2006年第10期1790-1793,共4页

针对直觉模糊逻辑及命题演算,基于直觉指数所表征的中立证据中支持与反对的程度呈均衡状态的假设,提出利用隶属度与犹豫度计算直觉模糊逻辑命题真值的对称合成方法,给出直觉模糊逻辑命题的运算规则。重点研究了基于直觉模糊逻辑的条件... 针对直觉模糊逻辑及命题演算,基于直觉指数所表征的中立证据中支持与反对的程度呈均衡状态的假设,提出利用隶属度与犹豫度计算直觉模糊逻辑命题真值的对称合成方法,给出直觉模糊逻辑命题的运算规则。重点研究了基于直觉模糊逻辑的条件推理方法,包括直觉模糊蕴涵式推理、条件式推理、多重式推理、多维式推理及多重多维式推理等;推导了相关的推理合成运算公式。针对带有可信度因子的直觉模糊逻辑推理,包括典型的、加权的及狭义的直觉模糊推理;分析了规则中的可信度因子传播对结论可信度的影响;给出了相关的计算结论真值的公式。 展开更多

关键词 计算智能 模糊集合 直觉模糊逻辑 近似推理 命题演算 可信度因子

在线阅读 下载PDF 职称材料

基于直觉模糊Petri网的敌意图识别方法研究 被引量：14

11

作者 周创明 申晓勇 雷英杰 《计算机应用》 CSCD 北大核心 2009年第9期2464-2467,共4页

现代战争中由于战场态势的不确定性,敌战术意图的识别也应作为一个动态的不确定性决策问题进行研究。针对该不确定性动态识别问题,综合利用直觉模糊集合理论与Petri网理论的优点,构建了敌战术意图识别的直觉模糊Petri网模型及其推理算法... 现代战争中由于战场态势的不确定性,敌战术意图的识别也应作为一个动态的不确定性决策问题进行研究。针对该不确定性动态识别问题,综合利用直觉模糊集合理论与Petri网理论的优点,构建了敌战术意图识别的直觉模糊Petri网模型及其推理算法,在推理过程中充分发挥Petri网的动态并行推理能力,使得推理更加高效,由于非隶属参数的作用,推理结果更加准确可信。通过建模仿真给出该模型的应用步骤,验证了其正确性和合理性。 展开更多

关键词 直觉模糊集 直觉模糊Petri网 意图识别 直觉模糊逻辑

在线阅读 下载PDF 职称材料

直觉模糊推理的语义匹配度 被引量：4

12

作者 雷英杰 李续武 +1 位作者 王坚 申晓勇 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2005年第3期42-46,共5页

首先引用Atanassov直觉模糊集的基本概念及运算,描述了直觉模糊逻辑运算及其知识表示形式,重点给出了直觉模糊逻辑命题真值的对称合成方法,定义了直觉模糊逻辑命题的基本运算。讨论了计算直觉模糊集语义匹配度的若干途径,包括贴近度、... 首先引用Atanassov直觉模糊集的基本概念及运算,描述了直觉模糊逻辑运算及其知识表示形式,重点给出了直觉模糊逻辑命题真值的对称合成方法,定义了直觉模糊逻辑命题的基本运算。讨论了计算直觉模糊集语义匹配度的若干途径,包括贴近度、语义距离、相似度、复合条件的匹配等。最后,阐明了直觉模糊推理冲突消解的基本思想。 展开更多

关键词 直觉模糊集合 直觉模糊逻辑 匹配度 语义距离 相似度

在线阅读 下载PDF 职称材料

基于直觉模糊相似度量的近似推理方法 被引量：2

13

作者 田野 陈东锋 雷英杰 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2007年第6期80-82,共3页

针对直觉模糊逻辑推理,提出一种基于直觉模糊集之间相似度量的近似推理方法,给出了相关的推理合成运算公式,并用实例说明近似推理的推理过程。该方法的最大优点是概念上更清晰,易于直观理解。

关键词 计算智能 模糊集合 直觉模糊逻辑 近似推理

在线阅读 下载PDF 职称材料

基于直觉模糊蕴涵式运算直觉模糊近似推理方法 被引量：3

14

作者 杨会成 陈昊 《计算机应用研究》 CSCD 北大核心 2011年第1期102-104,共3页

在基于扩展二值逻辑的直觉模糊蕴涵式运算方法的基础上,提出了一种新的直觉模糊近似推理方法,该方法系统而全面地概括了直觉模糊集的蕴涵关系和直觉模糊近似推理方法。通过实例验证了所提出的直觉模糊近似推理方法的有效性和正确性。

关键词 直觉模糊集 直觉模糊逻辑 模糊蕴涵 近似推理

在线阅读 下载PDF 职称材料

基于直觉模糊Petri网的加权直觉模糊推理 被引量：3

15

作者 孙晓玲 王宁 《计算机工程与应用》 CSCD 2013年第4期50-53,94,共5页

利用直觉模糊集合较好地表现不确定信息的能力和Petri网的并行处理能力,构建了直觉模糊Petri网模型。给出了输入权值、变迁阈值等多种约束条件下的直觉模糊推理算法。该算法将直觉模糊推理过程转化为矩阵的运算过程可充分利用直觉模糊Pe... 利用直觉模糊集合较好地表现不确定信息的能力和Petri网的并行处理能力,构建了直觉模糊Petri网模型。给出了输入权值、变迁阈值等多种约束条件下的直觉模糊推理算法。该算法将直觉模糊推理过程转化为矩阵的运算过程可充分利用直觉模糊Petri网的并行推理能力,有效地避免同一变迁不必要地重复激发从而节省推理时间。实例分析表明所给出的直觉模糊推理算法较已有算法更加合理并且高效。 展开更多

关键词 直觉模糊集合 直觉模糊Petri网 直觉模糊逻辑 模糊推理 直觉模糊产生式规则

在线阅读 下载PDF 职称材料

直觉模糊粗糙推理的规则库完备性研究 被引量：1

16

作者 孔韦韦 雷英杰 《计算机应用与软件》 CSCD 北大核心 2008年第10期93-94,共2页

针对规则库检验问题,提出了直觉模糊粗糙规则库的完备性检验方法。首先,引入直觉模糊粗糙集的概念,给出了直觉模糊粗糙规则库的完备性定义;其次,针对直觉模糊粗糙规则库的完备性,提出了完备性检验算法,指出如何设计规则库才能满足完备... 针对规则库检验问题,提出了直觉模糊粗糙规则库的完备性检验方法。首先,引入直觉模糊粗糙集的概念,给出了直觉模糊粗糙规则库的完备性定义;其次,针对直觉模糊粗糙规则库的完备性,提出了完备性检验算法,指出如何设计规则库才能满足完备性要求;最后,通过实例验证了算法的合理性和有效性。 展开更多

关键词 直觉模糊粗糙集 直觉模糊粗糙逻辑 直觉模糊粗糙推理 规则库检验

在线阅读 下载PDF 职称材料

直觉模糊粗糙推理的规则互作用性研究

17

作者 孔韦韦 雷英杰 《计算机工程与设计》 CSCD 北大核心 2008年第10期2626-2628,共3页

针对直觉模糊粗糙逻辑(IFRL)推理的规则库检验问题,提出了IFRL规则库的互作用性检验方法。互作用性检验是逻辑规则库检验的一项重要内容,它可以有效地分析出规则间的关系。利用直觉模糊粗糙集(IFRS)及其包含关系的概念,提出了正规IFRS和... 针对直觉模糊粗糙逻辑(IFRL)推理的规则库检验问题,提出了IFRL规则库的互作用性检验方法。互作用性检验是逻辑规则库检验的一项重要内容,它可以有效地分析出规则间的关系。利用直觉模糊粗糙集(IFRS)及其包含关系的概念,提出了正规IFRS和IFRL规则库的互作用性定义。在此基础上,将直觉模糊逻辑(IFL)的3个定理推广到IFRL领域,并给予了证明。提出的互作用性定义和推广后的3个定理可以作为检验规则间互作用性的方法。 展开更多

关键词 直觉模糊粗糙集 直觉模糊粗糙逻辑 直觉模糊粗糙推理 规则库检验 互作用性

在线阅读 下载PDF 职称材料