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

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

作　　者：郑磊[1] 贾东[1] 刘椿年[1] 

机构地区：[1]北京工业大学计算机学院,北京100022

出　　处：《北京工业大学学报》2002年第3期363-368,共6页Journal of Beijing University of Technology

基　　金：国家自然科学基金资助项目(NSFC69883001).

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

关 键 词：自动推理模块 设计 智能教学系统 约束逻辑程序设计 Strips算子 中学 数学教学 

分 类 号：G434[文化科学—教育学] G633.6[文化科学—教育技术学]