Title :
Temporal unification and the temporal partial order
Author :
Penberthy, J. Scott
Author_Institution :
IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
Abstract :
A description is given of two aspects of integrating a temporal reasoner into PROMPT, a system that solves problems in physical domains. The motion of a temporal partial order is introduced first. This partial order maintains linear inequalities, minima and maxima among timepoints; such relations are needed for reasoning with numeric and symbolic temporal information. The author also presents methods for interfacing this temporal reasoner with an existing inference engine. The combination of these methods with standard unification techniques is called temporal unification; its style of unification maintains a transparent interface between the inference engine and the temporal reasoner. By using the temporal partial order and the technique of temporal unification, PROMPT is capable of symbolic and numeric temporal reasoning at multiple levels of abstraction
Keywords :
expert systems; knowledge engineering; ES; PROMPT; inference engine; linear inequalities; maxima; minima; physical domains; temporal partial order; temporal reasoner; temporal unification; Artificial intelligence; Calculus; Educational institutions; Engines; Inference algorithms; Intelligent systems; Physics; Problem-solving; System testing;
Conference_Titel :
Artificial Intelligence Applications, 1988., Proceedings of the Fourth Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
0-8186-0837-4
DOI :
10.1109/CAIA.1988.196107