节点文献
生成传统解答的初中物理智能CAI系统——原理、结构与关键技术
A PHYSICS ICAI SYSTEM WITH TRADITIONAL STYLE SOLUTION——Principle, Structure and Critical Technology
【摘要】 初中物理智能CAI系统是作者设计和开发的实现问题临场解答和生成传统解答的基于人工智能技术教育软件。本文讨论了系统的设计原理、结构和关键技术 ,并用实例展示了该软件的主要功能。
【Abstract】 Physics-Studio, developed by the authors, is a new type intelligent CAI system based on readable theorem proving for middle school students and teachers. This ICAI system implemented user-computer interactive communication and automatically solving complicated physical problem in traditional readable style. In this paper, we discussed its basic thinking and implementation principle and critical technology. An interesting example is shown to reveal its core functions.
【关键词】 计算机辅助教学;
定理机器证明;
物理智能教育软件;
Lisp语言;
【Key words】 CAI; automated theorem proving; ICAI; physics intelligent educational software; lisp language;
【Key words】 CAI; automated theorem proving; ICAI; physics intelligent educational software; lisp language;
- 【文献出处】 计算机应用 ,Computer Applications , 编辑部邮箱 ,2001年02期
- 【分类号】TP399
- 【被引频次】5
- 【下载频次】108