Skip to Main content Skip to Navigation
Conference papers

Declarative mining of negative sequential patterns

Philippe Besnard 1 Thomas Guyet 2, 3
1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
3 LACODAM - Large Scale Collaborative Data Mining
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : Declarative pattern mining consists in using declarative frameworks to solve pattern mining tasks. In this article, we address the task of mining negative sequential patterns in Answer Set Programming (ASP). A negative sequential pattern is specified by means of a sequence consisting of events to occur and of other events, called negative events, to be absent. For instance, containment of the pattern a ¬b c arises with an occurrence of a and a subsequent occurrence of c but no occurrence of b in between. Recent results shed light on the ambiguity of such a seemingly intuitive notation, exhibited three semantics of the negative events and proposed alternative notations for them. In this article, we propose Answer Set Programming encodings of these three semantics in order to extract frequent negative sequential patterns from a set of sequences. It relies on previous encodings of frequent sequential pattern mining. We experiment with our encoding on synthetic data and compare the numbers of extracted patterns and the computing time obtained for each kind of negation. Surprisingly, the semantics that has the best algorithmic properties for pattern mining is not associated to an encoding that is the most efficient.
Complete list of metadatas

https://hal.inria.fr/hal-03025560
Contributor : Thomas Guyet <>
Submitted on : Thursday, November 26, 2020 - 12:25:53 PM
Last modification on : Thursday, January 7, 2021 - 4:31:56 PM

File

DPSW2020_paper_5.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03025560, version 1

Citation

Philippe Besnard, Thomas Guyet. Declarative mining of negative sequential patterns. 1st Declarative Problem Solving Workshop - DPSW 2020, Pedro Cabalar (CITIC-Univ. A Coruña, Spain); Andreas Herzig (Tolouse Univ, France); David Pearce (Univ. Politécnica Madrid, Spain); Torsten Schaub (Univ. Potsdam, Germany); Stefan Woltran (Vienna Univ. Tech. Austria), Aug 2020, Santiago de Compostela, Spain. ⟨hal-03025560⟩

Share

Metrics

Record views

14

Files downloads

40