摘要
区间逻辑不能模拟自然语言中与、或、非时态关系，其公理系统的完备性不易保证．我们建立的间断区间时态知识表示方法可以克服区间逻辑的上述缺点．本文给出了间断区间逻辑的语法、语义及公理，即描述了间断区间时态逻辑的语义．
The Interval-based temporal logics are not adequate to model natural queries involving bore,'andll, and 'not', and thus the completeness of their axiom 'system is difficult to guarantee. The interval-gap-based temporal representation can overcome the above weaknesses. This paper establishes the syntax, semantics and axioms,of interval-gap-based temporal logic.
出处
《计算机学报》
EI
CSCD
北大核心
1996年第12期949-952,共4页
Chinese Journal of Computers
基金
国家863计划自然科学基金
关键词
时态逻辑
区间逻辑
时态推理
知识表示
人工智能
Temporal logic, interval logic,temporal reasoning,temporal knowledge representation.
