摘要
定义了基于间断区间的时态逻辑的公理、分离规则、证明等概念 .特别 ,讨论了区间分离后的时态关系确定问题以及公理的完备性 .
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.
出处
《广西师范大学学报（自然科学版）》
CAS
1997年第1期8-12,共5页
Journal of Guangxi Normal University:Natural Science Edition
基金
国家 8 6 3计划
国家自然科学基金
广西教委基金资助项目
关键词
时态知识表示
时态逻辑
间断区间
间断区间逻辑
temporal knowledge representation
temporal reasoning
temporal logic
completeness
