Studies on Sensitive Pattern Matching of Numerical Formulas in LISP-CAI

利用多媒体信息，开发了一个用LISP语言描述的CAI系统。我们使用VTR， LD和声板作为媒体。我们研究了以下6个CAI教学课题。(1)研究了在LISP-CAI中学生展开数值公式时的错误答案分析方法，以及对错误答案提供适当信息反馈的方法。我们还将该方法应用于基本概率问题。(2)开发了一种新的数值公式模式匹配程序和相似度检测程序。该例程是在编程语言语法解析方法的基础上形式化的，因此具有相当的灵活性。(3)基于汉语复合词之间的关系，开发了汉语复合词及其相似度模式匹配工具。字典里有这个关系。(4)我们还开发了用IC-Lisp（通用LISP的一个子集）描述的CAI系统，以获得多种个人计算机的广泛兼容性，并实现了一个带有VTR信息的课件。(5)利用该系统开发了概率论、信息科学、物理学、电子学、力学、化学科学、商学、工程实验教学等领域的课件。我们通过这些课件对学生进行了VTR信息的指导。问卷调查显示，大多数学生对系统学习科目感到满意，并陈述了视觉信息的有效性。(6)我们实现了一套完整的基于UTI-LISP规范的LISP解释器，该解释器与DOS扩展器一起运行，具有更高的兼容性。

We have developed a CAI system described by LISP with information of multimedia. We use VTR, LD and sound board as the media. We studied following 6 subjects of CAI instruction.(1) We studied a method to analyze incorrect answers when students expand numerical formulas and a method to provide suitable informative feedback for incorrect answers in LISP-CAI. We also apply the method to basic probability problems.(2) We developed a new pattern matching routine of numerical formulas and a routine to detect their similarity. The routine has been formalized on the basis of syntax parsing method of programming language, therefore it has considerable flexibility.(3) We developed a utility for pattern matching of Chinese compound words and their simirality based on the relation of them. There is the relation in the dictionary.(4) We have also developed the CAI system described in IC-Lisp (a subset of common LISP) to obtain wide compatibility for many sorts of personal computers and have implemented a courseware with VTR information.(5) We have developed many course wares by the system in the field of probability, information science, physics, electronics, mechanics, chemical science, commercial science and experimental instructions in engineering. We have instructed students by these cours wares with VTR information. The questionnaire shows that most students are satisfied with the system to learn subjects and state the effectiveness of visual information.(6) We have implemented LISP interpreter which is a full set based on the specification of UTI-LISP operated with DOS extender for higher compatibility.