基于代数格的软约束程序设计框架

摘要：

@@ 1引言
约束程序设计(Constraint Programming,CP)是一种新兴的软件技术,具体应用时,分为约束建模和约束求解两个阶段.实践已经证明95%以上的实际约束问题都是有限论域上的约束满足问题(Constraint Satisfaction Problems,CSP),因而CSP问题建模技术和相关的求解方法已经成为CP中的核心技术,同时CSP也是人工智能领域最为成功的技术之一,在处理配置、调度、规划等实际问题显示出强大的能力[1,2].

机标关键词：代数格、约束程序设计框架、软件技术、约束满足问题、约束问题、约束求解、约束建模、有限论域、人工智能、求解方法、建模技术、证明、应用、显示、实践、配置、能力、规划、调度、处理

所属期刊栏目：31

分类号：TP3(计算技术、计算机技术)

资助基金：中国科学院资助项目60073039;60273080

在线出版日期：2005-12-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：306-309