基于代数格的软约束程序设计框架 |
| |
引用本文: | 张永刚,孙吉贵. 基于代数格的软约束程序设计框架[J]. 计算机科学, 2004, 31(Z2): 306-309 |
| |
作者姓名: | 张永刚 孙吉贵 |
| |
作者单位: | 吉林大学计算机科学与技术学院,长春,130012 |
| |
基金项目: | 本文受国家自然科学基金(编号:60073039;60273080)资助. |
| |
摘 要: | 1引言约束程序设计(Constraint Programming,CP)是一种新兴的软件技术,具体应用时,分为约束建模和约束求解两个阶段.实践已经证明95%以上的实际约束问题都是有限论域上的约束满足问题(Constraint Satisfaction Problems,CSP),因而CSP问题建模技术和相关的求解方法已经成为CP中的核心技术,同时CSP也是人工智能领域最为成功的技术之一,在处理配置、调度、规划等实际问题显示出强大的能力[1,2].
|
Lattice-Based Soft Constraint Programming Framework |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 万方数据 等数据库收录! |
|