约束程序设计语言COPS的设计与实现

摘要：

约束程序设计作为面向智能应用的实用型程序设计风格正在AI领域产生越来越大的影响,其关键问题是如何将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来.该文介绍了设计实现的并发约束程序设计语言COPS.COPS系统的主要目标是探索智能语言的实用化与工程化,使其能够真正解决现实世界中用常规语言难以实现的智能应用问题.还介绍了COPS语言的表示及涉及的主要推理技术.

关键词：并发约束程序设计、规则、约束传播

所属期刊栏目：29

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

资助基金：国防预研基金

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

页数：共3页

页码：14-15,28