Mind Matters Natural and Artificial Intelligence News and Analysis

TagRice's theorem

3d-illustration-roboter-auge-stockpack-adobe-stock
3D Illustration Roboter Auge

Move Over Turing and Lovelace – We Need a Terminator Test

More research should be spent on a Terminator test to mitigate the threat of an unfriendly, all-powerful artificial intelligence

What we really need is not a Turing test or a Lovelace test, but a Terminator test. Just imagine. If we create an all-powerful artificial intelligence, we cannot assume it will be friendly. We cannot guarantee anything about the AI’s behavior due to something known as Rice’s theorem. Rice’s theorem states that all non-trivial semantic properties of programs are undecidable. Benevolence is certainly a non-trivial semantic property of programs, which means we cannot guarantee benevolent AIs. Therefore, what we really need is a way to distinguish the all-powerful artificial intelligence from human intelligence, so we can protect ourselves from humanized mass murdering robots. Let us think about this in terms of test errors. When we perform a test on some…