Planning and defeasible reasoning