DEDALUS: a knowledge based planning system