Planning with events and states


Autoria(s): Kieronska, Dorota H.; Venkatesh, Svetha; Tsang, C. P.
Contribuinte(s)

[Unknown]

Data(s)

01/01/1991

Resumo

We present 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.<br />

Identificador

http://hdl.handle.net/10536/DRO/DU:30044793

Idioma(s)

eng

Publicador

IEEE

Relação

http://dro.deakin.edu.au/eserv/DU:30044793/venkatesh-planningwith-1991.pdf

http://hdl.handle.net/10.1109/AIHAS.1991.138467

Direitos

1991, IEEE

Palavras-Chave #automatic logic units #computer science #formal specifications #power system modeling #power system planning #process planning
Tipo

Conference Paper