Title :
Generating instantiations of contextual scenarios of periodic events
Author :
Terenziani, Paolo
Author_Institution :
Dipt. di Inf., Torino Univ., Italy
Abstract :
We consider an expressive formalism to deal with temporal constraints between periodic events which takes into account different components such as frame times, numeric quantification, periods, and qualitative temporal constraints. We define the notions of (contextual) concretization of temporal constraints in such a formalism and of the (contextual) scenario of a knowledge base of temporal constraints. We then use these notions to introduce an algorithm which generates an instantiation of events which satisfy a scenario
Keywords :
database theory; temporal databases; temporal logic; contextual concretization; contextual scenario; contextual scenarios; expressive formalism; frame times; generating instantiations; knowledge base; numeric quantification; periodic events; periods; qualitative temporal constraints; temporal constraints; Algorithm design and analysis; Artificial intelligence; Chemistry; Databases; History; Hydrogen; Logic; Protocols; Scheduling algorithm;
Conference_Titel :
Temporal Representation and Reasoning, 1998. Proceedings. Fifth International Workshop on
Conference_Location :
Sanibel Island, FL
Print_ISBN :
0-8186-8473-9
DOI :
10.1109/TIME.1998.674133