基于间断区间的时态关系处理  

A METHOD OF HANDLING INTERVAL GAP BASED TEMPORAL RELATIONS

作　　者：张师超[1] 

机构地区：[1]广西师范大学数学与计算机科学系,桂林541004

出　　处：《广西师范大学学报（自然科学版）》1997年第1期8-12,共5页Journal of Guangxi Normal University:Natural Science Edition

基　　金：国家 8 6 3计划;国家自然科学基金;广西教委基金资助项目

摘　　要：定义了基于间断区间的时态逻辑的公理、分离规则、证明等概念 .特别 ,讨论了区间分离后的时态关系确定问题以及公理的完备性 .The semantics,axioms,modus ponens,proof,and so on.Especially,it is discussed how to determine their temporal relations when some intervals are splitted in calculus.

关 键 词：时态知识表示 时态逻辑 间断区间 间断区间逻辑 

分 类 号：O141[理学—数学] TP301[理学—基础数学]