时态规则的形式化与度量值估计

摘要：

时态数据挖掘是近年来学术界关注的一个重要研究课题.本文提出时态规则的形式化框架,定义时态规则归纳中的主要概念.利用线性状态结构对每个状态点上的有约束一阶语言符号进行赋值,并度量其公式的真值范围,形成度量值序列,证明相关性质.利用动态时间弯曲距离,量化规则间的差异度.基于信息扩散原理,提出适用于小样本的度量值序列估计算法,讨论其参数的计算.实验表明,该方法准确简便、抗干扰性好.

关键词：规则归纳、时态数据、形式化、信息扩散

所属期刊栏目：20

分类号：TP181(自动化基础理论)

资助基金：国家自然科学基金资助项目70372024、60173058

在线出版日期：2009-08-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：198-204