One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. For agents whose actions have deterministic consequences various goal specification languages have been proposed. The situation is different, and less studied, when the actions may have non-deterministic consequences. For example, a simpl...