算子Rough逻辑及其归结原理

本文基于Rough集理论定义了算子η及其合成运算，并用它作用于Rough逻辑公式，从而得到了带算子的Rough逻辑．讨论了这种逻辑公式的真值、语义模型、性质、归结原理及完备性定理和它的证明．     

Rough集

1993—94年我在美国Stanford大学和San Jose州立大学作高访学者时,与本文致谢中提到的T.Y.Lin教授合作研究Rough集理论及其应用,我们的工作曾在1994年11月美国举行的第三次Rough集和软计算国际学术会议上受到Z.Pawlak教授的赞扬。这一理论及其应用现已成立了国际性学术研讨会,参加的成员有波兰、加拿大、美国、日本、俄罗斯、乌克兰和印度等。每年或两年举行一次学术会议。国内也开始陆续发表Rough集方面的文章。在此,我们将“Rough集”译出,以飨读者。——刘清     

可变精度Rough集模型

首先痢要描述了Pawlak的Rough集模型,然后,提出可变精度Rough集模型,在定义Rugh隶属函数概念的基础上,详细论述了可变精度的Rugh集模型和基于决策理论的Rugh集模型。     

基于不分明与相似关系的Rough集的超图描述

近些年来,尤其是进入九十年代,国内外众多学者对Rough集理论及其应用进行了深入而广泛的研究,并取得了许多重大进展。在波兰,作为Rough集理论的发源地,在Z.Pawlak教授的带领下,许多计算机和其他领域的专家、学者们先后开发出了Rough集函数库、RoughDas/RoughClass、RSES等软件支撑系统,并在医学数据分析和工业控制     

基于Rough集的Rough数及λ算子的逻辑价值

本文在介绍Ｒｏｕｇｈ集基础上，提出了基于Ｒｏｕｇｈ集理论的Ｒｏｕｇｈ数概念及其运算法则，并给出了这种Ｒｏｕｇｈ数应用实例及其近似程度算子λ在Ｒｏｕｇｈ逻辑中的理论价值。     

Rough集高效算法的研究

深入分析了现有Rough集算法低效性的根源，围绕不可区分关系和正区域两个核心概念，研究了不可区分关系的性质，给出并证明了正区域的一种等价计算方法，从而得出高效的Rough集基本算法；随后，分析了正区域的渐增式计算，并给出了一种完备的同性约简算法．理论分析和实验结果表明，该约简算法在效率上较现有的算法有显著提高．     

Rough集理论代数观与信息观的差异量化分析

决策表是Rough集理论的处理对象，其核属性的计算往往是信息约简过程的出发点和关键．代数观和信息观是Rough集理论研究中的两种主要理论观点和方法．本文将针对决策表核属性的计算问题，探讨Rough集理论代数观和信息观这两种形式的关系，通过仿真实验，得到它们在决策表核属性问题上的统计量化差异，并发现在包括大量不相容信息的决策表系统中这两种观点之间的差异将达到极端情况．     

带Rough相等关系词的Rough逻辑系统及其推理

以公式的定义域集的下和上近似分别相等方法，定义了两个Rough逻辑公式Rough相等，并以此定义了Rough相等关系词“＝R”，它不仅比等值词“←→”运算有更多的直观性，而且既考虑了可定义的公式，也包含了那 边界线上不可定义或可能可定义的公式，所以，经典逻辑中的隐含量φ→ψ被移至Rough逻辑中应当解释为R.(d(φ））包含R.(d(ψ))∧R^*(d(φ))包含R^*（d(ψ））。经典逻辑中的等值式φ←→ψ被移至Rough逻辑中应当解释为R.(d(φ））＝R.(d(ψ))∧R^*(d(φ))＝R^*（d(ψ）），其中d(F)是公式F的定义区域，它可能是可定久集，也可能是不可定义集或Rough集，这是Rough逻辑与经典逻辑与其它非标准逻辑的重要区别之一，将这种Rough相等词“＝R”引入Rough逻辑中，因而得一些相关的性质和相关的推理规则。文本中建立了带Rough相等关系词“＝R”的Rough逻辑推理系统，并在这个系统下用演绎推理方法证明了几个具体的实例。     

基于Rough集的牛顿迭代法求方程近似解算法

Rough集理论作为一种新型的数学工具已广泛应用于各个领域。提出一种基于Rough集的牛顿迭代法求方程近似解算法，该算法将Rough理论中的下近似和上近似与牛顿迭代法有机地结合起来，寻找方程的近似解，其优点在于所求方程的根是一个精确的区间，该区间中任意实数都可作为所求方程的近似解，避免了一般方法求方程的近似解，把求得的近似数作为近似解，算法计算简单，易推广到其它的近似计算中，同时，有助于人们深刻理解Rough集理论本质。     

Rough集定义的拓广

对Rough集定义进行了拓广,通过将拓广的定义与传统的Rough集定义的比较分析证明了拓广是有意义、实用的.