| 一个并发约束程序设计语言的定义与实现 |
| |
| 引用本文： | 廖乐健,曹元大,董国增.一个并发约束程序设计语言的定义与实现[J].北京理工大学学报,2004,24(3):241-246. |
| |
| 作者姓名： | 廖乐健 曹元大 董国增 |
| |
| 作者单位： | 北京理工大学,信息科学技术学院计算机科学工程系,北京,100081 |
| |
| 摘 要： | 设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优先度的规则选择策略,将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来.系统在电路建模、专家决策等领域的初步应用表明了该语言对构造基于约束的知识系统的适用性.COPS的出现为复杂智能问题的解决提供了可能性.
|
| 关 键 词： | 并发约束程序设计 约束储仓 约束传播 回溯 基于约束 程序设计语言 Language Constraint Concurrent Implementation 问题 智能 知识系统 构造 语言对 应用 专家决策 电路建模 统一 搜索能力 推理控制 启发式 知识表示 说明性 |
| 文章编号： | 1001-0645(2004)03-0241-06 |
| 收稿时间： | 2003/4/14 0:00:00 |
| 修稿时间： | 2003年4月14日 |
Definition and Implementation of a Concurrent Constraint Language |
| |
| LIAO Le-jian,CAO Yuan-da and DONG Guo-zeng.Definition and Implementation of a Concurrent Constraint Language[J].Journal of Beijing Institute of Technology(Natural Science Edition),2004,24(3):241-246. |
| |
| Authors: | LIAO Le-jian CAO Yuan-da and DONG Guo-zeng |
| |
| Institution: | Department of Computer Science and Engineering, School of Information Science and Technology, Beijing Institute of Technology, Beijing 100081, China;Department of Computer Science and Engineering, School of Information Science and Technology, Beijing Institute of Technology, Beijing 100081, China;Department of Computer Science and Engineering, School of Information Science and Technology, Beijing Institute of Technology, Beijing 100081, China |
| |
| Abstract: | A concurrent constraint language COPS has been designed and implemented. It combines the techniques of the constraint objects, non-deterministic computation and constraint store. Inference control based on concurrent constraint model and rule selection policy based on priority are adopted. Declarative representation, systematic and heuristic search capability, and deterministic computation are unified in it. Preliminary applications on circuit modeling and expert decision systems indicate its applicability in information system construction based on constraints. COPS provides possibility for solutions of complex intelligent application problems. |
| |
| Keywords: | concurrent constraint programming constraint store constraint propagation backtracking |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《北京理工大学学报》浏览原始摘要信息 |
| 点击此处可从《北京理工大学学报》下载免费的PDF全文 |
