摘要
平面几何智能辅导系统是一个适用面较广的家教辅导专家系统,由于几何问题的复杂性,使得系统的实现变得繁杂。本文首先简单介绍了系统的整体流程,具体讨论了系统的核心模块(规则库)的实现及其知识表示方法。分类是系统实现的关键技术。本系统已能成功地解决一般几何证明问题,满足不同层次学生的平面几何辅导需要。
A intellectualized system for plane geometry is a tutorship expert system of using quite extensive, It is the complicacy of the question for plane that the implementation of system became more complicated. First, The text simply introduced the whole flow,particularly the implementation of core module(rule bases)and the way of knowledge deno-tation were discussed. Categorization is the key technology of the system . The system have successfully saved the question of proved plane geometry, Tutorship of arrangement students are satisfied.
出处
《航空计算技术》
2004年第4期102-104,107,共4页
Aeronautical Computing Technique
关键词
平面几何
产生式规则
规则库
分类
plane geometry
production rules
rule bases
categorization