Temporal Reasoning is a main topic in artificial intelligence. On purpose to represent and reason about temporal problem in distributed environment, we propose two parallel temporal reasoning models which are based on algebra and logic respectively. The main contribution of this paper is:(1) The contents and trends of temporal reasoning is surveyed;(2) Parallel temporal reasoning algebra model is proposed;(3) Parallel temporal reasoning logic model is proposed(4) The testbed based on the parallel temporal reasoning is designed.
|