DocumentCode
1687787
Title
On the consistency problem for the INDU calculus
Author
Balbiani, Philippe ; Condotta, Jean-Francçis ; Ligozat, Gérard
Author_Institution
IRIT, Toulouse, France
fYear
2003
Firstpage
203
Lastpage
211
Abstract
In this paper, we further investigate the consistency problem for the qualitative temporal calculus INDU introduced by A. K. Pujari et al. (1999). We prove the intractability of the consistency problem for the subset of preconvex relations. On the other hand, we show the tractability of strongly preconvex relations. Furthermore, we also define another interesting set of relations for which the consistency problem can be decided by a method similar to the usual path-consistency method.
Keywords
computational complexity; process algebra; temporal logic; temporal reasoning; Horn classes; INDU calculus; consistency problem; geometrical approach; path-consistency method; preconvex relations; qualitative temporal calculus; syntactic approach; Algebra; Calculus; Logic functions; Natural languages;
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.1214897
Filename
1214897
Link To Document