摘要
教育型专家系统是人工智能技术的重要应用。文章概述了一个教育型专家系统的实例—智能辅导系统,并详细阐述了该系统中代数证明部分的设计与实现,最后指出了代数证明部分取得的成果和不足。
Educational expert system is a vital application of AI.Such an instance-Intelligent Tutoring System-is proposed in this paper,the design and implementation of algebra proven in this system is introduced in detail.Finally, the achievements and deficiency are pointed out.
出处
《计算机工程与应用》
CSCD
北大核心
2005年第24期103-104,120,共3页
Computer Engineering and Applications
关键词
专家系统
智能辅导系统
知识获取
expert system,Intelligent Tutoring System,knownedge acquisition
