贾东
- 作品数:4 被引量:14H指数:2
- 供职机构:北京工业大学更多>>
- 发文基金:国家自然科学基金北京市自然科学基金更多>>
- 相关领域:自动化与计算机技术文化科学更多>>
- 约束归纳逻辑程序设计系统的研究与实现
- 大多数数据挖掘方法针对的对象是传统的单表形式的数据.然而,通常现实数据中包含很多不同类型的实体(多表).对这样的数据的挖掘形成了关系数据挖掘研究领域.关系数据挖掘主要技术之一是归纳逻辑程序设计(Inductive Log...
- 贾东
- 关键词:数据挖掘归纳逻辑程序设计约束归纳逻辑程序设计模式识别
- 文献传递
- 智能教学系统中自动推理模块的设计与实现被引量:3
- 2002年
- 以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math.介绍了BPU-ITS-Math的自动推理模块的设计方法和实现技术,BPU-ITS-Math采用经典的StripS算子表达规则,用BPU-CLP语言的程序实现学科知识库、题库和通用推理机.以中学教学求函数值域问题为例,详细介绍了规则的设计方法和表达方式,并且给出了通用推理机的向后推理算法.当前BPU-ITS-Math已成功地解决了200余道求函数值域的习题.
- 郑磊贾东刘椿年
- 关键词:智能教学系统约束逻辑程序设计数学教学
- 归纳逻辑程序设计综述被引量:11
- 2003年
- 归纳逻辑程序设计是由机器学习与逻辑程序设计交叉所形成的一个研究领域,是机器学习的前沿研究课题。该文首先从归纳逻辑程序设计的问题背景、类型划分和搜索程序子句三个方面介绍了归纳逻辑程序设计系统的概貌;然后结合实验室的相关研究工作,回顾了归纳逻辑程序设计研究的发展;之后介绍了归纳逻辑程序设计领域中需要深入研究的若干问题,并提出了新的解决思路;最后是总结,以引起读者对归纳逻辑程序设计领域研究的进一步关注。
- 郑磊贾东刘椿年
- 关键词:逻辑程序设计归纳逻辑程序设计约束归纳逻辑程序设计关系数据挖掘
- 约束归纳逻辑程序设计系统被引量:1
- 2003年
- 提出了一种新的约束归纳逻辑程序设计方法,并初步实现了一个自顶向下的约束归纳逻辑程序原型系统。该系统能够导出不受变量个数限制的多种形式的线性约束,得出覆盖正例而排斥负例的含约束的Horn子句程序。
- 郑磊刘椿年贾东
- 关键词:归纳逻辑程序设计约束归纳逻辑程序设计