摘要
设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优先度的规则选择策略,将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来.系统在电路建模、专家决策等领域的初步应用表明了该语言对构造基于约束的知识系统的适用性.COPS的出现为复杂智能问题的解决提供了可能性.
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.
出处
《北京理工大学学报》
EI
CAS
CSCD
北大核心
2004年第3期241-246,共6页
Transactions of Beijing Institute of Technology
基金
国家部委预研项目(0021315081)
关键词
并发约束程序设计
约束储仓
约束传播
回溯
concurrent constraint programming
constraint store
constraint propagation
backtracking
