本文特别介绍了一种λ-归结方法,得到λ-归结原理的完备性,从讨论中可以突出λ-归结方法依赖于算子的合成运算[η,η]的选择.......

在介绍Ｒｏｕｇｈ集的基础上，定义了Ｒｏｕｇｈ下（Ｌ）和上（Ｈ）近似算子，建立了基于Ｒｏｕｇｈ集理论的模态逻辑和Ｒｏｕｇｈ逻辑，阐述了这两种逻辑能在Ｒｏｕｇｈ集公理化基础上被统一起来，并且随着......

基于rough集的偶序对（下近似,上近似）表示,通过改进基于rough集的逻辑系统L的方法引入新的rough蕴涵算子,研究了它的基本性质,并将其......

针对信息模糊或缺失的不确定上下文推理的难点问题,以Rough逻辑为基础,结合粒计算的思想,利用上下文信息本身的层次性,将上下文划......