Re:Why Computers Won't Make Themselves Smarter
by jqpabc123 on Wednesday March 31, 2021 @10:45AM
(#26647974)
... and there's no reason why AI computer systems have to be formally consistent either.
There is no reason why an inconsistent AI system should be considered reliable either.
Formal consistency is baked into the design of modern computer hardware. A computer that is not formally consistent at the hardware level is random and thus not very practical.
Likewise at the software level, the only alternative to formal consistency is randomness. Which may provide an answer but with no real assurance of accuracy or correctness.
It may be possible to obtain a correct answer to very specific problems from random logic through iteration and testing --- but a lot of time, effort and energy will almost certainly be wasted on wrong ones. Once again, not terribly promising on a practical AGI level.
There is no reason why an inconsistent AI system should be considered reliable either.
Formal consistency is baked into the design of modern computer hardware. A computer that is not formally consistent at the hardware level is random and thus not very practical.
Likewise at the software level, the only alternative to formal consistency is randomness. Which may provide an answer but with no real assurance of accuracy or correctness.
It may be possible to obtain a correct answer to very specific problems from random logic through iteration and testing --- but a lot of time, effort and energy will almost certainly be wasted on wrong ones. Once again, not terribly promising on a practical AGI level.