分明函数简法的粒计算分析和证明.pdf

摘要 信息系统是计算机科学许多领域的重要研究对象之一，在数据推理、数据挖掘、数 据分析和数据库系统等领域中，都占有非常重要的地位。而信息系统的约简是信息系统 的主要研究内容，因此，好多学者都在信息系统的约简上做了大量的研究工作，也产生 的分明函数约简法，自问世以来，受到了众多学者的关注，对其讨论和争议一直没有停 止，因为分明函数约简法只有方法，没有证明。直到2009年，闫林和刘清给出了基于 粒计算的证明方法，虽然这是对变形的分明函数约简法的证明方法，但从理论上是完全 成立的，而且也是目前唯一一种证明方法。 粒计算覆盖了有关粒度的理论、技术和方法，是当前人工智能论域中模拟人类思维 来解决复杂问题的一种新的方法，因此可以作为复杂问题求解、模糊数据处理的一种工 具。 闫林和刘清给出的证明方法，只是针对完备信息系统，而对于不完备信息系统是否 成立呢?这正是本文的研究内容。因为不完备信息系统在现实中大量存在，因此对不完 备信息系统的研究也是非常有意义的。本文的主要研究工作如下： (1)利用逻辑推理和粒计算理论建立不完备信息系统上的粒空间，构造分明函数对应 的粒，完成不完备信息系统上分明函数约简法的证明。 (2)延伸了闫林和刘清的证明方法，使分明函数约简法在广义的信息系统中得到了证 明，这不仅使人们对分明函数约简法有了更新的理解和认识，也对粒计算的研究增添了 新的内容和研究途径。 关键词：粒计算，不完备信息系统，分明函数，相容关系，属性约简 ABSTRACT Informationisoneofthe research in System important fieldsof science．It objectsmany computer a indata anddatabase occupiesveryimportantposition reasoning，datamining，dataanalysis system，etc． Andreductionof informationisthemainresearch of system contentsinformation scholarsdoalotofresearchand theoreticalmethodsonreductionofinformation producemany system． founder set of Pawlak’S amethod Skowron，the roughtheory students，establishednamedattribute reduction in function1991．Thereductionmethod by sufferedfromsincethe discernibility advent．Many scholars’attentiontothediscussionanddebatehas not thereductionmethodhasnotbeen stopped，because and a methodbasedon proved．Until2009，YanLin is