Modeling action feasibility in POMDPs with boolean-valued preconditions