Pattern discovery in temporal databases: a temporal logic approach
Balaji Padmanabhan, Alexander Tuzhilin · 1996
The work of Mannila et al. [4] of finding frequent episodes in sequences is extended to finding temporal logic patterns in temporal databases. It is argued that temporal logic provides an appropriate formalism for expressing temporal patterns defined over categorical data. It is also proposed to use Temporal Logic Programming as a mechanism for the discovery of frequent patterns expressible in temporal logic. It is explained in the paper how frequent temporal patterns can be discovered by constructing temporal logic programs. To test these methods , temporal logic programs were constructed for certain classes of patterns and were implemented in OPS5. Introduction In this paper, we address the problem of finding interesting patterns in temporal databases [1,2] defined over categorical (symbolic) data. This is an important problem that frequently occurs in various applications such as molecular biology (finding patterns in genetic sequences), telecommunications (finding pat...