约束逻辑程序设计相关论文
施工进度计划是施工管理和施工过程重要的参考依据.现有的公路施工季度计划相关研究工作主要基于工程案例或施工计划模板等方式,无......
该文介绍了约束逻辑程序设计的发展现状,讨论了有穷论域约束逻辑程序设计中所采用的各种技术,包括约束建模、搜索控制以及优化等,......
以本实验室研制的一个多重论域的约束逻辑程序设计系统BPU-CLP为基础,提出用约束逻辑程序(Constraint Logic Programm ing,CLP)解......
约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。传统逻辑程序设计的基“计算即......
约束推理是人工智能中主要组成部分之一，可以解决实际优化调度和规划过程中的约束求解问题。这里在解释了约束逻辑程序设计的原理和......
介绍了数据库研究的一个新领域——约束数据库.简要总结了约束数据库定义、建模能力、查询语言、索引技术等方面的研究和进一步的......
该文涉及的约束逻辑程序设计(CIP)是一在二叉树上进行搜索的过程，提高搜索效率是CIP的主要研究方向之一。在CIP中约束推理机是核心，......
以本实验室研制的约束逻辑程序设计系统BPU－CLP为基础，研制了一个适用于中学数学，面向学生的智能教学系统BPU－ITS－Math。介绍了BPU－ITS－Ma......
课程安排问题是典型的组合优化和不确定调度问题。采用约束逻辑程序设计的研究方法，结合课程安排自身的特点．通过约束推理找到最优的......
