For more human purposes, we can’t treat everything as evidence because it’s really hard to know what the implications are of every piece of raw data—even if those implications are perfectly deterministic, we haven’t got the brain power to figure them all out. And we can sort of turn this argument around to see that when we can figure out some implications of a piece of raw data, then we can treat it as evidence.
And so in everyday life we do the same thing we do when solving all other sorts of problems—we use heuristics to judge when we think we can make interesting use of some information, and then we apply our limited brain power to the task. This can lend some fuzziness to our interpretations, but it’s probably better to be careful and say that it’s how we’re treating things as evidence that’s fuzzy, it’s not an inherent property of the data (this means that different people might see different levels of fuzz in the same situation).
It’s not just a case of any two agents having fuzzy approximations to the same world view. In the least convenient case, agents will start off with radically different beliefs, and those beliefs will affect what they consider to be evidence, and how they interpret evidence. So there is no reason for agents to ever converge in the least convenient case .
Aumann’s theorem assumes rational agents. Such agents consider every observation to be evidence, and update the probability of every hypothesis in the distribution appropriately. That includes agents who start with radically different beliefs, because for rational agents “belief” is just a distribution over possible hypotheses.
The problem is that each hypothesis is a massively multidimensional model, and no real person can even properly fit one in their mind. There is no hope whatsoever that anyone can accurately update weightings over an enormous number of hypotheses on every observation.
So we live in an even less convenient world than the “least convenient case” that was proposed. Nobody in the real world is rational in the sense of Aumann’s theorem. Not even a superintelligent AGI ever will be, because the space of all possible hypotheses about the world is always enormously more complex than the actual world, and the actual world is more complex than any given agent in it.
To elaborate rather than adding another answer:
For more human purposes, we can’t treat everything as evidence because it’s really hard to know what the implications are of every piece of raw data—even if those implications are perfectly deterministic, we haven’t got the brain power to figure them all out. And we can sort of turn this argument around to see that when we can figure out some implications of a piece of raw data, then we can treat it as evidence.
And so in everyday life we do the same thing we do when solving all other sorts of problems—we use heuristics to judge when we think we can make interesting use of some information, and then we apply our limited brain power to the task. This can lend some fuzziness to our interpretations, but it’s probably better to be careful and say that it’s how we’re treating things as evidence that’s fuzzy, it’s not an inherent property of the data (this means that different people might see different levels of fuzz in the same situation).
It’s not just a case of any two agents having fuzzy approximations to the same world view. In the least convenient case, agents will start off with radically different beliefs, and those beliefs will affect what they consider to be evidence, and how they interpret evidence. So there is no reason for agents to ever converge in the least convenient case .
Aumann’s theorem assumes the most convenient case
Aumann’s theorem assumes rational agents. Such agents consider every observation to be evidence, and update the probability of every hypothesis in the distribution appropriately. That includes agents who start with radically different beliefs, because for rational agents “belief” is just a distribution over possible hypotheses.
The problem is that each hypothesis is a massively multidimensional model, and no real person can even properly fit one in their mind. There is no hope whatsoever that anyone can accurately update weightings over an enormous number of hypotheses on every observation.
So we live in an even less convenient world than the “least convenient case” that was proposed. Nobody in the real world is rational in the sense of Aumann’s theorem. Not even a superintelligent AGI ever will be, because the space of all possible hypotheses about the world is always enormously more complex than the actual world, and the actual world is more complex than any given agent in it.