Research on formalism of temporal data mining

被引:0
作者
Pan, Ding [1 ]
机构
[1] Jinan Univ, Sch Management, Dept Mkt, Guangzhou 510632, Peoples R China
来源
WCICA 2006: SIXTH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-12, CONFERENCE PROCEEDINGS | 2006年
关键词
temporal data; formalism; data mining;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:4142 / 4146
页数:5
相关论文
共 8 条