[38]. PROLOG中使用的演绎形式被称为解析,最初是在20世纪60年代出现的,它可以有效实现PROLOG中使用的规则。
[39]. 沃伦,《生成有条件的计划和编程》,《第二届夏季人工智能行为与模拟会议论文集》(AISB-76),爱丁堡,1976年7月。
[40]. 古哈和莱纳特,《Cyc:中期报告》,《人工智能杂志》,11(3), 1990年。
[42]. 赖特,《默认推理逻辑》,《人工智能》, 13, 1980年,第81-132页。
[43]. 这个例子被称为尼克松菱形,用图形表示的话,图形呈菱形。
第四章 机器人与其合理性
[44]. 布鲁克斯,《无表征智能》,《人工智能》, 47, 1991年,第139-159页。
[45]. 有趣的是,人类智力的这些更高级的方面是由大脑内叫作新皮质的部分来处理的。而人类进化的记录告诉我们,大脑新皮质部分的进化相对时间靠后。对于人类来说,推理和解决问题是比较新兴的能力:在进化史的大部分时间里,我们的祖先都不具备这些能力。
[46]. 罗素和苏布拉曼尼亚,《可证明的有边界最优智能体》,《人工智能研究杂志》, 2, 1995年。
[47]. 布鲁克斯,《一个走路的机器人:进化网络的应急行为》,《机器人与自动化会议论文集》, 1989年,亚利桑那州斯科茨戴尔,1989年5月。