[digi_owl]

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.

[erikpukinskis]

You need a third model to map facts from one model into facts in another model. Doesn't really solve the problem.