SFB 527 Integration symbolischer und subsymbolischer Informationsverarbeitung in adaptiven sensomotorischen Systemen: Subproject D2, Task planning for autonomous systems

Project Description

For overview of the purpose and goals of the whole project, see the SFB 527 home page.

The subproject contributes to the highest level of control needed in in intelligent autonomous sensomotoric systems. When the current goals of the system cannot be achieved by carrying out the currently scheduled tasks, some form of planning is required to identify the tasks and actions that should be carried next. In the context of intelligent autonomous sensomotoric systems the uncertainty about the environment poses a major problem: planning must take into account all possible states the environment may currently or in the future be in. Subjects to be investigated in the subproject include implementation techniques for classical planning, conditional planning, and the interaction between planning and plan execution. The rationality of the system behaviour also requires that the cost and the success probability are considered when choosing the appropriate sequences of actions.

Group Members

Publications

J. Rintanen. Complexity of prioritized default logics. Journal of Artificial Intelligence Research 9:423-461, 1998.

J. Rintanen and H. Jungholt. Numeric state variables in constraint-based planning, Recent Advances in AI Planning: 5th European Conference on Planning (ECP'99), S. Biundo, ed., Durham, England, Lecture Notes in Artificial Intelligence, September 1999. Springer-Verlag, Berlin, Germany.

J. Rintanen. Improvements to the evaluation of quantified Boolean formulae, Proceedings of the 16th International Joint Conference on Artificial Intelligence, T. Dean, ed., pages 1192-1197, Stockholm, Sweden, August 1999. Morgan Kaufmann Publishers, San Francisco, California.