Title :
Methods of proving, hypothesizing and time reasoning for real-time control of moving objects
Author_Institution :
Inst. of Syst. Dynamics & Control Theory of SB, Acad. of Sci., Irkutsk, Russia
Abstract :
A framework for intelligent real-time control is discussed, and some new logical methods are reviewed in light of this framework. The topics discussed include knowledge representation and automated reasoning. The main ideas behind the corresponding methods are outlined with some application to moving objects
Keywords :
heuristic programming; intelligent control; knowledge representation; real-time systems; robots; temporal reasoning; automated reasoning; hypothesis; intelligent real-time control; knowledge representation; moving objects; proof; time reasoning; Artificial intelligence; Automatic control; Control systems; Control theory; Fuzzy logic; Intelligent control; Knowledge representation; Lighting control; Nonlinear systems; Real time systems;
Conference_Titel :
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
0-7803-4778-1
DOI :
10.1109/ICSMC.1998.728085
