"[T]aking [the design of a cognitive architecture] to the AI laboratory... requires the theory not merely to be plausible, but... requires it to be fit for implementation, and delivers it to the... merciless battle of testing."