首页 期刊 计算机工程与应用 智能辅导专家系统中代数证明的设计与实现 【正文】

智能辅导专家系统中代数证明的设计与实现

作者:张小林; 胡钢伟; 赵克 西安电子科技大学机电工程学院; 西安710071
专家系统   智能辅导系统   知识获取  

摘要:教育型专家系统是人工智能技术的重要应用。文章概述了一个教育型专家系统的实例一智能辅导系统.并详细阐述了该系统中代数证明部分的设计与实现,最后指出了代数证明部分取得的成果和不足。

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

学术咨询 免费咨询 杂志订阅