时态属性,作为刻画事物的维度,与空间维度一样,是度量实体对象必不可少的参数。围绕如何在应用系统中有效的刻画和运用时态属性,学者们展开了广泛的研究。或从代数的角度,或从逻辑的角度。但实际上,客观世界的时态系统自然地具备了粒度性质,在现实生活中,人们利用不同的时间刻度单位,自然地运用了粒度的划分,可以自如地在不同时间信息之间穿梭。能毫无障碍地在不同的时间单位之间灵活地转换。随着粒度计算思想的兴起,它利用粒度空间的问题求解理论,从不同层次、不同角度进行信息的分析与转换策略,正好暗合了人类对时态处理的思维方法。　　 论文吸收了粒度计算的基本思想,对时态属性进行粒度化刻画与处理,并讨论了与时态粒度相关的若干关键问题。　　 论文的主要工作包括以下几个方面:　　 1.针对时间离散化的本质是在不同粒度下对连续时间轴的划分这一性质,对时态的粒度问题系统地进行了形式化描述,研究了时态粒度的本质,讨论了时态粒度的序关系、时态粒度的度转换以及时态粒度的约束与性质等根本问题。引入了粒度缩放算子,实现了时态粒点、时态粒区等时态元素在粗粒度与细粒度之间的相互映射。　　 2.针对时态粒度约束下时态关系的复杂性,引入了向量空间思想,将时态粒点间的关系转换为向量空间中的运算,进而讨论了不同时态元素之间的时态关系。提出了基于粒度层次映射转换的时态粒点差运算方法,引入了可列集的思想,将时态粒点在任意粒度下的差运算转换为不同粒度空间中的N的对等关系,将时态粒点的差运算转换为自然数集的运算,较好的解决了两个时态粒点在任意粒度下的精确粒度差运算,并给出了公历日历系统中时态粒点差运算的具体实现算法。　　 3.分析了时态跨度之间施以加、减运算的问题,利用向量空间进行时态元的运算,完备了负时态元的语义,给出了时态跨度的粒度平滑化方法,并基于向量空间完成了非平滑、非饱和的时态跨度间的加减运算。　　 4.讨论了时态跨度的序关系,分析了导致两个非规范的确切时态跨度之间呈现不确定关系的因为,非绑定的时态跨度之间存在非确切的时态转换关系,得出了时态跨度绑定的必要性结论。引入仿射空间思想,利用点与向量的运算设计了时态跨度的绑定与加减运算方法,并具体讨论了时态跨度与时态粒点、非间断时态粒区以及间断时态粒区等之间的绑定及问题。解决了绑定后时态粒点的规范化以及0时态元的语义。　　 5.构建了一套时态命题描述的语法系统,通过不同的语义指代,赋予时态谓词,时态项明确的意义解释,分析了几删的时态语义,给出了时态限定符号及其语义描述,进而全面给出了时态命题在时态项的不同指代和不同时态限定符约束下的时态断言。　　 时态的粒度化问题是时态信息处理中的核心问题,论文基于粒度思想,给出了时态粒度化模型,解决了时态粒度化处理中的若干关键问题,建立时态粒度化处理的框架。但是时态属性是一个比想象中复杂的问题,从现有的研究及应用现状而言,不同的时态应用领域,其时态的处理也可能略有不同,时态的粒度化框架主要可服务于基于时态信息表达,时态信息断言与推理,时态信息冲突检测等类型的应用。在与具体应用结合方面的许多具体问题,本文尚未涉及,比如时态属性的约间,时态知识的发现等,这也是下一阶段研究关注的重点。