EUCLID系统的知识获取与机器学习

知识的自动获取和机器学习是使计算机具有智能的根本途径,但是现有的智能系统普遍缺乏这两个方面的能力,表现为以下三点:(1)当系统遇到错误时,不能自我改正;(2)系统不能自动获得知识和发现所需要的知识;(3)系统推理只限于演绎而缺少归纳。本文以基于知识的平面几何证明系统—EUCLID系统为例,讨论系统在解决问题(1)、(2)的一些机制。