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

• 作者: 张小林 胡钢伟 赵克
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 专家系统 智能辅导系统 知识获取
• 年，卷（期）: 2005,（24）
• 所属期刊栏目: 产品、研发、测试
• 页码范围: 103-104,120
• 页数: 3页
• 分类号: TP31
• 字数: 3548字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.24.031

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵克	西安电子科技大学机电工程学院	57	259	9.0	12.0
2	胡钢伟	西安电子科技大学机电工程学院	8	28	3.0	5.0
3	张小林	西安电子科技大学机电工程学院	2	11	1.0	2.0