Indexed by：
Abstract：
以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math. 介绍了BPU-ITS-Math的自动推理模块的设计方法和实现技术,BPU-ITS-Math采用经典的Strips算子表达规则,用BPU-CLP语言的程序实现学科知识库、题库和通用推理机. 以中学教学求函数值域问题为例,详细介绍了规则的设计方法和表达方式,并且给出了通用推理机的向后推理算法. 当前BPU-ITS-Math已成功地解决了200余道求函数值域的习题.
Keyword：
Reprint Author's Address：
Email：
Source ：
北京工业大学学报
ISSN： 0254-0037
Year： 2002
Issue： 3
Volume： 28
Page： 363-368
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： 14
Chinese Cited Count：
30 Days PV： 11
Affiliated Colleges：
