DocumentCode :
1736946
Title :
Using temporal logics for planning and control
Author :
Bacchus, Fahiem
Author_Institution :
Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
fYear :
1996
Firstpage :
2
Lastpage :
3
Abstract :
Traditionally, planning work in artificial intelligence has focused on primitive actions and instantaneous states. Innovative work has been done on composing primitive actions so as to bring about desired final states. The thesis advanced in this paper is that instead of simply focusing on primitive actions, it is also useful to use representation and reasoning tools whose primitive objects are sequences of actions (or the associated sequences of states that they generate). Temporal logics are a useful tool for representing and reasoning about action sequences. The author has examined some different applications of temporal logics to problems of planning and control
Keywords :
intelligent control; knowledge representation; planning (artificial intelligence); sequences; temporal logic; temporal reasoning; TLPlan system; action sequences; artificial intelligence; control; knowledge representation tools; planning; primitive objects; reasoning tools; state sequences; temporal logics; Artificial intelligence; Computer science; Control systems; Logic design; National electric code; Software systems; Uniform resource locators;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Temporal Representation and Reasoning, 1996. (TIME '96), Proceedings., Third International Workshop on
Conference_Location :
Key West, FL
Print_ISBN :
0-8186-7528-4
Type :
conf
DOI :
10.1109/TIME.1996.555666
Filename :
555666
Link To Document :
بازگشت