导　　师： 汤庸

学科专业： H1203

授予学位： 硕士

作　　者： ;

机构地区： 广东工业大学

摘　　要： 作为宇宙间所有事物具有的一种属性,时间一直贯穿着事物的发展过程.人们不仅仅关注数据和信息本身,同时也考虑事务处理的时序、有效性等时态问题.该文目的在于应用面向对象的时态知识表达模型描述时态知识.文中首先通过研究时间的基本属性,确定表达时间的模型;进而分于时态区间和时间点并描述两者间时态关系,并引入时态算子描述这些关系.其次,进一步描述了时态逻辑的三大分支:线性时态逻辑、分支时态逻辑以及分区时态逻辑;然后引人面向对象的时态知识表达模型,给出了其bnf语法,分析发何描述领域时态知识,并研究了时态知识推理机制和算法.最后,对时态知识的可视比管理展开研究.

关 键 词： 面向对象 知识表达 时态知识 时态逻辑 可视化管理

分 类 号： [TP311]

领　　域： [自动化与计算机技术] [自动化与计算机技术]