析取范式相关论文
主要讨论中介逻辑命题演算系统MP中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用.该范式分为真值项与矛盾......
卡诺(Karnaugh)图化简法(或称真值图化简法),是从函数(*)的析取范式出发,借助于卡诺图的几何直观进行化简的方法。本文对①、②和......
本文对BDD的构造算法进行了分析和改进,给出了BDD包中构造BDD的算法,并分析了该算法存在的问题及相应的改进技术,提出了自己的改......
Ad hoc网络的自组织、无中心节点和网络拓扑结构动态变化等特性,使其所面临的安全问题更为复杂。基于属性加密是在基于身份加密技......
Skowron差别矩阵给出了粗集约简的一般方法,但该算法要求生成、存储差别矩阵的中间环节,造成时间和空间上的浪费.实际应用中给出一......
在模糊逻辑不断走向成熟的过程中,众多学者对Lukasiewicz命题演算系统进行了大量研究并取得一些有价值的成果.对Lukasiewicz模糊逻......
功能树是概念设计中一种典型的、应用广泛的功能模型.使用现有方法计算任意功能树的相似度存在困难.因此,基于布尔代数提出了析取......
基于统一查询模型与单个数据源模式间的映射和由查询条件生成的最简析取范式,将用户基于统一查询模型的查询转化为对成员数据库......
本文试图通过引进外推推理来克服基于规则的专家系统的不足,并为演绎推理和外推推理寻求一种一致的解释和理论基础.在讨论了规则的......
本文给出了模态子句集的标准子句集概念,提出了一种基于标准子句集的模态归结方法的变型,称之为标准模态归结.证明了任意模态子句集恒......
作为最具挑战的研究课题,人脸识别技术近年来备受人们的关注。人脸识别是一种通过计算机提取人脸的特征,并根据这些特征进行身份验证......
差别矩阵约简算法是粗集属性约简的重要方法,简化算法能省去生成、存储差别矩阵的中间环节,减少时空运算,是一种实用方法.指出简化......
介绍了利用析取范式进行查询分解的算法,该分解方法在语义分析和规范化的基础上,对查询语句进行重组,可以大幅度地减少连接运算的......
基于分辨矩阵获取一个决策表所有约简的过程实质上是一个将分辨函数从合取范式转换为析取范式的过程,其效率对于属性约简算法性能......
基于模糊集合方法和Wordnet的查询扩展技术,提出了一种用户查询词扩展的信息检索方法。先用Wordnet找出查询词的同义词,再利用广义......
属性约简是Rough集理论的核心内容之一,计算所有的属性约简已经被证明是NP完全问题.本文基于分而自治思想,在Skowron分明矩阵法的......
P-集合(P-sets)是一类具有动态特征的集合模型,在P-集合中,元素的属性满足数理逻辑中的合取范式。P-集合是把动态特性引入到有限普......
函数P-集合是P-集合的函数形式,是通过改进P-集合得到的一个具有动态特征、规律(函数)特征的信息规律模型。在函数P-集合中,函数的......
定义了一种既永真又易于识别的析取范式──三角式,用它对析取范式的结构进行了分析,得出如下结果:在由n个确定的命题变无所可能构成的......
探讨了如何利用二叉树来设计逻辑表达式在计算机上的逻辑结构和存储结构,以及在这种结构上如何实现逻辑表达式的基本运算,进而实现......
我们考虑具有优先代表资格的NP完全问题——析取范式的永真性判定问题。本文从全局性构造的角度对它作了某种分析,得出如下结果:在......
本文研究了用吸收关系与补关系构造求解DNF的永真性的近似快速算法问题。在第二节给出了偏序集〈S;≤〉的定义,研究了〈S;≤〉上的......
本文考虑具有优先代表资格的NP完全问题的对偶问题-析取范式永真性判定问题。本文从构造的角度对析取范式作了分析,得出了如下结果:在由......
本文对析取范式的结构作了结构分析,得出了如下结果;在恰当由n个确定的例题变元所可能构成的一切析取范式中,含均覆盖的析取范式的比例......
对于粗糙集的一些基于信息熵等约简算法,极大地丰富了粗糙集理论。但在信息检索领域,实践证明,针对网络数据的不完备性,基于差别矩阵的......
本文给出了布尔逻辑公式中文字和小项可消性的一些充分必要条件,为进一步提出新的布尔逻辑公式的化简方法奠定了一些理论基础。......
把基于逻辑公式的粒计算方法用于优势关系下反优势函数的理论分析。首先证明反优势函数对应的粒等于所有反优势关系的并,然后对反优......
针对非循环概念提出了一种对SHOIN(D)概念可满足性进行判断的方法——CDNF(complete disjunctive normal form)算法.该算法通过把非循环......
基于Rough Set理论,研究从Skmwon分辨矩阵到规则自动生成过程中的关键算法的改进问题。提出由分辨矩阵到合取项矩阵的计算方法,建立......
讨论了Fuzzy函数的析取范式化为最简式的问题,得到了几个充必要条件,同时给出了Fuzz6函数的析取范式化为最简式的一般方式。......
合取范式化为析取范式的计算复杂度是指数级别的,为了降低它的计算复杂度,提出了合取范式化为析取范式的DNA表面计算.因为DNA中碱基对......
知识约简是粗糙集理论研究的主要内容之一,而析取范式的生成又是知识约简的重点,本文提出的析取范式生成算法可以直接从合取范式生成......
给出了利用命题逻辑公式的析取范式和主析取范式求图的全部极小支配集和最小支配集以及全部极小边支配集和最小边支配集的一般算法......
P=?NP问题是计算复杂性中至今仍未解决的著名难题。这个问题的正面回答等价于有效算法判断析取范式的永真性。显然,寻找一个有效算......
通过研究属性约简中合取范式到析取范式的转换过程,发现减少冗余项和重复计算可以适当提高转换效率。同时考虑到范式的动态变化,设......
当数据立方查询条件不是合取范式时,一般是将它转化成为若干合取范式的并的形式(析取范式).但如果各合取范式之间有交集,则交集部......
探讨了如何将数据结构中广义表进行扩展,并利用这个扩展广义表来设计逻辑表达式在计算机上的逻辑结构和存储结构,以及在这种结构上......
基于'逐步展开'模式的Tableau算法在各类非循环定义的描述逻辑概念的可满足性判断中会产生大量的重复性的中间概念描述,因......
在双枝模糊集基础上,通过对单枝模糊逻辑的合理扩展,建立了双枝模糊逻辑的框架。从双枝模糊命题入手.给出双枝模糊逻辑的性质和双枝模......
本文给出了代换定理的优于文献[1]的证明方法,并把代换定理与其他定理结合,构造了一个判定DNF表达式永真性的算法,使代换定理得到......
基于分辨矩阵计算信息系统的所有约简,都需要将合取范式转化为析取范式,但是该转化过程存在组合爆炸问题。为解决该问题,根据合取......
针对主析取范式在命题逻辑中的作用,在文献[1]的理论基础上,给出了主析取范式的快速求法,这个快速求法能够准确快速求出一个命题公......
随着网络攻击的增多,各类安全系统被广泛应用,其关键和核心是规则匹配。加速规则匹配可以提高系统性能,使其适应更高速网络和更严格环......
【正】 SDI—EC<sup>1022b</sup>情报检索软件①是一个以顺排档为基础的脱机处理应用软件系统,1982年上半年鉴定通过。1983年下半......
在双枝模糊集基础上,建立了双枝模糊逻辑的框架,这是对单枝模糊逻辑的合理扩展。从双枝模糊命题入手,给出双枝模糊逻辑的性质和双枝模......
在经典逻辑和t-模基础逻辑中提出了排中律与拟排中律的新概念,说明经典逻辑(带对偶非的MTL)满足排中律(拟排中律),证明了Go?del模糊逻辑......