计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (15): 138-143.

• 数据库、信号与信息处理 • 上一篇    下一篇

基于强相关逻辑的不精确应急时态知识表示

张贤坤1,2,刘  栋2,3,高  珊2,4,杜  磊2,5   

  1. 1.天津科技大学 计算机科学与信息工程学院,天津 300222
    2.天津大学 计算机科学与技术学院,天津 300072
    3.河南师范大学 计算机与信息技术学院,河南 新乡 453007
    4.天津商业大学 信息工程学院,天津 300134
    5.军事交通学院 基础部,天津 300160
  • 出版日期:2012-05-21 发布日期:2012-05-30

Representation of uncertain emergency temporal knowledge based on strong relevant logic

ZHANG Xiankun1,2, LIU Dong2,3, GAO Shan2,4, DU Lei2,5   

  1. 1.College of Computer Science and Information Engineering, Tianjin University of Science and Technology, Tianjin 300222, China
    2.College of Computer Science and Technology, Tianjin University, Tianjin 300072, China
    3.College of Computer and Information Technology, Henan Normal University, Xinxiang, Henan 453007, China
    4.College of Information and Engineering, Tianjin University of Commerce, Tianjin 300134, China
    5.Department of Basic, Academy of Military Transportation, Tianjin 300160, China
  • Online:2012-05-21 Published:2012-05-30

摘要: 在强相关逻辑基础上扩展不精确时态关系,以满足不精确应急时态知识表示与推理的需要。给出了粗糙集及强相关逻辑的相关概念;通过定义不精确时态关系扩展了强相关逻辑,形成了粗糙时态强相关逻辑,给出了可靠性和完备性证明;通过实际例子说明粗糙时态强相关逻辑的知识表示和应用。结果表明扩展后的粗糙时态强相关逻辑可以实现不精确时态知识的表示与推理。

关键词: 不精确时态, 强相关逻辑, 粗糙集, 知识表示, 应急

Abstract: In order to meet the need of representation and reasoning of uncertain temporal knowledge, uncertain temporal relationship is extended into strong relevant logic. Some relevant concepts of rough sets and strong relevant logic are given; strong relevant logic is extended to form rough temporal strong relevant logic by defining uncertain temporal relation, and the prove of its reliability and completeness are given; representation and application of uncertain knowledge based on the rough temporal strong relevant logic are validated using a practical example. The result shows that it is easy to represent uncertain temporal knowledge using the extended rough strong relevant logic.

Key words: uncertainty temporal, strong relevant logic, rough sets, representation of knowledge, emergency