时态规则的形式化与度量值估计-模式识别与人工智能.pdfVIP

第20 卷摇 第2 期摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 模式识别与人工智能摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 Vol.20摇 No.2 摇 2007年4月摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 PR AI摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 Apr摇 摇 2007 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 时时态规则的形式化与度量值估计* 1,2 1 潘摇 定 摇 摇 沈钧毅 1(西安交通大学 计算机科学与技术系 西安摇 710049) 2(暨南大学 管理学院广州摇 510632) 摘摇 要摇 时态数据挖掘是近年来学术界关注的一个重要研究课题.本文提出时态规则的形式化框架,定义时态规 则归纳中的主要概念.利用线性状态结构对每个状态点上的有约束一阶语言符号进行赋值,并度量其公式的真值 范围,形成度量值序列,证明相关性质.利用动态时间弯曲距离,量化规则间的差异度.基于信息扩散原理,提出适 用于小样本的度量值序列估计算法,讨论其参数的计算.实验表明,该方法准确简便、抗干扰性好. 关键词摇 规则归纳,时态数据,形式化,信息扩散 中图法分类号摇 TP181 Temporal Rule to Formalism and Measure Estimation 1,2 1 PAN Ding ,SHENJun蛳Yi 1(Department of Computer Science and Technology,Xi爷an Jiaotong University, Xi爷an710049) 2(Management School,Jinan University,Guangzhou510632) ABSTRACT Aformalismframeworkforthetemporalruleisproposedto definethemain conceptsusedintherule induction. The concept of the linear state structure allowseach state to associatewith a symbol of the re鄄 stricted first蛳order language and measure the truth range of a formula. Thus the measure sequence with coherent properties is generated. The novelty of the temporal rulesistestified by using dynamic timewar鄄 ping distance. The diffusion estimation algorithm applicable to the small sample is proposed to calculate the parameters of measure sequence. Experimental results show effectiveness,robustness and simplicity of the proposed method.