书中常常出现两个与AI特征相关联的概念：形式化和意向性。这两个概念在建立AI与哲学的联系上起着举足轻重的作用，这里作一简要介绍。
形式化(formalization)。形式化有狭义、广义两层意思。广义地说，一切被感知的事物，和由它们组合而成的复杂事物，以及被意识到的精神活动，都以符号和其他某种形式在意识中形成对应物(图形、声音等代号形式)，亦即构成意识的基本材料，这些东西总是表现为一定形式的，我们的思维活动就是通过对这种素材的组织而完成的。在表现为符号的(形式的)层次之下，有非形式的层次，也对应于某种脑的活动，但那是意识之外的东西，而处在意识之外，则不能直接为主体所把握，或者说，任何一个事物进入意识，都要借助于某种形式化过程。这里可以参照哲学家所说的语言的界限即为世界的界限而提出：形式化的界限即为思维的界限。狭义的形式化是由逻辑学规定的。本书中的形式化概念则常常仅对计算机和AI而言，是指一种事先规定好的运行方式。将某一过程形式化，也就是建立一种算法，将这一过程描述出来。任一事物，只要能够形式化，就可以由计算机来完成，其逆反推论也成立：任何不能形式化的事物，计算机都无法实现，所以我们又可以说，(狭义)形式化的界限就是计算机的界限。当然，由于联结论的出现，AI中的形式化要求有所放宽。但是即使在联结论中也必须以形式化为开始，才能建立分布式表述基础上的算法。这样，计算机能做什么和不能做什么的问题，就转化为形式化界限在哪里的问题。狭义形式化的界限显然小于语言，而广义形式化的界限显然又大于语言。狭义形式化实际上是以固定形式构成的结构关系，而广义形式化则比较庞杂，包括与个别对象相对应的形式，也包括形式之间的关系结构。不难看出，实现形式化是AI的关键问题。
译后记
489