DMCA
Eight Maximal Tractable Subclasses of Allen's Algebra with Metric Time (1996)
Cached
Download Links
- [www.ida.liu.se]
- [www.fjuk.org]
- [www.cs.cmu.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | Journal of Artificial Intelligence Research |
| Citations: | 26 - 10 self |
BibTeX
@ARTICLE{Drakengren96eightmaximal,
author = {Thomas Drakengren and Peter Jonsson},
title = {Eight Maximal Tractable Subclasses of Allen's Algebra with Metric Time},
journal = {Journal of Artificial Intelligence Research},
year = {1996},
volume = {7},
pages = {25--45}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper combines two important directions of research in temporal resoning: that of finding maximal tractable subclasses of Allen's interval algebra, and that of reasoning with metric temporal information. Eight new maximal tractable subclasses of Allen's interval algebra are presented, some of them subsuming previously reported tractable algebras. The algebras allow for metric temporal constraints on interval starting or ending points, using the recent framework of Horn DLR's. Two of the algebras can express the notion of sequentiality between intervals, being the first such algebras admitting both qualitative and metric time. This research has been supported by the Swedish Council for the Engineering Sciences (TFR), grant 93-270. 1 Introduction Reasoning about temporal knowledge abounds in artificial intelligence applications and other areas, such as planning [2], natural language understanding [19] and molecular biology [5, 9]. However, since even the restricted problem of rea...
Keyphrases
metric time maximal tractable subclass interval algebra temporal resoning engineering science metric temporal information molecular biology horn dlr eight new maximal tractable subclass tractable algebra artificial intelligence application metric temporal constraint swedish council first algebra temporal knowledge abounds important direction natural language recent framework algebra allow
