未找到相关数据
基于间断区间的时态知识表示
被引：21
作者：
张师超
机构：
[1] 广西师范大学数学系
来源：
关键词：
时态推理;
时态逻辑;
时态知识表示;
时态信息表示;
D O I：
10.13328/j.cnki.jos.1994.06.003
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ;
0812 ;
0835 ;
1405 ;
摘要：
一般，用逻辑形式表示时态信息的方法是命题附加一个时间点或时间区间。文［１］指出，时间区间表示单个事件带间断区间是困难的，不过，文［１］定义两个间断区间的时态关系为一个矩阵，其计算量相当之大以至该方法不实用二本文给出一个基于间断区间的时态知识表示模型，它将两个间断区间的时态关系分为２０种，其计算量与Ａｌｌｅｎ的区间演算属同一数量级。
引用
收藏
页码：13 / 18
页数：6
相关论文