University of Birmingham Robot task planning and explanation in open and uncertain worlds