从理论计算机科学视角看意识理论：来自有意识图灵机的洞见

理解意识的探求曾是哲学家与神学家的领域，如今众多领域的科学家都在积极探索。我们从理论计算机科学（TCS）视角审视意识，TCS 是数学的一个分支，关注计算与复杂性的基本原理，包括资源限制的含义与惊人后果。秉承 Alan Turing 简洁而有力的计算机定义——图灵机（TM）——以及计算复杂性理论的观点，我们将由认知神经科学家 Bernard Baars 提出、并由他、Stanislas Dehaene、Jean-Pierre Changeaux 等人进一步发展的意识全局工作空间理论（GWT）的修正版本形式化。我们并非寻求大脑或认知的复杂模型，而是寻求意识（这一公认复杂的概念）的简单计算模型。为此我们定义有意识图灵机（CTM），亦称有意识 AI，进而在 CTM 中定义意识及相关概念。尽管这些仅是数学（TCS）定义，我们仍建议为何 CTM 具有意识感受。TCS 视角提供了一个简单的形式框架，可运用计算复杂性理论与机器学习的工具来帮助我们理解意识及相关概念。此前我们探讨了 CTM 中痛与乐感受的高层解释。此处我们考虑三个与视觉相关的例子（盲视、非注意盲视与变化盲视），随后讨论梦、自由意志与意识 altered 状态。