DocumentCode
330267
Title
Methods of proving, hypothesizing and time reasoning for real-time control of moving objects
Author
Vassilyev, S.
Author_Institution
Inst. of Syst. Dynamics & Control Theory of SB, Acad. of Sci., Irkutsk, Russia
Volume
2
fYear
1998
fDate
11-14 Oct 1998
Firstpage
1433
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
Conference_Location
San Diego, CA
ISSN
1062-922X
Print_ISBN
0-7803-4778-1
Type
conf
DOI
10.1109/ICSMC.1998.728085
Filename
728085
Link To Document