1型解释包括三个层次：“计算”理论提供规定有关信息处理任务内容的公理；“算法层次”描述能够执行该任务的步骤；“硬件”层次则指出算法是怎样实现的。玛尔像数学家一样，在使用“计算的”一词时，并不特指时间过程，而是指非时间的限制，时间过程是在算法层次上考虑的〔前面有关虚拟机的讨论，已表明这不是一个单一层次，玛尔本人也假定视觉加工有若干层次(Marr1982)〕。如同每一任务都存在多种算法一样，每一算法也可能有不同的实现方式。对算法层次和硬件层次之间的相互制约所作的思考，有时可以使神经生理学家和计算心理学家共同从中获益(见第14章)。
(规定智能基本任务的)计算层次确立了AI和心理学的自然属性—玛尔认为这一点在很大程度上尚属未知。他承认广义的2维至3维映射(低级视觉)和语法分析表现为自然属性，但是他把习俗心理学规定的种种任务排除在外(与社会心理学家研究颇多的意向属性一样)，甚至也排除了被纽厄尔和西蒙模型化的算术技巧。在他看来，由于纽厄尔和西蒙忽略了基础的、无意识的信息处理任务，他们的工作缺乏科学性(对算术来说模式匹配可能是关键性问题，而他们却视模式匹配为理所当然的)。像其他的模块理论家(Fodor1983)一样，玛尔否认“较高层次的心理过程”是可以详尽解释的，因为即使在医学诊断中，一定程度的自由选择也显然是存在的，何况在欣赏十四行诗时的浩渺无际的联想之中。因而，对专门知识或故事的理解作出科学的理解，或是为其建立有理解力的计算机模型，都是不可能的。技术性AI可能会产生有用的“专家系统”，或许(某一天)也会产生出图灵的十四行诗阅读器，但对它的解释只能是一种过分复杂的、无法理解的2型理论。
人工智能哲学
10