DocumentCode :
2420946
Title :
Temporal reasoning on the basis of new logic for intelligent control
Author :
Vassilyev, S.N.
Author_Institution :
Inst. of Syst. Dynamics & Control Theory, Acad. of Sci., Irkutsk, Russia
fYear :
2003
fDate :
8-8 Oct. 2003
Firstpage :
843
Lastpage :
847
Abstract :
New logical apparatus for intelligent control is proposed. The problem of temporal reasoning on the basis of this apparatus with application to mobile objects is considered.
Keywords :
formal languages; intelligent control; knowledge representation; temporal reasoning; intelligent control; knowledge representation; logical apparatus; mobile objects; temporal reasoning;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Intelligent Control. 2003 IEEE International Symposium on
Conference_Location :
Houston, TX, USA
ISSN :
2158-9860
Print_ISBN :
0-7803-7891-1
Type :
conf
DOI :
10.1109/ISIC.2003.1254746
Filename :
1254746
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2420946
بازگشت