| 基于间断区间的时态知识表示 |
| |
| 引用本文： | 张师超.基于间断区间的时态知识表示[J].软件学报,1994,5(6):13-18. |
| |
| 作者姓名： | 张师超 |
| |
| 作者单位： | 广西师范大学数学系，北京 100080；广西师范大学数学系，桂林 541004 |
| |
| 摘 要： | 一般，用逻辑形式表示时态信息的方法是命题附加一个时间点或时间区间。文［１］指出，时间区间表示单个事件带间断区间是困难的，不过，文［１］定义两个间断区间的时态关系为一个矩阵，其计算量相当之大以至该方法不实用二本文给出一个基于间断区间的时态知识表示模型，它将两个间断区间的时态关系分为２０种，其计算量与Ａｌｌｅｎ的区间演算属同一数量级。
|
| 关 键 词： | 时态推理，时态逻辑，时态知识表示，时态信息表示 |
| 收稿时间： | 1992/6/18 0:00:00 |
| 修稿时间： | 1992/9/13 0:00:00 |
INTERVAL-GAP-BASED REPRESENTATION OF TEMPORAL KNOWLEDGE |
| |
| Zhang Shichao.INTERVAL-GAP-BASED REPRESENTATION OF TEMPORAL KNOWLEDGE[J].Journal of Software,1994,5(6):13-18. |
| |
| Authors: | Zhang Shichao |
| |
| Abstract: | Generally, one way to represent temporal information in a logical formalism is by associating "proposition types" with time points or time intervals. It was pointed out that time intervals are difficult to represent the common sense notion of a single event with "gaps" in 1]. However, the temporal relations of two gap -intervals defined in 1] are expressed in a matrix. The computing amount of temporal relations is so large that the method in 1] is not useful. This paper presents a interval-gap-based representation of temporal knowledge. Its temporal relations are stipulated to 20, and its computing amount is in same level to Allen's. |
| |
| Keywords: | Temporal reasoning temporal logic temporal knowledge representation temporal information representation |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
