A logical formulation of the granular data model. (2nd December 2009)

• Record Type: Journal Article
• Authors: Fan, Tuan-Fang; Liau, Churn-Jung; Lin, Tsau-Young; Lee, Karen
• Is Part Of: International journal of granular computing, rough sets and intelligent systems. Volume 1:Number 3(2010)
• Page Start: 289
• Page End: 307
• Publication Date: 2009-12-02
• Subjects: isomorphic data tables -- rough sets -- decision logic -- first-order logic -- granular data models -- data mining -- rough set theory -- association rule mining; Intelligent agents (Computer science) -- Periodicals; 006.3
• Languages: English
• ISSNs: 1757-2703

Abstract

In data mining problems, data is usually provided in the form of data tables. To represent knowledge discovered from data tables, decision logic (DL) is proposed in rough set theory. While DL is an instance of propositional logic, we can also describe data tables by other logical formalisms. In this paper, we use a kind of many-sorted logic, called attribute value-sorted logic, to study association rule mining from the perspective of granular computing. By using a logical formulation, it is easy to show that patterns are properties of classes of isomorphic data tables. We also show that a granular data model can act as a canonical model of a class of isomorphic data tables. Consequently, association rule mining can be restricted to such granular data models.