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