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
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;
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
DOI :
10.1109/AIHAS.1991.138467
