I agree that the “environment” here should be thought of as the agent’s subjective beliefs about the environment. The “coulds” have to be a sort of subjective possibility. I suspect “coulds” are just what cannot be ruled out by an underlying proof process, and probabilities are the “caring function” over the remaining possibilities which allows choice.
I agree that the “environment” here should be thought of as the agent’s subjective beliefs about the environment. The “coulds” have to be a sort of subjective possibility. I suspect “coulds” are just what cannot be ruled out by an underlying proof process, and probabilities are the “caring function” over the remaining possibilities which allows choice.