您的位置： 专家智库 > >

郑磊

作品数：8 被引量：24H指数：3
供职机构：北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室更多>>
发文基金：国家自然科学基金北京市自然科学基金内蒙古自治区自然科学基金更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 8篇中文期刊文章

领域

  • 7篇自动化与计算...
  • 1篇文化科学

主题

  • 6篇逻辑程序
  • 6篇逻辑程序设计
  • 6篇程序设计
  • 4篇约束归纳逻辑...
  • 4篇归纳逻辑程序...
  • 2篇语义WEB
  • 2篇约束逻辑程序...
  • 2篇数据挖掘
  • 2篇关系数据挖掘
  • 1篇动画
  • 1篇动画自动生成
  • 1篇智能教学
  • 1篇智能教学系统
  • 1篇设计方法
  • 1篇数学
  • 1篇数学教学
  • 1篇子句
  • 1篇自动生成
  • 1篇网络
  • 1篇网络智能

机构

  • 8篇北京工业大学
  • 2篇内蒙古工业大...
  • 2篇香港浸会大学
  • 2篇前桥工业大学

作者

  • 8篇刘椿年
  • 8篇郑磊
  • 3篇贾东
  • 2篇钟宁
  • 2篇卢向澄
  • 2篇苏依拉
  • 1篇汤玮

传媒

  • 3篇计算机工程
  • 2篇计算机应用研...
  • 2篇计算机工程与...
  • 1篇北京工业大学...

年份

  • 1篇2006
  • 3篇2005
  • 3篇2003
  • 1篇2002
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
分布式并行约束归纳逻辑程序设计研究被引量：3
2005年
CILP是关系数据挖掘的主要技术之一。为提高CILP系统的效率,提出了一种基于C3模型,元学习技术和主从式静态负载平衡策略的分布式并行CILP算法,并实现了一个基于COW机群结构的分布式并行CILP原型系统。实验表明该算法是高效的,能获得较好的负载平衡,较高的加速比和并行效率。
卢向澄郑磊刘椿年
关键词：约束归纳逻辑程序设计关系数据挖掘
用CLP技术解决动画自动生成中的布局规划问题被引量：2
2006年
以本实验室研制的一个多重论域的约束逻辑程序设计系统BPU-CLP为基础,提出用约束逻辑程序(Constraint Logic Programm ing,CLP)解决布局规划问题。该方法用几何模型表示对象,用算术约束描述对象间的位置关系,并通过BPU-CLP的约束求解机制为各个位置变量取值。该方法实现了二维人物初始布局规划和三维卧室家具布局规划。实验证明该方法是有效的。
汤玮卢向澄郑磊刘椿年
关键词：动画自动生成布局规划约束逻辑程序设计
智能教学系统中自动推理模块的设计与实现被引量：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子句程序。
郑磊刘椿年贾东
关键词：归纳逻辑程序设计约束归纳逻辑程序设计
基于OWL和Horn子句的β-PSML语言框架被引量：4
2005年
提出了将OWL和Horn子句相结合构建β-PSML语言,它既可以表示OWL中不能表示的多元关系,又可以表示Horn子句难以表示的有丰富等级结构的领域模型。提出的β-PSML语言是一种语义Web中新的知识表示方法,利用该β-PSML语言的推理功能可以完成语义Web中的查询。
苏依拉郑磊刘椿年钟宁LIU Jiming
关键词：OWL语义WEBHORN子句
约束归纳逻辑程序设计方法的研究被引量：4
2003年
提出了一种新的约束归纳逻辑程序设计方法。该方法能够与自顶向下的归纳逻辑程序设计系统结合,通过在自顶向下归纳方法的一步特殊化操作中引入Fisher判别分析等方法,使得系统能够导出不受变量个数限制的多种形式的线性约束,在不需要用户诱导,不依赖约束求解器的情况下,学习出覆盖正例而排斥负例的含约束的Horn子句程序。
郑磊刘椿年
关键词：程序设计方法
β-PSML语言的推理及应用
2005年
随着Web的发展,用户检索有用的信息变得越来越难。因此,在Web环境下,迫切需要研发相应的系统解决这个问题。而这一系统的核心是问题解决标记语言和基于PSML语言的Web推理引擎。该文提出了β-PSML语言的推理算法,并说明了某些查询仅使用Prolog或OWL其中之一的推理引擎无法得到结果,只有通过结合Prolog和OWL二者的推理引擎进行推理才能得出结果。实验结果表明该方法是有效的,原型系统在语义Web上可得到良好的结果。
苏依拉郑磊刘椿年钟宁LIU Jiming
关键词：网络智能语义WEB
全选 清除 导出
共1页<1>
聚类工具0