DocumentCode :
2990875
Title :
Temporal unification and the temporal partial order
Author :
Penberthy, J. Scott
Author_Institution :
IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
fYear :
1988
fDate :
14-18 Mar 1988
Firstpage :
223
Lastpage :
228
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Artificial Intelligence Applications, 1988., Proceedings of the Fourth Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
0-8186-0837-4
Type :
conf
DOI :
10.1109/CAIA.1988.196107
Filename :
196107
Link To Document :
بازگشت