排序方式: 共有9条查询结果,搜索用时 0 毫秒
1
1.
关于格蕴涵代数模糊滤子的一个注记 总被引:1,自引:1,他引:1
在格蕴涵代数基本结构基础上进一步研究了格蕴涵代数的模糊滤子的性质,指出了模糊滤子可以诱导出格蕴涵代数的一簇同余关系,并研究了这簇同余关系的代数结构及灾些同余关系所诱导的商代数之间的同态映射。 相似文献
2.
针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究.简述了LF(X)及其中公式的相关概念,证明了对LF(X)中公式进行转化的若干理论结果,并由此给出化LF(X)中任一公式为可归约形式的理论基础和基本算法. 相似文献
3.
概念格的分层及逐层建格法 总被引:4,自引:0,他引:4
给出了分层概念格重要性质:同层概念不可比和每个概念至少被1个上层的概念覆盖.得到了概念格上的对象映射和属性映射的一般计算公式和在对象化简过程中格结构不变的定理.由上述性质和定理,给出建格算法.此方法以概念格分层为基础,逐层建格.因为在建每层格的节点的过程中同时进行筛选,所以不会生成冗余重复的格节点. 相似文献
4.
基于剩余蕴涵的模糊三I方法的支持度 总被引:13,自引:0,他引:13
利用连续三角模导出剩余蕴涵算子,根据三角模和剩余蕴涵算子的性质,得出了满足一定条件的该类算子的三I算法.分析了在该类算子下的支持度理论,并推导了一般化的α-三IFMP和α-三IFMT公式. 相似文献
5.
格蕴涵代数中滤子的若干性质 总被引:3,自引:0,他引:3
首先给出了滤子的几个等价条件,接着定义了固执滤子,证明了固执滤子,极大关联滤子,极大正关联滤子相互等价,得出了越滤是固执滤子及固执滤子是索滤子的结论。最后通过蕴涵同态给出了格蕴涵代数L的固执滤子的一个等价条件,即对任意一个格蕴涵代数L′,总存在一个从L到L′蕴涵同态,使这个滤子就是同态的对偶核。 相似文献
6.
7.
8.
Introduction The concept of lattice was first introduced andelaborated by Dedekind, and the abstract structure oflattice was proposed by Birkhoff in 1935[1]. Sincethen, the lattice theory has gradually developed to be acomplete theoretical system[2], and extensively studiedby researchers[3-6]. In 1990s, Xu[7]proposed the con-cept of lattice implication algebras and investigatedsome of their properties. Then, Xu and Qin[8]intro-duced the notion of filters in lattice implication algebraand dis… 相似文献
9.
格蕴涵代数的单性与周期性 总被引:2,自引:0,他引:2
讨论了格蕴涵代数的单性和周期性,并研究了这两种性质之间的关系,同时给出了格蕴涵代数具有单性的几个断定方法,得出了一个重要结论;如果有限的单格蕴涵代数中存在对偶原子,则一定唯一。 相似文献
1