-
题名约束归纳逻辑程序设计方法的研究
被引量：3
- 1
-
-
作者
郑磊
刘椿年
-
机构
北京工业大学计算机学院多媒体与智能软件北京市重点实验室
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第10期63-66,共4页
-
基金
国家自然科学基金(编号:60173014)
北京市自然科学基金(编号:4022003)
-
文摘
提出了一种新的约束归纳逻辑程序设计方法。该方法能够与自顶向下的归纳逻辑程序设计系统结合,通过在自顶向下归纳方法的一步特殊化操作中引入Fisher判别分析等方法,使得系统能够导出不受变量个数限制的多种形式的线性约束,在不需要用户诱导,不依赖约束求解器的情况下,学习出覆盖正例而排斥负例的含约束的Horn子句程序。
-
关键词
约束归纳逻辑程序设计方法
程序设计方法
机器学习
Porlog语言
ILP系统
-
Keywords
Constraints,Inductive Logic Programming,Constraint Inductive Logic Programming
-
分类号
TP311.11
[自动化与计算机技术—计算机软件与理论]
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名约束归纳逻辑程序设计系统
- 2
-
-
作者
郑磊
刘椿年
贾东
-
机构
北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室
-
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第19期6-7,25,共3页
-
基金
国家自然科学基金资助项目(60173014)
北京市自然科学基金资助项目(4022003)
-
文摘
提出了一种新的约束归纳逻辑程序设计方法,并初步实现了一个自顶向下的约束归纳逻辑程序原型系统。该系统能够导出不受变量个数限制的多种形式的线性约束,得出覆盖正例而排斥负例的含约束的Horn子句程序。
-
关键词
约束
归纳逻辑程序设计
约束归纳逻辑程序设计
-
Keywords
Constraints
Inductive logic programming(ILP)
Constraint inductive logic programmin(CILP)
-
分类号
TP391.2
[自动化与计算机技术—计算机应用技术]
-
-
题名分布式并行约束归纳逻辑程序设计研究
被引量：1
- 3
-
-
作者
卢向澄
郑磊
刘椿年
-
机构
北京工业大学计算机学院多媒体与智能软件北京市重点实验室
-
出处
《计算机应用研究》
CSCD
北大核心
2005年第9期34-36,45,共4页
-
基金
国家自然科学基金资助项目(60173014)
北京市自然科学基金资助项目(4022003)
北京工业大学研究生科技基金资助项目(YKJ-2003-45)
-
文摘
CILP是关系数据挖掘的主要技术之一。为提高CILP系统的效率,提出了一种基于C3模型,元学习技术和主从式静态负载平衡策略的分布式并行CILP算法,并实现了一个基于COW机群结构的分布式并行CILP原型系统。实验表明该算法是高效的,能获得较好的负载平衡,较高的加速比和并行效率。
-
关键词
约束归纳逻辑程序设计
分布式并行逻辑程序归纳设计
关系数据挖掘
-
Keywords
CILP
PCILP
RDM
-
分类号
TP391.2
[自动化与计算机技术—计算机应用技术]
-
-
题名约束归纳逻辑程序设计的研究
- 4
-
-
作者
夏姗姗
刘椿年
-
机构
北京工业大学计算机学院
-
出处
《北京工业大学学报》
CAS
CSCD
2000年第3期108-112,共5页
-
基金
国家自然科学基金资助项目!(NS FC0983001)
国家"863"高技术发展资助项目!(863-306ZT-6-07-2)
-
文摘
提出并讨论了从正负例和背景知识学习含有约束的一阶谓词公式的约束归纳逻辑程序设计方法．该方法以国际上具有代表性的ＩＬＰ系统Ｐｒｏｇｏｌ为基础，加入我们自己的学习约束的新方法，在不需要用户诱导的情况下，经过对正负例的比较与推导，学习出覆盖正例而排斥负例的含约束的Ｈｏｒｎ子句程序，同时介绍了这个ＩＬＰ系统的实现算法和应用实例．
-
关键词
约束
归纳逻辑程序设计
约束归纳逻辑程序设计
机器学习
-
Keywords
constraints, inductive logic programming, constraint inductive logic programming
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名归纳逻辑程序设计综述
被引量：4
- 5
-
-
作者
郑磊
贾东
刘椿年
-
机构
北京工业大学计算机学院多媒体与智能软件北京市重点实验室
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第17期43-46,86,共5页
-
基金
国家自然科学基金资助项目(编号:60173014)
北京市自然科学基金资助项目(编号:4022003)
-
文摘
归纳逻辑程序设计是由机器学习与逻辑程序设计交叉所形成的一个研究领域,是机器学习的前沿研究课题。该文首先从归纳逻辑程序设计的问题背景、类型划分和搜索程序子句三个方面介绍了归纳逻辑程序设计系统的概貌;然后结合实验室的相关研究工作,回顾了归纳逻辑程序设计研究的发展;之后介绍了归纳逻辑程序设计领域中需要深入研究的若干问题,并提出了新的解决思路;最后是总结,以引起读者对归纳逻辑程序设计领域研究的进一步关注。
-
关键词
机器学习
逻辑程序设计
归纳逻辑程序设计
粗糙—归纳逻辑程序设计
遗传归纳逻辑程序设计
约束归纳逻辑程序设计
关系数据挖掘
-
Keywords
Machine Learning,Logic Programming,Inductive L ogic Programming,Rough Inductive Logic Programming,Genetic Inductive Logic Pro gramming,Constraint Inductive Logic Programming,Relational Data Mining
-
分类号
TP391.2
[自动化与计算机技术—计算机应用技术]
-
-
题名多关系数据挖掘方法研究
被引量：5
- 6
-
-
作者
徐光美
杨炳儒
张伟
宁淑荣
-
机构
北京科技大学信息工程学院知识工程研究所
-
出处
《计算机应用研究》
CSCD
北大核心
2006年第9期8-12,共5页
-
基金
国家科技成果重点推广计划项目(2003EC000001)
-
文摘
目前大多数数据挖掘方法是从单关系中发现模式,而多关系数据挖掘(MRDM)则可直接从关系数据库的多表中抽取有效模式。MRDM可以解决原有命题数据挖掘方法不能解决的问题,它不仅有更强的信息表示能力,可以表示和发现更复杂的模式,还可以在挖掘进程中有效地利用背景知识来提高挖掘效率和准确率。近年来,借鉴归纳逻辑程序设计(ILP)技术,已经形成许多多关系数据挖掘方法,如关系关联规则挖掘方法、关系分类聚类方法等。
-
关键词
多关系数据挖掘(关系数据挖掘)
归纳逻辑程序设计
关系分类回归
关系关联规则
基于距离的关系方法
-
Keywords
Multi-Relational Data Mining（MRDM） （ Relational Data Mining, RDM）
Inductive Logic Programming （ILP）
Relational Classification and Regression
Relational Association Rules
Relational Distance-based Methods
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名程序设计、程序框图
- 7
-
-
-
出处
《电子科技文摘》
1999年第9期122-122,共1页
-
文摘
9914170分布式测控系统的多线程应用程序设计[刊]/余志勇//计算机工程与应用.—1999,35(5).—62～64,114(G)应用 Windows(R)95/98/NT 多线程编程方法,把分布式测控系统中的指令和数据传输、数据处理与显示、测试状态与报警提示、数据与状态存档以及应用程序响应操作员的键盘(或鼠标)
-
关键词
分布式测控系统
多线程
遗传程序设计
程序框图
数据处理
数据传输
应用程序设计
编程方法
计算机工程
归纳逻辑程序设计
-
分类号
TN
[电子电信]
-
