PsiPlan Formalism for Knowledge Representation, Reasoning and Planning with Incomplete Information