1) normal implication
正规蕴涵
1.
The implication operator whose adjoint pairs is a triangle norm,is a normal implication.
通过对一些蕴涵算子性质的的研究得出:伴随对是三角模的蕴涵算子一定是正规蕴涵;若正规蕴涵的伴随对是三角模则其导出算子是其自身;正则蕴涵算子的导出算子是其自身。
2) Implication Rule
蕴涵规则
1.
The support degree and confidence degree of implication rule in th e evaluation itemset was abstracted from the concept lattice of inter-organizati on knowledge scatter.
在该方法中,首先依据组织内部知识分布的概念格提取评价项目集中蕴涵规则的支持度和可信度,然后利用关联函数对组织的知识分布进行评价。
2.
The problem of how to extract a complete and non-redundant set of implication rules of a context from the concept lattice in Formal Concept Analysis is studied in this paper.
对形式概念分析中如何从概念格提取出形式背景的完备的无冗余的蕴涵规则集进行了研究,从数学理论上证明了通过求出的概念格中的每个概念的真内涵缩减集可以得到形式背景的完备的蕴涵规则集,提出了如何再去除其中的冗余蕴涵得到形式背景的完备的无冗余的蕴涵集合的方法并从数学理论上证明了该方法的正确性,给出了一个从概念格得到形式背景的完备的无冗余的蕴涵规则集的算法。
3) normal FIOs
正常蕴涵
4) positive implicative filters
正蕴涵滤子
1.
Implicative filters and positive implicative filters of MTL algebras;
MTL代数的蕴涵滤子与正蕴涵滤子
5) Regular Implication lattice
正则蕴涵格
6) the positive implicative MP filter
正蕴涵MP滤子
1.
Prove that the positive implicative MP filter is equivalent to the Boolean MP filter.
提出正蕴涵MP滤子和固执MP滤子的概念,讨论了它们的一些性质定理。
补充资料：正规
符合正式规定或公认标准的：正规战｜正规程序。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条