DocumentCode
2398761
Title
Planning with events and states
Author
Kieronska, Dorota H. ; Venkatesh, Svetha ; Tsang, C.P.
Author_Institution
Sch. of Comput. Sci., Curtin Univ. of Technol., Perth, WA, Australia
fYear
1991
fDate
1-2 Apr 1991
Firstpage
181
Lastpage
186
Abstract
Presents an overall planning system in which specifications can be described in terms of events and states. The underlying feature of this system is temporal logic, and its expressive power alloys one to deal with simultaneous actions and interacting actions. Moreover, one can represent both goal-oriented positive constraints and prevention-oriented negative constraints. The planning system can generate hierarchical plans and the overall model is capable of handling interacting agents
Keywords
planning (artificial intelligence); temporal logic; agents; events; goal-oriented positive constraints; hierarchical plans; planning system; prevention-oriented negative constraints; states; temporal logic; Australia; Automatic logic units; Computer science; Formal specifications; Power system modeling; Power system planning; Process planning;
fLanguage
English
Publisher
ieee
Conference_Titel
AI, Simulation and Planning in High Autonomy Systems, 1991. Integrating Qualitative and Quantitative System Knowledge, Proceedings of the Second Annual Conference on
Conference_Location
Cocoa Beach, FL
Print_ISBN
0-8186-2162-1
Type
conf
DOI
10.1109/AIHAS.1991.138467
Filename
138467
Link To Document