Hybrid ASP-Based Approach to Pattern Mining

  • Sergey ParamonovEmail author
  • Daria Stepanova
  • Pauli Miettinen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10364)


Detecting small sets of relevant patterns from a given dataset 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 either focus on scalability or on generality. In this paper we make steps towards combining local (frequency, size, cost) and global (various condensed representations like maximal, closed, skyline) constraints in a generic and efficient way. We present a hybrid approach for itemset and sequence mining which exploits dedicated highly optimized mining systems to detect frequent patterns and then filters the results using declarative ASP. Experiments on real-world datasets show the effectiveness of the proposed method and computational gains both for itemset and sequence mining.


  1. 1.
    Agrawal, R., Mannila, H., Srikant, R., Toivonen, H., Verkamo, A.I.: Fast discovery of association rules. In: Advances in Knowledge Discovery and Data Mining, pp. 307–328 (1996)Google Scholar
  2. 2.
    Aoga, J.O.R., Guns, T., Schaus, P.: An efficient algorithm for mining frequent sequence with constraint programming. In: Frasconi, P., Landwehr, N., Manco, G., Vreeken, J. (eds.) ECML PKDD 2016. LNCS, vol. 9852, pp. 315–330. Springer, Cham (2016). doi: 10.1007/978-3-319-46227-1_20 CrossRefGoogle Scholar
  3. 3.
    Bonchi, F., Lucchese, C.: On condensed representations of constrained frequent patterns. Knowl. Inf. Syst. 9(2), 180–201 (2006)CrossRefGoogle Scholar
  4. 4.
    Eiter, T., Brewka, G., Dao-Tran, M., Fink, M., Ianni, G., Krennwallner, T.: Combining nonmonotonic knowledge bases with external sources. In: Ghilardi, S., Sebastiani, R. (eds.) FroCoS 2009. LNCS (LNAI), vol. 5749, pp. 18–42. Springer, Heidelberg (2009). doi: 10.1007/978-3-642-04222-5_2 CrossRefGoogle Scholar
  5. 5.
    Gebser, M., Guyet, T., Quiniou, R., Romero, J., Schaub, T.: Knowledge-based sequence mining with ASP. In: Proceedings of 25th International Joint Conference on Artificial Intelligence, IJCAI (2016)Google Scholar
  6. 6.
    Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of ICLP/SLP, pp. 1070–1080 (1988)Google Scholar
  7. 7.
    Guns, T., Dries, A., Nijssen, S., Tack, G., De Raedt, L.: MiningZinc: a declarative framework for constraint-based mining. Artif. Intell. 244, 6–29 (2017)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Guns, T., Paramonov, S., Négrevergne, B.: On declarative modeling of structured pattern mining. In: Declarative Learning Based Programming, AAAI Workshop (2016)Google Scholar
  9. 9.
    Guyet, T., Moinard, Y., Quiniou, R.: Using answer set programming for pattern mining. CoRR abs/1409.7777 (2014)Google Scholar
  10. 10.
    van der Hallen, M., Paramonov, S., Leuschel, M., Janssens, G.: Knowledge representation analysis of graph mining. CoRR abs/1608.08956 (2016)Google Scholar
  11. 11.
    Jabbour, S., Sais, L., Salhi, Y.: Boolean satisfiability for sequence mining. In: Proceedings of 22nd ACM International Conference on Information and Knowledge Management (CIKM), pp. 649–658 (2013)Google Scholar
  12. 12.
    Jabbour, S., Sais, L., Salhi, Y.: Decomposition based SAT encodings for itemset mining problems. In: Cao, T., Lim, E.-P., Zhou, Z.-H., Ho, T.-B., Cheung, D., Motoda, H. (eds.) PAKDD 2015. LNCS (LNAI), vol. 9078, pp. 662–674. Springer, Cham (2015). doi: 10.1007/978-3-319-18032-8_52 CrossRefGoogle Scholar
  13. 13.
    Järvisalo, M.: Itemset mining as a challenge application for answer set enumeration. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 304–310. Springer, Heidelberg (2011). doi: 10.1007/978-3-642-20895-9_35 CrossRefGoogle Scholar
  14. 14.
    Mannila, H., Toivonen, H.: Levelwise search and borders of theories in knowledge discovery. Data Min. Knowl. Discov. 1(3), 241–258 (1997)CrossRefGoogle Scholar
  15. 15.
    Métivier, J., Loudni, S., Charnois, T.: A constraint programming approach for mining sequential patterns in a sequence database. CoRR abs/1311.6907 (2013)Google Scholar
  16. 16.
    Négrevergne, B., Dries, A., Guns, T., Nijssen, S.: Dominance programming for itemset mining. In: 2013 IEEE 13th International Conference on Data Mining, pp. 557–566 (2013)Google Scholar
  17. 17.
    Negrevergne, B., Guns, T.: Constraint-based sequence mining using constraint programming. In: Michel, L. (ed.) CPAIOR 2015. LNCS, vol. 9075, pp. 288–305. Springer, Cham (2015). doi: 10.1007/978-3-319-18008-3_20 Google Scholar
  18. 18.
    Paramonov, S., Leeuwen, M., Denecker, M., Raedt, L.: An exercise in declarative modeling for relational query mining. In: Inoue, K., Ohwada, H., Yamamoto, A. (eds.) ILP 2015. LNCS (LNAI), vol. 9575, pp. 166–182. Springer, Cham (2016). doi: 10.1007/978-3-319-40566-7_12 Google Scholar
  19. 19.
    Pei, J., Han, J.: Can we push more constraints into frequent pattern mining? In: ACM SIGKDD, pp. 350–354 (2000)Google Scholar
  20. 20.
    Pei, J., Han, J., Mao, R.: CLOSET: an efficient algorithm for mining frequent closed itemsets. In: ACM SIGMOD Workshop on Research Issues on Data Mining and Knowledge Discovery, pp. 21–30 (2000)Google Scholar
  21. 21.
    Ugarte Rojas, W., Boizumault, P., Loudni, S., Crémilleux, B., Lepailleur, A.: Mining (soft-) skypatterns using dynamic CSP. In: Simonis, H. (ed.) CPAIOR 2014. LNCS, vol. 8451, pp. 71–87. Springer, Cham (2014). doi: 10.1007/978-3-319-07046-9_6 CrossRefGoogle Scholar
  22. 22.
    Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artif. Intell. 138(1–2), 181–234 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    Yan, X., Han, J., Afshar, R.: CloSpan: mining closed sequential patterns in large datasets. In: SDM, pp. 166–177 (2003)Google Scholar
  24. 24.
    Zaki, M.J., Parthasarathy, S., Ogihara, M., Li, W.: New algorithms for fast discovery of association rules. Technical report, Rochester, NY, USA (1997)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Sergey Paramonov
    • 1
    Email author
  • Daria Stepanova
    • 2
  • Pauli Miettinen
    • 2
  1. 1.Department of Computer ScienceKU LeuvenLeuvenBelgium
  2. 2.Max Planck Institute of InformaticsSaarbrückenGermany

Personalised recommendations