earticle

영어

Briefly presenting a generalization of Allen's interval-based approach to temporal reasoning, this paper will see point & typed-based structure of time intervals as an intended model of point & interval-based time theory to illustrate a Consistency Checker for Uncertain or Incomplete Temporal System which can be used to check whether there are circuit(s) among the temporal intervals and whether the temporal intervals are consistent or not, and this paper also succinctly discourses the future work about how to find the best solution of this checker.