排序方式: 共有17条查询结果,搜索用时 531 毫秒
1.
2.
3.
粗糙集代数与格蕴涵代数 总被引:1,自引:1,他引:1
讨论粗糙集代数与格蕴涵代数的关系以及由粗糙集代数构造格蕴涵代数的方法.借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子及余运算之后,粗糙集代数就成为格蕴涵代数。 相似文献
4.
格蕴涵代数的拓扑结构 总被引:1,自引:1,他引:1
给出了格蕴涵代数中弱滤子的概念,对弱滤子的性质和结构进行了研究,证明了格蕴涵代数中全体弱滤子构成一个拓扑结构,格蕴涵代数之间的蕴涵同构是相应拓扑结构之间的拓扑映射。 相似文献
5.
Residuated lattice is an important non-classical logic algebra, and L-fuzzy rough set based on residuated lattice can describe the information with incompleteness, fuzziness and uncomparativity in information systems. In this paper, the representation theorems of L-fuzzy rough sets based on residuated lattice are given. The properties and axiomatic definition of the lower and upper approximation operators in L-fuzzy rough sets are discussed. 相似文献
6.
The covering rough sets theory is a generalization of traditional rough set theory,and can also describe information with incompleteness and fuzziness in information systems.In this paper,we first provide the definitions of several upper and lower covering approximation operators on the covering approximation space.Then,we study the properties of these operators.Finally,we propose the mutual relations between approximation operators and similar relations of the operator(Ⅰ)based on the covering rough sets. 相似文献
7.
基于剩余蕴涵的模糊概念格构造方法 总被引:3,自引:0,他引:3
介绍了由下半连续三角模生成的剩余蕴涵.建立了关于模糊形式背景的模糊概念格,并讨论了其层次结构、由模糊集生成的模糊概念以及Wille算子的不动点.用模糊关系实例说明了基于Godel剩余蕴涵的模糊概念格的构造方法. 相似文献
8.
针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究.简述了LF(X)及其中公式的相关概念,证明了对LF(X)中公式进行转化的若干理论结果,并由此给出化LF(X)中任一公式为可归约形式的理论基础和基本算法. 相似文献
9.
以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证明和协调性等基本定义,并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理. 相似文献
10.
讨论有关格蕴函代数结构的模型论性质,证明了形式化格蕴函数代数理论T保子模型,保模型链之并、保模型同态、理论T不是完备的,也不是模型完备的,因此不存在内在Skolem函数。另外,文中借助于超滤概念提出了格蕴函代数簇的超积及格蕴函代数中模糊子集的模糊超积,并进而研究了模糊滤子、模糊关联滤子及模糊子格蕴涵代数的相应性质。 相似文献