节点文献

一个新的时序推理系统TRS

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 丁占鳌；

【机构】 黑龙江大学计算机科学系 哈尔滨150080；

【摘要】 本文分析了 J.F.Allen 的时序推理算法的局限性,给出了一种新的有效算法,并基于 ATMS系统的特点,建立了一个新的时序推理系统 TRS。

【关键词】 推理系统； TRS； 时序关系； 推理算法； 约束关系； 真值维护系统； 非单调推理； 有效算法； 算法分析； 问题求解系统；
  • 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,1993年03期
  • 【下载频次】20
打印本页
节点文献中：