智能教学系统中自动推理模块的设计与实现

以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math. 介绍了BPU-ITS-Math的自动推理模块的设计方法和实现技术,BPU-ITS-Math采用经典的Strips算子表达规则,用BPU-CLP语言的程序实现学科知识库、题库和通用推理机. 以中学教学求函数值域问题为例,详细介绍了规则的设计方法和表达方式,并且给出了通用推理机的向后推理算法. 当前BPU-ITS-Math已成功地解决了200余道求函数值域的习题.

Design and Implementation of the Automatic Reasoning Module of Intelligent Tutoring System

Based on the constraint logic programming system BPU-CLP, the authors developed an intelligent tutoring system named BPU-ITS-Math, which is a student-oriented ITS aiming at high school mathematics tutoring. Here the authors introduce the method for designing and implementing the automatic reasoning module of BPU-ITS-Math. In BPU-ITS-Math, rules are represented with classical strips operators, and the exercise base, the knowledge base and the general reasoning machine are all implemented with the program of BPU-CLP. The technique of the rule design and expression is presented with the examples of calculating the mathematical function domains of high school. The backward reasoning algorithm of the general reasoning machine is also given. Currently, BPU-ITS-Math has solved successfully more than 200 exercises of calculating domains of mathematical functions. Now the authors are applying our achievments to extending the knowledge base for the purpose of making BPU-ITS-Math solve exercises of other mathematics domains.