导读:本文包含了约束逻辑程序设计论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:程序设计,逻辑,归纳,人工智能,分布式,区间,线程。
约束逻辑程序设计论文文献综述
徐成刚,易军凯,肖洋[1]（2006）在《基于约束逻辑程序设计的排课算法研究》一文中研究指出课程安排问题是典型的组合优化和不确定调度问题。采用约束逻辑程序设计的研究方法,结合课程安排自身的特点,通过约束推理找到最优的课程安排结果。约束逻辑程序设计综合了人工智能中一致性算法和启发式搜索算法,采用约束推理方法,能非常好地处理各种冲突,并且能快速地排出合理的课程。(本文来源于《计算机工程与应用》期刊2006年31期）
卢向澄,郑磊,刘椿年[2]（2005）在《分布式并行约束归纳逻辑程序设计研究》一文中研究指出CILP是关系数据挖掘的主要技术之一。为提高CILP系统的效率,提出了一种基于C3模型,元学习技术和主从式静态负载平衡策略的分布式并行CILP算法,并实现了一个基于COW机群结构的分布式并行CILP原型系统。实验表明该算法是高效的,能获得较好的负载平衡,较高的加速比和并行效率。(本文来源于《计算机应用研究》期刊2005年09期）
易军凯,肖洋[3]（2005）在《约束逻辑程序设计系统的变量事件机制研究》一文中研究指出1 引言研究离散有限域约束问题的一个方法是约束逻辑程序设计,这个方法综合了人工智能中一致性算法和启发式搜索算法的优点,是人工智能的重要组成部分。一般来说,约束逻辑程序设计采用的基本策略是查找二叉树,从根节点开始按照事先规定的方式进行搜索,如果找到一个叶子,就算找到一个答案。二叉树的建立就是实际问题的建模过程,在这个过程中,需要涉及到一系列逻辑变量,这是用来描述问(本文来源于《2005年全国理论计算机科学学术年会论文集》期刊2005-08-01）
易军凯,肖洋[4]（2005）在《约束逻辑程序设计的变量压缩事件分析》一文中研究指出该文涉及的约束逻辑程序设计(CLP)是一在二叉树上进行搜索的过程,提高搜索效率是CLP的主要研究方向之一。在CLP中约束推理机是核心,由变量组、约束过滤器、临时容器、推理引擎组成。在介绍了约束推理机激活过滤器,对变量进行区间压缩后,提出引入变量事件,总结为叁种类型:SINGLE、BOUND和DOMCHG,用于减少过滤器的激发次数。实验结果表明,变量事件能够促进约束推理机的搜索效率,缩短二叉树搜索的时间,可以更快寻找到答案。(本文来源于《计算机工程与应用》期刊2005年18期）
张永刚,孙吉贵[5]（2004）在《有穷论域约束逻辑程序设计及其应用》一文中研究指出该文介绍了约束逻辑程序设计的发展现状,讨论了有穷论域约束逻辑程序设计中所采用的各种技术,包括约束建模、搜索控制以及优化等,然后详细论述了它在管理决策支持方面的应用,主要是调度问题,包括工业调度、时间表调度等。最后指出了未来发展方向。(本文来源于《全国第16届计算机科学与技术应用（CACIS）学术会议论文集》期刊2004-08-01）
郑磊,刘椿年,贾东[6]（2003）在《约束归纳逻辑程序设计系统》一文中研究指出提出了一种新的约束归纳逻辑程序设计方法,并初步实现了一个自顶向下的约束归纳逻辑程序原型系统。该系统能够导出不受变量个数限制的多种形式的线性约束,得出覆盖正例而排斥负例的含约束的Horn子句程序。(本文来源于《计算机工程》期刊2003年19期）
郑磊,刘椿年[7]（2003）在《约束归纳逻辑程序设计方法的研究》一文中研究指出提出了一种新的约束归纳逻辑程序设计方法。该方法能够与自顶向下的归纳逻辑程序设计系统结合,通过在自顶向下归纳方法的一步特殊化操作中引入Fisher判别分析等方法,使得系统能够导出不受变量个数限制的多种形式的线性约束,在不需要用户诱导,不依赖约束求解器的情况下,学习出覆盖正例而排斥负例的含约束的Horn子句程序。(本文来源于《计算机工程与应用》期刊2003年10期）
夏姗姗,刘椿年[8]（2000）在《约束归纳逻辑程序设计的研究》一文中研究指出提出并讨论了从正负例和背景知识学习含有约束的一阶谓词公式的约束归纳逻辑程序设计方法．该方法以国际上具有代表性的ＩＬＰ系统Ｐｒｏｇｏｌ为基础，加入我们自己的学习约束的新方法，在不需要用户诱导的情况下，经过对正负例的比较与推导，学习出覆盖正例而排斥负例的含约束的Ｈｏｒｎ子句程序，同时介绍了这个ＩＬＰ系统的实现算法和应用实例．(本文来源于《北京工业大学学报》期刊2000年03期）
夏姗姗[9]（2000）在《归纳逻辑程序设计系统向约束方向的扩充》一文中研究指出我的硕士论文课题“归纳逻辑程序设计系统向约束方向的扩充”是国家自然科学基金资助项目“约束归纳逻辑程序设计的研究”的一部分。 逻辑程序设计（Logic Programming，简称LPL）基于一阶谓词逻辑的Horn子集，其丰富的表达能力极大地促进了知识处理、人工智能等应用领域的进一步发展。 约束逻辑程序设计（Constraint Logic Programmng，简称CLP）是计算机科学中具有战略意义的研究方向之一。约束逻辑程序设计将约束求解技术和逻辑程序设计结合起来，用有关论域上的约束求解机制取代逻辑程序设计的合一机制，将逻辑推理应用于计算，表达能力丰富，十分接近自然语言。 归纳逻辑程序设计（Inductive Logic Programming，简称ILP）是机器学习中的一个较新的研究领域。归纳逻辑程序设计可以看作LP的逆向求解，因为ILP是根据事实求规则，而LP是已知规则对问题真假做出判断。 将ILP向约束方向扩充是一个具有重要意义和挑战性的研究工作。它将ILP和CLP结合起来，形成约束归纳逻辑程序设计（Constraint Inductuve LogicProgramming，简称CILP）这一崭新领域。 现在我们所扩充的ILP系统Progol是由英国牛津大学Stephen Muggleton教授所主持的研究小组研制的系统。该系统是目前国际上最具有代表性的ILP系统。本文对Progol系统进行了源程序级的深入剖析，在此基础上将它扩充为能够学习出CLP程序的CILP系统。 本文提出了一种从正负例和背景知识学习含有约束原子的一阶谓词公式的归纳逻辑程序设计方法。该方法是以Progol为基础，经过对它的研究剖析，加入我们自己提出的学习约束原子的新方法，使得在不需要用户诱导的情况下，系统直接经过正负例的比较与推导，得到一个覆盖正例而排斥负例的含约束原子的结论子句集。本文介绍了用该方法所实现的CILP系统，同时讨论了应用该方法的一些实例与进一步研究该问题的预期方向。 今后，我们将对系统进一步扩展完善，使之成为一个具有更大实用范围的约束归纳逻辑程序设计系统。(本文来源于《北京工业大学》期刊2000-05-01）
王念永,刘椿年,聂文英[10]（1998）在《实数域上的并行约束逻辑程序设计系统及其实现技术》一文中研究指出主要讨论了在线程模式下实数域上的约束逻辑程序设计系统CLP（R）的Herbrand域和实数域并行求解的两种可行策略：1）单约束求解器线程并行策略．2）多约束求解器线程并行策略。并着重介绍了基于前一种策略实现的BPU－PARCLP（R）系统的并行算法和实现技术．(本文来源于《北京工业大学学报》期刊1998年04期）
约束逻辑程序设计论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
CILP是关系数据挖掘的主要技术之一。为提高CILP系统的效率,提出了一种基于C3模型,元学习技术和主从式静态负载平衡策略的分布式并行CILP算法,并实现了一个基于COW机群结构的分布式并行CILP原型系统。实验表明该算法是高效的,能获得较好的负载平衡,较高的加速比和并行效率。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
约束逻辑程序设计论文参考文献
[1].徐成刚,易军凯,肖洋.基于约束逻辑程序设计的排课算法研究[J].计算机工程与应用.2006
[2].卢向澄,郑磊,刘椿年.分布式并行约束归纳逻辑程序设计研究[J].计算机应用研究.2005
[3].易军凯,肖洋.约束逻辑程序设计系统的变量事件机制研究[C].2005年全国理论计算机科学学术年会论文集.2005
[4].易军凯,肖洋.约束逻辑程序设计的变量压缩事件分析[J].计算机工程与应用.2005
[5].张永刚,孙吉贵.有穷论域约束逻辑程序设计及其应用[C].全国第16届计算机科学与技术应用（CACIS）学术会议论文集.2004
[6].郑磊,刘椿年,贾东.约束归纳逻辑程序设计系统[J].计算机工程.2003
[7].郑磊,刘椿年.约束归纳逻辑程序设计方法的研究[J].计算机工程与应用.2003
[8].夏姗姗,刘椿年.约束归纳逻辑程序设计的研究[J].北京工业大学学报.2000
[9].夏姗姗.归纳逻辑程序设计系统向约束方向的扩充[D].北京工业大学.2000
[10].王念永,刘椿年,聂文英.实数域上的并行约束逻辑程序设计系统及其实现技术[J].北京工业大学学报.1998
论文知识图
