排序方式: 共有38条查询结果,搜索用时 15 毫秒
1.
文中定义了区分属性集的码函数,并通过对区分矩阵中区分属性集码函数值的二次筛选得到区分函数的最小析取范式,最小析取式的每一个合取项即为信息系统的一个约简,该算法可以计算出信息系统的所有约简. 相似文献
2.
3.
基于"逐步展开"模式的Tableau算法在各类非循环定义的描述逻辑概念的可满足性判断中会产生大量的重复性的中间概念描述,因而浪费大量的空间.为此,提出了-个全新的对非循环定义的ALCN-概念可满足性进行判断的完全析取范式(CDNF)算法.CDNF算法直接在输入概念描述上,以角色为纽带构建不同层次的析取范式,从而将输入概念描述重组成一种层次结构的可满足性直接可知的完全析取范式,从而实现了真正意义上的"计算"可满足性.CDNF算法采用"一步到位"的展开方式并且直接在输入概念描述上进行处理,因而可最大程度地消除概念描述的重复.因此,CDNF算法比Tableau算法能节省线性甚至指数倍于输入概念描述长度的空间代价. 相似文献
4.
命题公式主范式在数理逻辑中有重要作用,其方法论也颇具价值。针对解决求主析取范式的传统方法比较繁琐的情况,通过对极小项下标特征的讨论,利用二进制给出了由命题公式的析取范式确定主析范式中的二进制求法,从而简化了由繁杂的命题公式推演或真值表计算求主析取范式的计算过程,给出了求命题公式主析取范式的简便求法——表格法。该法稍做变动后,对求主合析取范式同样适用。 相似文献
5.
6.
李宝健 《北方工业大学学报》2002,14(3):18-20
本文对简单合取式的主析取范式及简单析取式的主合取范式作了数字形式上的表示,在一定程度上简化了自然推理系统P. 相似文献
7.
8.
在双枝模糊集基础上,通过对单枝模糊逻辑的合理扩展,建立了双枝模糊逻辑的框架。从双枝模糊命题入手,给出双枝模糊逻辑的性质和双枝模糊逻辑公式,以及双枝模糊逻辑的析取范式与合取范式。这些结果为研究双枝模糊推理和双枝模糊控制奠定了基础。 相似文献
9.
10.
知识约简是粗糙集理论研究的主要内容之一,而析取范式的生成又是知识约简的重点,本文提出的析取范式生成算法可以直接从合取范式生成析取范式,同时给出了属性约简算法的具体步骤,还进行了时间复杂性的分析和实例验证,表明算法的有效性。 相似文献