一种是常识,比如围棋里的定式、“下雨外面的草地会湿”等。还有事实,比如“牛顿1643年出生”、“鸟都有翅膀”。再有是推理规则,比如形式逻辑里的三段论。在非构造主义的经典形式系统里,推理规则还有排中率。
学习方法也是一种知识。以“老鼠钻迷宫”为例,你可以写个软件来模拟老鼠解题。如果在某个路口有N个出口,随机选一个出口。如果是死路,下次再尝试时将其剔除。这样经过有限次的尝试,老鼠就找到一条通路。这个软件就表现出了学习功能。
围棋软件也可以类似,如果某个局面有N种可能的走法,经过有限次的尝试,把会输的走法剔除掉。下围棋的水平就慢慢提高了,或者说表现出了学习功能。但是,这些学习方法是人教给计算机的。
人工智能其实更愿意被叫做知识工程,因为其核心是知识表达。人工智能的工作,是把人的知识整理和表达出来。计算机能拥有的知识,都是人教给它的,只是人的知识的一个子集。计算机不能自己“悟出”人类没有办法获得的知识。从这点讲,计算机不会比人聪明。
可能有人会问,在遥远的未来,计算机会不会进化到自己“悟出”人类没有办法获得的知识?我只能说这是个哲学问题。“科学的尽头是哲学”,并不是说在哲学里能够找到科学里没有的答案,而是说科学里暂时没有答案的问题,通常是哲学家们扯皮的好话题。