Hybrid ASP-based Approach to Pattern Mining. Issue 4 (18th January 2019)

• Record Type: Journal Article
• Authors: PARAMONOV, SERGEY; STEPANOVA, DARIA; MIETTINEN, PAULI
• Is Part Of: Theory and practice of logic programming. Volume 19:Issue 4(2019)
• Page Start: 505
• Page End: 535
• Publication Date: 2019-01-18
• Subjects: answer set programming, -- pattern mining, -- structured mining, -- sequence mining, -- itemset mining, -- graph mining; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068418000467
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: Detecting small sets of relevant patterns from a given data set is a central challenge in data mining. The relevance of a pattern is based on user-provided criteria; typically, all patterns that satisfy certain criteria are considered relevant. Rule-based languages like answer set programming (ASP) seem well suited for specifying such criteria in a form of constraints. Although progress has been made, on the one hand, on solving individual mining problems and, on the other hand, developing generic mining systems, the existing methods focus either on scalability or on generality. In this paper, we make steps toward combining local (frequency, size, and cost) and global (various condensed representations like maximal, closed, and skyline) constraints in a generic and efficient way. We present a hybrid approach for itemset, sequence, and graph mining which exploits dedicated highly optimized mining systems to detect frequent patterns and then filters the results using declarative ASP. To further demonstrate the generic nature of our hybrid framework, we apply it to a problem of approximately tiling a database. Experiments on real-world data sets show the effectiveness of the proposed method and computational gains for itemset, sequence, and graph mining, as well as approximate tiling. Under consideration in Theory and Practice of Logic Programming.