A compatibilist computational theory of mind