If AI is to agree they need all the facts. And as we keep adding facts almost daily, there is simply no chance that the AI will have all the facts. We like to

If AI is to agree they need all the facts. And as we keep adding facts almost daily, there is simply no chance that the AI will have all the facts. We like to think of logic as 1+1=2. But logic is more like A+B-C*D/E=F. Where any number of those being either completely unknown (we sometimes do not even know we are missing them), or some wide range of potential values.