摘要：该文涉及的约束逻辑程序设计(CLP)是一在二叉树上进行搜索的过程,提高搜索效率是CLP的主要研究方向之一。在CLP中约束推理机是核心,由变量组、约束过滤器、临时容器、推理引擎组成。在介绍了约束推理机激活过滤器,对变量进行区间压缩后,提出引入变量事件,总结为三种类型:SINGLE、BOUND和DOMCHG,用于减少过滤器的激发次数。实验结果表明,变量事件能够促进约束推理机的搜索效率,缩短二叉树搜索的时间,可以更快寻找到答案。

摘要：课程安排问题是典型的组合优化和不确定调度问题。采用约束逻辑程序设计的研究方法,结合课程安排自身的特点,通过约束推理找到最优的课程安排结果。约束逻辑程序设计综合了人工智能中一致性算法和启发式搜索算法,采用约束推理方法,能非常好地处理各种冲突,并且能快速地排出合理的课程。

摘要：以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math.介绍了BPU-ITS-Math的自动推理模块的设计方法和实现技术,BPU-ITS-Math采用经典的StripS算子表达规则,用BPU-CLP语言的程序实现学科知识库、题库和通用推理机.以中学教学求函数值域问题为例,详细介绍了规则的设计方法和表达方式,并且给出了通用推理机的向后推理算法.当前BPU-ITS-Math已成功地解决了200余道求函数值域的习题.

摘要：约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。传统逻辑程序设计的基“计算即为定理证明”的计算风格虽获得了简洁优美的操作语义特性,但也付出了执行效率低的代价,当应用系统规模增大时,其性能严重下降以致崩溃。针对传统逻辑程序设计的这种可伸缩性问题,设计了一个基于并发约束程序设计概念的说明性语言COPS,旨在从语言设计与执行模型两方面降低说明性程序的不确定性,提高搜索与运行效率。在语言设计方面,通过引入确定性语言成分,避免不确定计算用于确定性目标所浪费的系统开销;在执行模型方面,在目标的并发穿叉执行与数据驱动的并发同步机制的基础上,实现“优先执行确定目标”策略与“最少假定”策略,作为约束传播的延伸,最大幅度地剪枝搜索空间,降低搜索复杂性。COPS提供的知识表示、推理与并发机制使其成为构造agent程序的理想语言。论文给出COPS语言的语法规范与执行模型的操作语义描述。

摘要：约束推理是人工智能中主要组成部分之一,可以解决实际优化调度和规划过程中的约束求解问题。这里在解释了约束逻辑程序设计的原理和过程基础上,打破封闭式约束逻辑程序设计系统,从软件工程上采用统一建模语言,提出一种新的开放的可扩展型约束逻辑程序设计结构系统。为实现可扩展的约束推理搜索系统,引进UML建模语言中用例图、类图和协作图。在建模基础上详细说明了可扩展约束逻辑程序设计中数学模型,搜索引擎和搜索驱动三者间的关系以及它们内部的工作内容。最后在描述系统结构后,提出了可扩展的内容。根据扩展因素,外界为满足更多的需要可扩展本系统的约束过滤器。

摘要：以本实验室研制的一个多重论域的约束逻辑程序设计系统BPU-CLP为基础,提出用约束逻辑程序(Constraint Logic Programm ing,CLP)解决布局规划问题。该方法用几何模型表示对象,用算术约束描述对象间的位置关系,并通过BPU-CLP的约束求解机制为各个位置变量取值。该方法实现了二维人物初始布局规划和三维卧室家具布局规划。实验证明该方法是有效的。

摘要：介绍了数据库研究的一个新领域——约束数据库 .简要总结了约束数据库定义、建模能力、查询语言、索引技术等方面的研究和进一步的研究方向 .

摘要：描述了一个优化的约束逻辑程序设计（ＣＬＰ）系统的编译方法和编译优化策略．该系统是一个多重论域的ＣＬＰ系统，以区间算术和约束传播作为离散域和实数域上约束求解的统一方法，具有求解非线性约束的功能．实现为一个基于扩充的ＷＡＭ指令集的编译系统．在国内外已有的ＣＬＰ系统中，我们尚未见到同时具有多重论域，非线性约束求解和编译实现这３项特征的类似系统．

摘要：描述了一个高度优化的约束逻辑程序（ＣＬＰ）编译系统解释实现中的算法和优化策略．并通过定义新的数据结构，采用多种优化策略，使该系统能够以较高效率处理经典的非线性约束问题．

摘要：施工进度计划是施工管理和施工过程重要的参考依据。现有的公路施工季度计划相关研究工作主要基于工程案例或施工计划模板等方式,无法实现对具体公路工程项目的精准匹配。对项目空间上、工艺上以及逻辑上的约束关系,从科学、绿色的角度对施工方案进行优化。基于BIM技术自动生成进度计划以及可视化(VR)模拟能够提高施工的准确性和效率,对公路建模、方案调整、加工下料等方式进行逻辑上、绿色理念上的优化,进而解决了复杂环境下公路结构精准定位和碰撞检查,提高了公路工程施工各个环节能耗的有效利用。该研究结果可为公路施工自动化以及绿色施工提供一定的理论指导。