DocumentCode :
1687644
Title :
Deciding consistency of a point-duration network with metric constraints
Author :
Navarrete, Isabel ; Sattar, Abdul ; Marin, Roque
Author_Institution :
Fac. de Informatica, Univ. de Murcia, Spain
fYear :
2003
Firstpage :
147
Lastpage :
154
Abstract :
We introduce a new model, MPDN, for quantitative temporal reasoning with points and durations, that supposes an extension of the TCSP formalism and previous point-duration network models. The problem of deciding consistency for a MPDN is shown to be NP-complete. So, we identify a tractable fragment, named simple MPDN, that subsumes the STP model and allows for duration reasoning. Necessary and sufficient conditions for deciding consistency of a simple MPDN are used to design an algorithm for consistency checking, whose time complexity is cubic in the number of variables. This is a significant improvement, not only in computational complexity but also in simplicity, over previous non-specific algorithms that can be applied to solve the consistency problem.
Keywords :
computational complexity; constraint theory; decidability; temporal reasoning; MPDN model; NP-complete; TCSP formalism; computational complexity; duration reasoning; metric constraints; point reasoning; point-duration network; quantitative temporal reasoning; temporal constraint reasoning; temporal representation; Algorithm design and analysis; Artificial intelligence; Australia; Computational complexity; Gold; Information technology; Logic; Postal services; Problem-solving; Sufficient conditions;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. 10th International Symposium on
ISSN :
1530-1311
Print_ISBN :
0-7695-1912-1
Type :
conf
DOI :
10.1109/TIME.2003.1214890
Filename :
1214890
Link To Document :
بازگشت