|
|||||
|
|
| 平面解析几何交互推理系统的设计与实现 | |
| 引用本文： | 曹忠,李传中,赵文静.平面解析几何交互推理系统的设计与实现[J].广州大学学报(自然科学版),2008,7(1):16-19. |
| 作者姓名： | 曹忠 李传中 赵文静 |
| 作者单位： | 1. 广州大学信息与机电工程学院,广东广州,510006 2. 广州大学计算机教育软件研究所,广东广州,510006 3. 广州大学实验中心,广东广州,510006 |
| 摘 要： | 采用传统的前向推理策略,结合平面解析几何的特点,设计了交互推理系统策略和模型,然后从系统的几个关键技术入手实现平面解析几何的交互推理系统的设计,再通过两个实际的应用实例验证该系统.系统将学生从复杂重复的计算解放到解题思路的思考. |
| 关 键 词： | 自动推理 交互推理 平面解析几何 规则 |
| 文章编号： | 1671-4229（2008）01-0016-04 |
| 收稿时间： | 2006-12-06 |
| 修稿时间： | 2006-12-25 |
The design and realization of alternate reasoning system in plane analytic geometry |
|
| CAO Zhong,LI Chuan-zhong,ZHAO Wen-jing.The design and realization of alternate reasoning system in plane analytic geometry[J].Journal og Guangzhou University:Natural Science Edition,2008,7(1):16-19. | |
| Authors: | CAO Zhong LI Chuan-zhong ZHAO Wen-jing |
| Abstract: | Using traditional forward reasoning strategy and combining characteristic of plane analytic geometry, the paper designs the strategy and model of alternate reasoning system. Then it realizes the design of alternate reasoning system in plane analytic geometry from several essential techniques. Finally it introduces the system application. The system releases students from repeated and complex calculating to thinking of solving problems. |
| Keywords: | automated reasoning alternate reasoning plane analytic geometry rule |
| 本文献已被 维普 万方数据 等数据库收录！ | |