题名 约束逻辑程序设计的变量压缩事件分析
1
作者
易军凯 肖洋
机构
北京化工大学信息科学与技术学院
出处
《计算机工程与应用》
CSCD
北大核心
2005年第18期51-53,60,共4页
基金
新加坡政府支持 与新加坡国立大学合作
文摘
该文涉及的约束逻辑程序设计(CLP)是一在二叉树上进行搜索的过程,提高搜索效率是CLP的主要研究方向之一。在CLP中约束推理机是核心,由变量组、约束过滤器、临时容器、推理引擎组成。在介绍了约束推理机激活过滤器,对变量进行区间压缩后,提出引入变量事件,总结为三种类型:SINGLE、BOUND和DOMCHG,用于减少过滤器的激发次数。实验结果表明,变量事件能够促进约束推理机的搜索效率,缩短二叉树搜索的时间,可以更快寻找到答案。
关键词
约束逻辑程序设计 约束 推理机区间压缩 变量事件 二叉树
Keywords
constraint logic programming,tree search engine,domain Narrowing,event occurrence of variables,binary tree
分类号
TP319
[自动化与计算机技术—计算机软件与理论]
题名 基于约束逻辑程序设计的排课算法研究
被引量：4
2
作者
徐成刚 易军凯 肖洋
机构
北京化工大学信息科学与技术学院
出处
《计算机工程与应用》
CSCD
北大核心
2006年第31期197-199,212,共4页
基金
教育部留学回国人员科研启动基金
文摘
课程安排问题是典型的组合优化和不确定调度问题。采用约束逻辑程序设计的研究方法,结合课程安排自身的特点,通过约束推理找到最优的课程安排结果。约束逻辑程序设计综合了人工智能中一致性算法和启发式搜索算法,采用约束推理方法,能非常好地处理各种冲突,并且能快速地排出合理的课程。
关键词
排课 约束逻辑程序设计 时空元
Keywords
course timetabling constraint logic programming time and space unit
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 约束归纳逻辑程序设计方法的研究
被引量：3
3
作者
郑磊 刘椿年
机构
北京工业大学计算机学院多媒体与智能软件北京市重点实验室
出处
《计算机工程与应用》
CSCD
北大核心
2003年第10期63-66,共4页
基金
国家自然科学基金(编号:60173014) 北京市自然科学基金(编号:4022003)
文摘
提出了一种新的约束归纳逻辑程序设计方法。该方法能够与自顶向下的归纳逻辑程序设计系统结合,通过在自顶向下归纳方法的一步特殊化操作中引入Fisher判别分析等方法,使得系统能够导出不受变量个数限制的多种形式的线性约束,在不需要用户诱导,不依赖约束求解器的情况下,学习出覆盖正例而排斥负例的含约束的Horn子句程序。
关键词
约束 归纳逻辑程序 设计 方法程序 设计 方法机器学习 Porlog语言 ILP系统
Keywords
Constraints,Inductive Logic Programming,Constraint Inductive Logic Programming
分类号
TP311.11
[自动化与计算机技术—计算机软件与理论]
TP181
[自动化与计算机技术—控制理论与控制工程]
题名 约束归纳逻辑程序设计系统
4
作者
郑磊 刘椿年 贾东
机构
北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室
出处
《计算机工程》
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
5
作者
卢向澄 郑磊 刘椿年
机构
北京工业大学计算机学院多媒体与智能软件北京市重点实验室
出处
《计算机应用研究》
CSCD
北大核心
2005年第9期34-36,45,共4页
基金
国家自然科学基金资助项目(60173014) 北京市自然科学基金资助项目(4022003) 北京工业大学研究生科技基金资助项目(YKJ-2003-45)
文摘
CILP是关系数据挖掘的主要技术之一。为提高CILP系统的效率,提出了一种基于C3模型,元学习技术和主从式静态负载平衡策略的分布式并行CILP算法,并实现了一个基于COW机群结构的分布式并行CILP原型系统。实验表明该算法是高效的,能获得较好的负载平衡,较高的加速比和并行效率。
关键词
约束 归纳逻辑程序 设计 分布式并行逻辑程序 归纳设计 关系数据挖掘
Keywords
CILP PCILP RDM
分类号
TP391.2
[自动化与计算机技术—计算机应用技术]
题名 约束归纳逻辑程序设计的研究
6
作者
夏姗姗 刘椿年
机构
北京工业大学计算机学院
出处
《北京工业大学学报》
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
7
作者
郑磊 贾东 刘椿年
机构
北京工业大学计算机学院多媒体与智能软件北京市重点实验室
出处
《计算机工程与应用》
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
[自动化与计算机技术—计算机应用技术]
题名 并发约束程序设计语言COPS及其执行模型
被引量：1
8
作者
廖乐健 史忠植 曹元大
机构
北京理工大学人工智能研究所 中科院计算所智能信息处理开放实验室
出处
《计算机工程与应用》
CSCD
北大核心
2003年第14期121-125,共5页
基金
部委资助项目
文摘
约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。传统逻辑程序设计的基“计算即为定理证明”的计算风格虽获得了简洁优美的操作语义特性,但也付出了执行效率低的代价,当应用系统规模增大时,其性能严重下降以致崩溃。针对传统逻辑程序设计的这种可伸缩性问题,设计了一个基于并发约束程序设计概念的说明性语言COPS,旨在从语言设计与执行模型两方面降低说明性程序的不确定性,提高搜索与运行效率。在语言设计方面,通过引入确定性语言成分,避免不确定计算用于确定性目标所浪费的系统开销;在执行模型方面,在目标的并发穿叉执行与数据驱动的并发同步机制的基础上,实现“优先执行确定目标”策略与“最少假定”策略,作为约束传播的延伸,最大幅度地剪枝搜索空间,降低搜索复杂性。COPS提供的知识表示、推理与并发机制使其成为构造agent程序的理想语言。论文给出COPS语言的语法规范与执行模型的操作语义描述。
关键词
并发约束 程序 设计 约束 满足约束逻辑程序设计
Keywords
concurrent constraint programming,constraint satisfact ion,constraint logic programming
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 智能教学系统中自动推理模块的设计与实现
被引量：2
9
作者
郑磊 贾东 刘椿年
机构
北京工业大学计算机学院
出处
《北京工业大学学报》
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
[文化科学—教育学]
题名 CLP编译系统中非线性约束求解的算法与优化
被引量：1
10
作者
周天山 刘椿年 李京悦 钟宁燕 苗占禄
机构
北京工业大学计算机学院
出处
《北京工业大学学报》
CAS
CSCD
2000年第3期104-107,共4页
基金
国家自然科学基金资助项目!(NS FC69883001) 国家"863"高科技计划资助项目!(863-306-ZT06-07-2
文摘
描述了一个高度优化的约束逻辑程序（ＣＬＰ）编译系统解释实现中的算法和优化策略．并通过定义新的数据结构，采用多种优化策略，使该系统能够以较高效率处理经典的非线性约束问题．
关键词
WARREN抽象机 约束逻辑程序设计 多重论域 非线性约束 编译系统 算法 优化
Keywords
WAM, CLP, multi_domain,nonlinear constraints
分类号
TP391.2
[自动化与计算机技术—计算机应用技术]
题名 一个可求解非线性约束的CLP编译方案及其优化
被引量：1
11
作者
李京悦 刘椿年 周天山 钟宁燕 苗占禄
机构
北京工业大学计算机学院
出处
《北京工业大学学报》
CAS
CSCD
2000年第2期39-44,共6页
基金
国家自然科学基金!NSFC69883001 国家"863"高技术发展资助!863.306.ZT06-07-2
文摘
描述了一个优化的约束逻辑程序设计（ＣＬＰ）系统的编译方法和编译优化策略．该系统是一个多重论域的ＣＬＰ系统，以区间算术和约束传播作为离散域和实数域上约束求解的统一方法，具有求解非线性约束的功能．实现为一个基于扩充的ＷＡＭ指令集的编译系统．在国内外已有的ＣＬＰ系统中，我们尚未见到同时具有多重论域，非线性约束求解和编译实现这３项特征的类似系统．
关键词
约束逻辑程序设计 非线性约束 编译方案 优化
Keywords
Constraint Logic Programming (CLP), Warren Abstract Machine (WAM), Multi-domain, Non-linear constraints, Compilation
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
题名 一种可扩展型CLP系统的统一建模方法
被引量：2
12
作者
易军凯 翟性泉 王雪晶
机构
北京化工大学信息科学与技术学院 海军后勤装备技术研究所
出处
《计算机工程与应用》
CSCD
北大核心
2004年第30期116-119,共4页
文摘
约束推理是人工智能中主要组成部分之一,可以解决实际优化调度和规划过程中的约束求解问题。这里在解释了约束逻辑程序设计的原理和过程基础上,打破封闭式约束逻辑程序设计系统,从软件工程上采用统一建模语言,提出一种新的开放的可扩展型约束逻辑程序设计结构系统。为实现可扩展的约束推理搜索系统,引进UML建模语言中用例图、类图和协作图。在建模基础上详细说明了可扩展约束逻辑程序设计中数学模型,搜索引擎和搜索驱动三者间的关系以及它们内部的工作内容。最后在描述系统结构后,提出了可扩展的内容。根据扩展因素,外界为满足更多的需要可扩展本系统的约束过滤器。
关键词
约束逻辑程序设计 数学建模 搜索引擎 搜索求解器
Keywords
extended constraint logic programming,modeling,search engine,search solver
分类号
TP319
[自动化与计算机技术—计算机软件与理论]
题名 用CLP技术解决动画自动生成中的布局规划问题
被引量：1
13
作者
汤玮 卢向澄 郑磊 刘椿年
机构
北京工业大学计算机学院多媒体与智能软件北京市重点实验室
出处
《计算机应用研究》
CSCD
北大核心
2006年第5期244-247,共4页
基金
国家自然科学基金资助项目(60496322 60496327) 北京工业大学博士科研启动基金项目(00119)
文摘
以本实验室研制的一个多重论域的约束逻辑程序设计系统BPU-CLP为基础,提出用约束逻辑程序(Constraint Logic Programm ing,CLP)解决布局规划问题。该方法用几何模型表示对象,用算术约束描述对象间的位置关系,并通过BPU-CLP的约束求解机制为各个位置变量取值。该方法实现了二维人物初始布局规划和三维卧室家具布局规划。实验证明该方法是有效的。
关键词
动画自动生成 布局规划 约束逻辑程序设计
Keywords
Automatic Generation of Computer Animation Layout Planning Constraint Logic Programming
分类号
TP39
[自动化与计算机技术—计算机应用技术]
