Knowledge-Based Robot Sequential Decision-Making Under Partial Observability