Title :
Research on Formalism of Temporal Data Mining
Author_Institution :
Dept. of Marketing, Jinan Univ., Guangzhou
Abstract :
A fundamental structure for temporal data mining is proposed, based on first-order linear temporal logic, to define the main notion used in temporal knowledge discovery in a formal way. The formalism does not impose what search and optimization method to use to discover temporal rules. The relevant properties of the notion are proved. The concept of linear time structure allows associating each time moment with an assignation of all symbols of a restricted first-order language L, and the measures about the extent of truth of a formula. According to the notions of the mining slice, a process model of continuous data mining is developed
Keywords :
data mining; temporal logic; first-order language; first-order linear temporal logic; linear time structure; temporal data mining; temporal knowledge discovery; Computer science; Data mining; Electronic mail; Knowledge management; Logic; Marketing management; Optimization methods; Technology management; Time division multiplexing; Time measurement; data mining; formalism; temporal data;
Conference_Titel :
Intelligent Control and Automation, 2006. WCICA 2006. The Sixth World Congress on
Conference_Location :
Dalian
Print_ISBN :
1-4244-0332-4
DOI :
10.1109/WCICA.2006.1713154
