Higher-order task models

Based on a revision of the common task understanding in model-based approaches a formal meta-model is proposed which allows more expressive task descriptions. A task is considered as a meta-action which produces models about situations, goals and actions by applying domain knowledge. The approach unifies procedural and state knowledge. As a consequence, higher-order actions are possible. The suggested approach is an answer to the need for more dynamic task models. It supports specifications of context sensitive and cooperative tasks.