Temporal granular logic for temporal data mining

— In this article, a formalism for a specific temporal data mining task (the discovery of rules, inferred from databases of events having a temporal dimension), is defined. The proposed theoretical framework, based on first-order temporal logic, allows the definition of the main notions (event, temporal rule, constraint) in a formal way. This formalism is then extended to include the notion of temporal granularity and a detailed study is made to investigate the formal relationships between semantics for the same event in linear time structures with different granularities.

• Type: Conference
• Year: 2005
• Where: GRC
• Authors: Paul Cotofrei, Kilian Stoffel
• Keywords: GRC 2005, Specific Temporal Data, Temporal Dimension, first-order Temporal Logic