Computer Science – Artificial Intelligence
Scientific paper
2011-05-30
Journal Of Artificial Intelligence Research, Volume 12, pages 35-86, 2000
Computer Science
Artificial Intelligence
Scientific paper
10.1613/jair.693
We introduce a temporal model for reasoning on disjunctive metric constraints on intervals and time points in temporal contexts. This temporal model is composed of a labeled temporal algebra and its reasoning algorithms. The labeled temporal algebra defines labeled disjunctive metric point-based constraints, where each disjunct in each input disjunctive constraint is univocally associated to a label. Reasoning algorithms manage labeled constraints, associated label lists, and sets of mutually inconsistent disjuncts. These algorithms guarantee consistency and obtain a minimal network. Additionally, constraints can be organized in a hierarchy of alternative temporal contexts. Therefore, we can reason on context-dependent disjunctive metric constraints on intervals and points. Moreover, the model is able to represent non-binary constraints, such that logical dependencies on disjuncts in constraints can be handled. The computational cost of reasoning algorithms is exponential in accordance with the underlying problem complexity, although some improvements are proposed.
No associations
LandOfFree
Reasoning on Interval and Point-based Disjunctive Metric Constraints in Temporal Contexts does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Reasoning on Interval and Point-based Disjunctive Metric Constraints in Temporal Contexts, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Reasoning on Interval and Point-based Disjunctive Metric Constraints in Temporal Contexts will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-337256