| 间断区间时态逻辑的语义 |
| |
| 引用本文： | 张师超,张钹.间断区间时态逻辑的语义[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 维普 等数据库收录！ |
