分明函數(shù)簡法的粒計算分析與證明.pdf

1、信息系統(tǒng)是計算機科學許多領域的重要研究對象之一,在數(shù)據(jù)推理、數(shù)據(jù)挖掘、數(shù)據(jù)分析和數(shù)據(jù)庫系統(tǒng)等領域中,都占有非常重要的地位。而信息系統(tǒng)的約簡是信息系統(tǒng)的主要研究內容,因此,好多學者都在信息系統(tǒng)的約簡上做了大量的研究工作,也產生了約簡的多種理論方法。由粗糙集理論的創(chuàng)始人Pawlak的學生Skowron于1991年創(chuàng)建的分明函數(shù)約簡法,自問世以來,受到了眾多學者的關注,對其討論和爭議一直沒有停止,因為分明函數(shù)約簡法只有方法,沒有證明。直到20

2、09年,閆林和劉清給出了基于粒計算的證明方法,雖然這是對變形的分明函數(shù)約簡法的證明方法,但從理論上是完全成立的,而且也是目前唯一一種證明方法。
　　 粒計算覆蓋了有關粒度的理論、技術和方法,是當前人工智能論域中模擬人類思維來解決復雜問題的一種新的方法,因此可以作為復雜問題求解、模糊數(shù)據(jù)處理的一種工具。
　　 閆林和劉清給出的證明方法,只是針對完備信息系統(tǒng),而對于不完備信息系統(tǒng)是否成立呢?這正是本文的研究內容。因為不完備信