期刊文献+
共找到25篇文章
< 1 2 >
每页显示 20 50 100
Fuzzy Logic and Zadeh Algebra
1
作者 Paavo Kukkurainen 《Advances in Pure Mathematics》 2017年第7期353-365,共13页
In this work we create a connection between AFS (Axiomatic Fuzzy Sets) fuzzy logic systems and Zadeh algebra. Beginning with simple concepts we construct fuzzy logic concepts. Simple concepts can be interpreted semant... In this work we create a connection between AFS (Axiomatic Fuzzy Sets) fuzzy logic systems and Zadeh algebra. Beginning with simple concepts we construct fuzzy logic concepts. Simple concepts can be interpreted semantically. The membership functions of fuzzy concepts form chains which satisfy Zadeh algebra axioms. These chains are based on important relationship condition (1) represented in the introduction where the binary relation Rm of a simple concept m is defined more general in Definition 2.10. Then every chain of membership functions forms a Zadeh algebra. It demands a lot of preliminaries before we obtain this desired result. 展开更多
关键词 AFS fuzzy logic System Zadeh algebra Simple Concepts MEMBERSHIP functionS
在线阅读 下载PDF
Properties of Measure-based Fuzzy Logic 被引量:1
2
作者 LU Jian ping 1, ZHAO Shu xiang 2 (1. Department of Computer Science, Xi’an Institute of Posts and Telecommunications, Xi’an 710061, P.R. China 2. School of Computer Science, Xidian University, Xi’an 710071, P.R. China) 《The Journal of China Universities of Posts and Telecommunications》 EI CSCD 2001年第4期29-33,共5页
Measure based fuzzy logic, which is constructed on the basis of eight axioms, is a seemingly powerful fuzzy logic. It possesses several remarkable properties. (1) It is an extended Boolean logic, satisfying all the p... Measure based fuzzy logic, which is constructed on the basis of eight axioms, is a seemingly powerful fuzzy logic. It possesses several remarkable properties. (1) It is an extended Boolean logic, satisfying all the properties of Boolean algebra, including the law of excluded middle and the law of contradiction. (2) It is conditional. Conditional membership functions play an important role in this logic. (3) The negation operator is not independently defined with the conjunction and disjunction operators, but on the contrary, it is derived from them. (4) Zadehs fuzzy logic is included in it as a particular case. (5) It gives more hints to the relationship between fuzzy logic and probability logic. 展开更多
关键词 fuzzy logic boolean algebra measure based fuzzy logic extended boolean algebra law of excluded middle law of contradiction
原文传递
Boolean Operator Fuzzy Logic
3
作者 刘叙华 邓安生 《Science China Mathematics》 SCIE 1994年第8期1009-1017,共9页
A new approach of operator fuzzy logic, Boolean operator fuzzy logic (BOFL) based on Boolean algebra, is presented. The resolution principle is also introduced into BOFL. BOFL is a natural generalization of classical ... A new approach of operator fuzzy logic, Boolean operator fuzzy logic (BOFL) based on Boolean algebra, is presented. The resolution principle is also introduced into BOFL. BOFL is a natural generalization of classical logic and can be applied to the qualitative description of fuzzy knowledge. 展开更多
关键词 COMPLETE boolean algebra TRUTH OPERATOR boolean OPERATOR fuzzy logic resolution.
原文传递
The Proof of Boolean Algebraic Properties of MBFL 被引量:1
4
作者 Lu Jianping (Department of Computer, Xi’an Institute of Posts and Telecommunications, Xi’an 710061. P.R,China)Zhao Shuxiang(School of Computer. Xidian University. Xi’an 710071. P.R China) 《The Journal of China Universities of Posts and Telecommunications》 EI CSCD 1999年第1期52-58,共7页
It is well known that Zadeh's fuzzy logic is not a Boolean algebra because it does not satisfy the Law of Excluded Middle or the Law of Contradiction, but the two-valued propositional logic does. On the other hand... It is well known that Zadeh's fuzzy logic is not a Boolean algebra because it does not satisfy the Law of Excluded Middle or the Law of Contradiction, but the two-valued propositional logic does. On the other hand, a recently proposed measure-based fuzzy logic(MBFL) satisfies all the axioms of Boolean algebra. In this paper, a complete and thorough proof is given for this. 展开更多
关键词 Zadeh's fuzzy logic (MBFL) boolean algebra
原文传递
基于带Fuzzy壳Boole代数和修正的Gaines-Rescher蕴涵算子的险象识别逻辑
5
作者 郑亚林 白永成 +1 位作者 黄宏科 黄德隆 《宝鸡文理学院学报(自然科学版)》 CAS 2000年第2期81-86,共6页
建立了一种基于带 Fuzzy壳 Boole代数和修正的 Gaines-Rescher蕴涵算子的险象识别逻辑 ,并对这种逻辑进行了语义方面的研究 ,获得若干结果。特别是 ,在这种逻辑中笔者发现 α-HS规则和α-MP规则对每个α都无条件地成立。
关键词 险象识别逻辑 布尔代数 G-R蕴涵算子 模糊逻辑
在线阅读 下载PDF
Reliability Measures for Tele-Communication System with Redundant Transferring Machine by Using Algebraic Method
6
作者 Pawan Kumar Sharma Ganesh Kumar Thakur Bandana Priya 《American Journal of Operations Research》 2016年第5期371-377,共8页
There are so many existing methods to obtain system reliability like re-generating point function technique, supplementary variables technique etc., but all these techniques are full of complicated calculations. Keepi... There are so many existing methods to obtain system reliability like re-generating point function technique, supplementary variables technique etc., but all these techniques are full of complicated calculations. Keeping above these facts in mind, the authors in this paper have evaluated some reliability parameters for tele-communication system by using Boolean functions technique and algebraic method. Reliability of considered tele-communication system has been evaluated by considering the fact that failures follow arbitrary time distribution. In particular, the reliability expression has also been calculated for Exponential and Weibull distributions. Further, an important reliability parameter namely M.T.T.F. (mean time to failure) has also been calculated. A numerical example with graphical illustrations has been appended at the end to highlight the important results and practical utility of the model. 展开更多
关键词 boolean function Technique algebra of logics Weibull Distribution Exponential Distribution
在线阅读 下载PDF
R_0-代数(NM-代数)的布尔MP滤子与布尔MP理想 被引量:16
7
作者 张小红 薛占熬 马盈仓 《工程数学学报》 CSCD 北大核心 2005年第2期287-294,共8页
在Ro-代数中引入布尔MP滤子与布尔MP理想的概念,给出其若干充要条件,研究了它们与素滤子、极大MP滤子的关系。通过反例指出了关于超MP滤子的一个错误结论,给出超MP滤子的一个充分必要条件。在此基础上研究了Ro-代数的结构,用布尔MP滤子... 在Ro-代数中引入布尔MP滤子与布尔MP理想的概念,给出其若干充要条件,研究了它们与素滤子、极大MP滤子的关系。通过反例指出了关于超MP滤子的一个错误结论,给出超MP滤子的一个充分必要条件。在此基础上研究了Ro-代数的结构,用布尔MP滤子与布尔MP理想刻画了二部Ro-代数、强二部Ro-代数的特征。 展开更多
关键词 fuzzy逻辑 R0-代数 布尔MP滤子 布尔MP理想 超MP滤了 二部R0-代数
在线阅读 下载PDF
关于逻辑函数化简方法的研究 被引量:3
8
作者 冯乃勤 孙玉强 +1 位作者 魏淑桃 陈广林 《小型微型计算机系统》 CSCD 北大核心 2003年第1期130-134,共5页
变量个数大于 6的逻辑函数可以称为高变量逻辑函数 .逻辑函数的化简方法有公式法和图形法两种 .一般认为 ,对于高变量逻辑函数的化简 ,图形法没有实用价值 .本文观点与此不同 ,认为图形法对于高变量逻辑函数的化简仍然具有实用价值 ,同... 变量个数大于 6的逻辑函数可以称为高变量逻辑函数 .逻辑函数的化简方法有公式法和图形法两种 .一般认为 ,对于高变量逻辑函数的化简 ,图形法没有实用价值 .本文观点与此不同 ,认为图形法对于高变量逻辑函数的化简仍然具有实用价值 ,同时提出了用图形法化简高变量逻辑函数的具体方法 .提出并证明了一个定理 ,该定理揭示了将高变量逻辑函数转化为低变量逻辑函数并用小卡诺图来化简的一般意义和实用意义 .通过本文 。 展开更多
关键词 数字系统 布尔代数 逻辑函数 卡诺图 公式法
在线阅读 下载PDF
混合值逻辑及其应用 被引量:6
9
作者 程代展 赵寅 徐相如 《山东大学学报(理学版)》 CAS CSCD 北大核心 2011年第10期32-44,共13页
混合值逻辑是布尔逻辑和多值逻辑的一种自然推广,是本文作者及其研究小组引进的一个新概念。它在系统控制及相关领域中得到许多应用,显示了很强的生命力。本文的目的是对混合值逻辑的定义、运算及其应用给出一个较为系统的综述,并使相... 混合值逻辑是布尔逻辑和多值逻辑的一种自然推广,是本文作者及其研究小组引进的一个新概念。它在系统控制及相关领域中得到许多应用,显示了很强的生命力。本文的目的是对混合值逻辑的定义、运算及其应用给出一个较为系统的综述,并使相关概念及记号规范化。利用矩阵半张量积,首先介绍混合值逻辑算子的定义、计算方法及主要性质;其次分别介绍了混合值逻辑的3个方面的应用:(1)有限记忆的动态博弈;(2)解模糊关系方程;(3)动态-静态布尔网络。 展开更多
关键词 矩阵半张量积 混合值逻辑 动态博弈 模糊关系方程 动态-静态布尔网络
原文传递
基本型逻辑控制的研究 被引量:3
10
作者 刘文波 张佑林 《仪器仪表学报》 EI CAS CSCD 北大核心 2004年第1期99-102,共4页
主要阐述一种基本型逻辑控制的方法。其控制策略可以不依靠精确的数学模型 ,而是借助于人的控制经验、逻辑思维和计算机技术 ,根据泛布尔代数理论对实际控制对象进行逻辑抽象 ,将定性分析与定量估算有机地结合 ,从而形成一种有效的控制... 主要阐述一种基本型逻辑控制的方法。其控制策略可以不依靠精确的数学模型 ,而是借助于人的控制经验、逻辑思维和计算机技术 ,根据泛布尔代数理论对实际控制对象进行逻辑抽象 ,将定性分析与定量估算有机地结合 ,从而形成一种有效的控制规律。实验结果表明 ,该方法对被控对象有较强的可靠性 ,表明了这种方法的可行性和有效性 ,是一种比较实用的控制方法。 展开更多
关键词 模糊控制 基本型逻辑控制 数学模型 控制策略 模糊集 泛布尔代数理论
在线阅读 下载PDF
一种非真值函数性模糊逻辑 被引量:2
11
作者 吕建平 赵树芗 《微电子学与计算机》 CSCD 北大核心 2004年第10期90-92,共3页
Zadeh模糊逻辑因其不满足互补律(即排中律与矛盾律)而不是一个布尔代数。本文介绍了一种非真值函数性模糊逻辑,它遵守布尔代数的互补律,并且由于引用了条件隶属度,使其具有广泛的适应性。同时还证明了Zadeh模糊逻辑是它的一个特例。
关键词 模糊逻辑 布尔代数 非真值函数性
在线阅读 下载PDF
信息过滤模型的研究 被引量:2
12
作者 耿长欣 刘培玉 《计算机工程与应用》 CSCD 北大核心 2004年第7期93-94,共2页
信息过滤技术是当前研究的热点。该文简单地介绍了信息过滤中常用的三种模型:向量空间模型、布尔逻辑模型和概率推理模型;给出了一种基于模糊集合的过滤模型,通过筛选出关键词,为相关领域建立模糊集合;并阐述了如何确定该模糊集合中的... 信息过滤技术是当前研究的热点。该文简单地介绍了信息过滤中常用的三种模型:向量空间模型、布尔逻辑模型和概率推理模型;给出了一种基于模糊集合的过滤模型,通过筛选出关键词,为相关领域建立模糊集合;并阐述了如何确定该模糊集合中的隶属函数。 展开更多
关键词 信息过滤 向量空间模型 布尔逻辑模型 概率推理模型 模糊集 隶属函数
在线阅读 下载PDF
BL~*系统的一种扩张及相关性质 被引量:1
13
作者 张琼 吴洪博 《计算机工程与应用》 CSCD 北大核心 2010年第19期36-38,共3页
对BR0代数,Boole代数以及BL*系统,命题演算形式系统L进行了研究。首先讨论了BR0代数与Boole代数间的相互关系,随后在BL*系统中分别添加公理模式(A→B)A∨B或(A→(B→C))→(A∧B→C)得到BL*系统的两种扩张,并证明了BL*系统的这两种扩张... 对BR0代数,Boole代数以及BL*系统,命题演算形式系统L进行了研究。首先讨论了BR0代数与Boole代数间的相互关系,随后在BL*系统中分别添加公理模式(A→B)A∨B或(A→(B→C))→(A∧B→C)得到BL*系统的两种扩张,并证明了BL*系统的这两种扩张与命题演算形式系统L之间是等价的。 展开更多
关键词 模糊逻辑 命题演算 BR0代数 BOOLE代数 BL*系统 形式系统L
在线阅读 下载PDF
概率逻辑系统是与集合代数同态的布尔代数 被引量:1
14
作者 刘宏岚 郝卫东 《智能系统学报》 2011年第2期107-113,共7页
联结词的本质是命题的运算,只有对所有命题都适用的真值函数才能用于定义联结词.概率逻辑中由于命题的内涵相关性,任何[0,1]上的函数都不能完全适用于任意命题的运算,概率逻辑的联结词不能定义成真值函数.各种算子可以作为一种计算方法... 联结词的本质是命题的运算,只有对所有命题都适用的真值函数才能用于定义联结词.概率逻辑中由于命题的内涵相关性,任何[0,1]上的函数都不能完全适用于任意命题的运算,概率逻辑的联结词不能定义成真值函数.各种算子可以作为一种计算方法使用和研究,但不能代表一个逻辑系统研究系统的性质.概率逻辑系统是概率空间的逻辑表示,是与概率空间中的事件域(集合代数)同态的布尔代数.用事件域上的集合函数精确定义各种联结词,与经典二值逻辑相容,与事实相符,能够在经典逻辑框架内实现概率命题演算. 展开更多
关键词 概率逻辑 集合代数 布尔代数 同态 真值函数
在线阅读 下载PDF
基于分解表计算逻辑函数e导数的新方法 被引量:2
15
作者 马汝星 《科技通报》 北大核心 2014年第1期141-144,共4页
通过对逻辑函数分解表的分析,提出了改进的逻辑函数分解表。在此基础上,提出了基于改进的分解表计算逻辑函数一阶、二阶e导数的新方法。与图形方法相比,本文提出的方法具有无需画图、使用方便以及适合计算机编程操作等优点。
关键词 布尔代数 逻辑函数 分解表 e导数
在线阅读 下载PDF
一种基于布尔代数的秘密共享方案
16
作者 高洪江 邵利平 +1 位作者 衡星辰 覃征 《计算机工程》 CAS CSCD 北大核心 2007年第6期24-26,共3页
秘密共享方案是在n个参与者之间共享秘密k的方法。将布尔代数中的与或逻辑引入秘密共享而提出的新方案运算速度快,并具有灵活的自适应能力和良好的可扩展性,便于软件编程和硬件固化,可以与经典的加密方法紧密结合,以提高其安全性。
关键词 秘密共享 布尔代数 与或逻辑 合式基 逻辑集合
在线阅读 下载PDF
模糊逻辑中一些问题的探讨 被引量:1
17
作者 吕建平 赵树芗 《西安邮电学院学报》 1999年第1期29-32,共4页
在对Zadeh模糊逻辑运算公理系统存在的一些问题进行分析和探讨的基础上,提出了一种新的模糊逻辑系统,称为测度运算系统,并对这两种系统做了比较。
关键词 模糊逻辑 测度运算 布尔代数
在线阅读 下载PDF
有序二叉判定图及其构造算法研究 被引量:1
18
作者 刘建元 《西安邮电学院学报》 2001年第3期6-10,共5页
有序二叉判定图OBDD(orderedbinarydecisiondiagram)是一种数据结构 ,它把布尔函数表示为有向无回路图 ,是布尔函数的一种正则表示 ,可以用来检查布尔函数的一些性质如可满足性、等价性等等。本文将详细地介绍OBDD的数据结构及基于OBDD... 有序二叉判定图OBDD(orderedbinarydecisiondiagram)是一种数据结构 ,它把布尔函数表示为有向无回路图 ,是布尔函数的一种正则表示 ,可以用来检查布尔函数的一些性质如可满足性、等价性等等。本文将详细地介绍OBDD的数据结构及基于OBDD的布尔函数运算 。 展开更多
关键词 二叉决策图 分支程序 符号操作 布尔函数 布尔代数 逻辑设计验证
在线阅读 下载PDF
逻辑运算在定性意义下的连续性
19
作者 邓安生 陈伟利 《东北师大学报(自然科学版)》 CAS CSCD 1998年第2期1-3,共3页
现有的模糊逻辑一般采用定量的方法描述和处理逻辑运算,不能全面满足逻辑运算的公理化框架.使用布尔代数上的运算解释逻辑运算的语义,可以极好地满足除连续性以外的公理的要求.基于新定义的距离函数概念,能够在定性的意义下较为合... 现有的模糊逻辑一般采用定量的方法描述和处理逻辑运算,不能全面满足逻辑运算的公理化框架.使用布尔代数上的运算解释逻辑运算的语义,可以极好地满足除连续性以外的公理的要求.基于新定义的距离函数概念,能够在定性的意义下较为合理地解释逻辑运算的连续性,从而说明定性方法具有十分清楚的直观背景. 展开更多
关键词 逻辑运算 布尔代数 距离函数 连续性
在线阅读 下载PDF
不精确推理机制的模糊逻辑解释
20
作者 邓安生 李业丽 《吉林师范大学学报(自然科学版)》 1990年第4期21-24,共4页
本文采用真值取在布尔代数上的模糊逻辑从理论上解释了专家系统中的不精确推理机制.
关键词 证据 规则 证据积累 可信度传播
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部