基于粗糙描述逻辑的不精确时态知识表示研究  

Study of imprecision temporal knowledge representation based on rough description logic

作　　者：张贤坤[1,2] 刘栋[2,3] 李乐明 

机构地区：[1]天津科技大学计算机科学与信息工程学院,天津300222 [2]天津大学计算机科学与技术学院,天津300072 [3]河南师范大学计算机与信息技术学院,河南新乡453007 [4]易泰达科技有限公司,天津300457

出　　处：《计算机工程与设计》2012年第8期3205-3209,3250,共6页Computer Engineering and Design

基　　金：天津市科技型中小企业创新基金项目(11ZXCXGX07700);天津市自然科学基金重点项目(09JCZDJC25400);天津科技大学自然科学基金项目((20100203)

摘　　要：在粗糙描述逻辑基础上扩充不精确时态关系,以满足不精确时态知识表示与推理的需要。首先给出了粗糙集及粗糙描述逻辑的相关概念;接着通过定义粗糙时态描述逻辑不精确时态关系,扩展了粗糙描述逻辑中具体域,并给出了可靠性和完备性证明;最后通过实际例子说明粗糙时态描述逻辑的知识表示和应用,结果表明扩展后的粗糙时态描述逻辑可以实现不精确时态知识的表示与推理。In order to meet the need of representation and reasoning of uncertain temporal knowledge, uncertain temporal rela-tionship is extended based on rough description logic. Firstly, some relevant concepts of rough sets and rough description logic are given; Secondly, concrete domains of uncertain temporal is extended into rough description logic by defining uncertain temporal relation of rough temporal description logic, and the prove of its reliability and completeness are given; Finally, representation and application of the rough temporal description logic are validated by a practical example. The result shows that it is easy to represent uncertain temporal knowledge using the extended rough temporal description logic.

关 键 词：不确定性 时态关系 描述逻辑 粗糙集 知识表示 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]