Comment by naasking

Not really. Build it, test it, notice it fails to meet what we expect of intelligence under conditions X, tweak it to fix that failure and repeat until we can't find any further failures. Then we'll have a formal model of intelligence that counts as a definition.