Options
First-Order Logic Based Formalism for Temporal Data Mining
Maison d'édition
Berlin: Springer-Verlag
Date de parution
2005
In
Foundations of Data Mining and Knowledge Discovery
No
6/2005
De la page
185
A la page
210
Collection
Studies in Computational Intelligence
Résumé
In this article we define a formalism for a methodology that has as purpose the discovery of knowledge, represented in the form of general Horn clauses, inferred from databases with a temporal dimension. To obtain what we called temporal rules, a discretisation phase that extracts events from raw data is applied first, followed by an induction phase, which constructs classification trees from these events. The theoretical framework we proposed, based on first-order temporal logic, permits us to define the main notions (event, temporal rule, constraint) in a formal way. The concept of consistent linear time structure allows us to introduce the notions of general interpretation and of confidence. These notions open the possibility to use statistical approaches in the design of algorithms for inferring higher order temporal rules, denoted temporal meta-rules.
Identifiants
Autre version
http://link.springer.com/chapter/10.1007/11498186_12
Type de publication
book part
