带度量时间的 Allen 代数八大最大可解子类

T. Drakengren; P. Jonsson

带度量时间的 Allen 代数八大最大可解子类

人工智能 2008-02-03 v1

作者: T. Drakengren , P. Jonsson

摘要

本文结合了两个重要的时序推理研究方向：寻找 Allen 区间代数最大可解子类的工作，以及进行度量时序推理的工作。提出八个新的最大可解子类，其中一些子类涵盖了之前报告的可解代数。这些代数允许对区间的起始或结束点施加度量时序约束，运用最新的 Horn DLRs 框架。其中两个代数能够表达区间之间的顺序性，这是首个能够同时包含定性与度量时间的代数。

关键词

Allen 区间代数可解子类度量时序推理 Horn DLRs 时序推理

引用

@article{arxiv.cs/9707102,
  title  = {Eight Maximal Tractable Subclasses of Allen's Algebra with Metric Time},
  author = {T. Drakengren and P. Jonsson},
  journal= {arXiv preprint arXiv:cs/9707102},
  year   = {2008}
}

备注

See http://www.jair.org/ for an online appendix and other files accompanying this article

带度量时间的 Allen 代数八大最大可解子类

摘要

关键词

引用

备注

相关论文