并发约束程序设计语言COPS及其执行模型

• 作者: 史忠植 廖乐健 曹元大
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 并发约束程序设计 约束满足 约束逻辑程序设计
• 年，卷（期）: 2003,（14）
• 所属期刊栏目: 学术探讨
• 页码范围: 121-125
• 页数: 5页
• 分类号: TP311
• 字数: 8173字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.14.037

摘要

约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置.传统逻辑程序设计的基"计算即为定理证明"的计算风格虽获得了简洁优美的操作语义特性,但也付出了执行效率低的代价,当应用系统规模增大时,其性能严重下降以致崩溃.针对传统逻辑程序设计的这种可伸缩性问题,设计了一个基于并发约束程序设计概念的说明性语言COPS,旨在从语言设计与执行模型两方面降低说明性程序的不确定性,提高搜索与运行效率.在语言设计方面,通过引入确定性语言成分,避免不确定计算用于确定性目标所浪费的系统开销;在执行模型方面,在目标的并发穿叉执行与数据驱动的并发同步机制的基础上,实现"优先执行确定目标"策略与"最少假定"策略,作为约束传播的延伸,最大幅度地剪枝搜索空间,降低搜索复杂性.COPS提供的知识表示、推理与并发机制使其成为构造agent程序的理想语言.论文给出COPS语言的语法规范与执行模型的操作语义描述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹元大	北京理工大学人工智能研究所	216	2739	26.0	41.0
2	廖乐健	北京理工大学人工智能研究所	34	341	9.0	17.0
4	史忠植	中科院计算所智能信息处理开放实验室	27	586	11.0	24.0