Loosemore is assuming that the AI will be homogeneous, and then wondering how contradictory beliefs can co exist in such a system, what extra component firewalls off the contradiction
How do you check for contradictions? It’s easy enough when you have two statements that are negations of one another. It’s a lot harder when you have a lot of statements that seem plausible, but there’s an edge case somewhere that messes things up. If contradictions can’t be efficiently found, then you have to deal with the fact that they might be there and hope that if they are, then they’re bad enough to be quickly discovered. You can have some tests to try to find the obvious ones, of course.
How do you check for contradictions? It’s easy enough when you have two statements that are negations of one another. It’s a lot harder when you have a lot of statements that seem plausible, but there’s an edge case somewhere that messes things up. If contradictions can’t be efficiently found, then you have to deal with the fact that they might be there and hope that if they are, then they’re bad enough to be quickly discovered. You can have some tests to try to find the obvious ones, of course.
Checking for contradictions could be easy, hard or impossible depending on the architecture. Architecture dependence is the point here.