| 间断区间时态逻辑的语义 |
| |
| 引用本文： | 张师超 张钹. 间断区间时态逻辑的语义[J]. 计算机学报, 1996, 19(12): 949-952 |
| |
| 作者姓名： | 张师超 张钹 |
| |
| 作者单位： | [1]广西师范大学数学系 [2]清华大学智能技术与系统实验室 |
| |
| 基金项目： | 国家863计划自然科学基金 |
| |
| 摘 要： | 区间逻辑不能模拟自然语言中与,或,非时态关系,其公理系统的完备性不易保证。我们建立的间断区间时态知脚注可以克服区间逻辑的上述缺点,本文给出了间断区间逻辑的语法,语义及公理,即描述了间断区间时态逻辑的语义。
|
| 关 键 词： | 时态逻辑 区间逻辑 时态推理 知识表示 人工智能 |
THE SEMANTICS OF INTERVAL-GAP-BASED TEMPORAL LOGIC |
| |
| Zhang Shichao. THE SEMANTICS OF INTERVAL-GAP-BASED TEMPORAL LOGIC[J]. Chinese Journal of Computers, 1996, 19(12): 949-952 |
| |
| Authors: | Zhang Shichao |
| |
| Abstract: | 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. |
| |
| Keywords: | Temporal logic interval logic temporal reasoning temporal knowledge representation. |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
