Intelligent Information Processing Using TRLi.
Themis Panayiotopoulos, Manolis Gergatsoulis · 1995
An expressively rich temporal reasoning system, called TRLi is presented in this paper. TRLi introduces and relates the concepts of temporal points, temporal instances and temporal intervals, and has deeply embedded in its semantics the notion of temporal uncertainty. TRLi is a temporal logic system with a syntax and proof procedure very similar to that of Prolog, and it can therefore be easily used as the basic temporal deductive component of Intelligent Information Systems. To exploit its expressiveness, we have selected problems from various domains, such as intelligent problem solving, temporal planning, simulation and temporal databases and provide their solution in TRLi.