Formalization for Granular Computing Based on Logical Formulas

作     者：Lin Yan Qing Liu 

作者机构：Key Laboratory for Intelligent Information Processing College of Computer and Information Technology Henan Normal University Xinxiang 453007 China Department o f Computer Science Nanchang University Nanchang 330029 China 

出 版 物：《南昌工程学院学报》 (Journal of Nanchang Institute of Technology)

年 卷 期：2006年第25卷第2期

页      面：60-65页

学科分类：08[工学] 0815[工学-水利工程] 

基　　金：NaturalScienceFund ofHenan ProvinceofChina underGrant No .0611055200 

主　　题：abstract granule specific granule granular space formula granular coputing 

摘      要：In order to make formalization for granular computing,some kinds of formulas are constructed on a universe by a logical method. Every formula expresses a property, and can separate a semantic set which consists of all of the objects satisfying the *** a granular space on the universe is produced based on the formulas, and the semantic sets separated by the formulas are taken as a formal definition for granules,and are called abstract ***,it is proved that any specific granule from an extended mathematical system can be formalized into an abstract granule,the conclusions is obtained that specific granules from approximate spaces and information systems can also be formalized into abstract granules. Based on a granular space and abstract granules,granular computing is defined,which finally realizes the goal of formalization for granular computing.