期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
智能教学系统中自动推理模块的设计与实现
被引量：
2
1
作者
郑磊
贾东
刘椿年
《北京工业大学学报》
CAS
CSCD
北大核心
2002年第3期363-368,共6页
以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math.介绍了BPU-ITS-Math的自动推理模块的设计方法和实现技术,BPU-ITS-Math采用经典的StripS算子表达规则,用BPU-CLP语...
以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math.介绍了BPU-ITS-Math的自动推理模块的设计方法和实现技术,BPU-ITS-Math采用经典的StripS算子表达规则,用BPU-CLP语言的程序实现学科知识库、题库和通用推理机.以中学教学求函数值域问题为例,详细介绍了规则的设计方法和表达方式,并且给出了通用推理机的向后推理算法.当前BPU-ITS-Math已成功地解决了200余道求函数值域的习题.
展开更多
关键词
自动推理模块
设计
智能教学系统
约束逻辑程序设计
Strips算子
中学
数学教学
在线阅读
下载PDF
职称材料
题名
智能教学系统中自动推理模块的设计与实现
被引量：
2
1
作者
郑磊
贾东
刘椿年
机构
北京工业大学计算机学院
出处
《北京工业大学学报》
CAS
CSCD
北大核心
2002年第3期363-368,共6页
基金
国家自然科学基金资助项目(NSFC69883001).
文摘
以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math.介绍了BPU-ITS-Math的自动推理模块的设计方法和实现技术,BPU-ITS-Math采用经典的StripS算子表达规则,用BPU-CLP语言的程序实现学科知识库、题库和通用推理机.以中学教学求函数值域问题为例,详细介绍了规则的设计方法和表达方式,并且给出了通用推理机的向后推理算法.当前BPU-ITS-Math已成功地解决了200余道求函数值域的习题.
关键词
自动推理模块
设计
智能教学系统
约束逻辑程序设计
Strips算子
中学
数学教学
Keywords
intelligent tutoring system
constraint logic programming
strips operator
分类号
G434 [文化科学—教育技术学]
G633.6 [文化科学—教育学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
智能教学系统中自动推理模块的设计与实现
郑磊
贾东
刘椿年
《北京工业大学学报》
CAS
CSCD
北大核心
2002
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
