给出了一种由粗糙集代数构造格蕴涵代数的方法。根据同态映射,讨论了相应格蕴涵代数的同态性质。证明了在满足一定条件下由粗糙集代数可以构造一个与之格蕴涵同态的代数结构,此为基于粗糙集的逻辑推理提供了赋值域,这是本文意义之所在。
This paper is about a method of constructing lattice implication algebra based on the rough set algebra and investigates some homomorphism properties. Besides, it also proves an algebra structure which is a lattice implication homomorphism can be got when some conditions meet. All mentioned above can provide a valuation field for the inference of rough set, what is the meaning of the thesis.