Title :
Representing and propagating constraints in temporal reasoning
Author :
Tolba, Hany ; Charpillet, François ; Haton, Jean-Paul
Author_Institution :
INRIA-Lorraine, Vandoeuvre-les-Nancy, France
Abstract :
A new temporal representation combining the notions of intervals, dates, and durations is presented. The manipulation of this representation is based on the notion of time map managers (TMMs) allowing both kinds of constraints, symbolic or numeric. These algorithms are a generalization of AC4, an optimal algorithm for arc-consistency, and can handle n-ary constraints
Keywords :
inference mechanisms; knowledge representation; temporal logic; AC4; arc-consistency; constrain representation; constraint propagation; dates; durations; intervals; optimal algorithm; temporal reasoning; time map managers; Algebra; Artificial intelligence; Calendars; Clocks; Databases; Indexes; Logic; Operations research; Robots; Time measurement;
Conference_Titel :
Tools for Artificial Intelligence, 1991. TAI '91., Third International Conference on
Conference_Location :
San Jose, CA
Print_ISBN :
0-8186-2300-4
DOI :
10.1109/TAI.1991.167093
