|
|||||
|
|
| 并发约束程序设计语言COPS及其执行模型 | |
| 引用本文： | 廖乐健,史忠植,曹元大.并发约束程序设计语言COPS及其执行模型[J].计算机工程与应用,2003,39(14):121-125. |
| 作者姓名： | 廖乐健 史忠植 曹元大 |
| 作者单位： | 1. 北京理工大学人工智能研究所,北京,100081;中科院计算所智能信息处理开放实验室,北京,100080 2. 中科院计算所智能信息处理开放实验室,北京,100080 3. 北京理工大学人工智能研究所,北京,100081 |
| 摘 要： | 约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。传统逻辑程序设计的基“计算即为定理证明”的计算风格虽获得了简洁优美的操作语义特性,但也付出了执行效率低的代价,当应用系统规模增大时,其性能严重下降以致崩溃。针对传统逻辑程序设计的这种可伸缩性问题,设计了一个基于并发约束程序设计概念的说明性语言COPS,旨在从语言设计与执行模型两方面降低说明性程序的不确定性,提高搜索与运行效率。在语言设计方面,通过引入确定性语言成分,避免不确定计算用于确定性目标所浪费的系统开销;在执行模型方面,在目标的并发穿叉执行与数据驱动的并发同步机制的基础上,实现“优先执行确定目标”策略与“最少假定”策略,作为约束传播的延伸,最大幅度地剪枝搜索空间,降低搜索复杂性。COPS提供的知识表示、推理与并发机制使其成为构造agent程序的理想语言。论文给出COPS语言的语法规范与执行模型的操作语义描述。 |
| 关 键 词： | 并发约束程序设计 约束满足 约束逻辑程序设计 |
| 文章编号： | 1002-8331-(2003)14-0121-05 |
| 修稿时间： | 2003年2月1日 |
Concurrent Constraint Programming Language COPS and Its Execution Model |
|
| LiaoLejian,ShiZhongzhiCaoYuanda.Concurrent Constraint Programming Language COPS and Its Execution Model[J].Computer Engineering and Applications,2003,39(14):121-125. | |
| Authors: | LiaoLejian ShiZhongzhiCaoYuanda |
| Affiliation: | LiaoLejian1,2ShiZhongzhi2CaoYuanda11 |
| Abstract: | |
| Keywords: | concurrent constraint programming constraint satisfact ion constraint logic programming |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |