OKR planning as belief revision