算子Rough逻辑及其在数据发掘上应用的研究

主要研究算子Rough逻辑及其被用于数据库中的数据挖掘。共发表了20篇论文，其中5篇发表于国际学术刊物，另15篇分别发表于《计算机学报》等国内刊物。完成了一部著作《Rough集及Rough推理》。成果的创新之处在于它建立了真值逻辑概念并建立了这种逻辑的语法和语义，归结原理和归结策略等新结果。真值逻辑概念将为经典逻辑非单调化提供了新的途径，也为Rough集推理提供了具体的应用。学术界反映良好，Rough集的创始人Pawlak称“真值逻辑是一个好的开状”也有人称“真值逻辑的提出是个好主意”，它将为国际上的大逻辑学家王浩提出的“Approximate proof”的实现迈出了初步的一步。有的论文被美国柯尔比科学文化信息中心作为优秀论文录入全球信息网。