一个并发约束程序设计语言的定义与实现

来源 :北京理工大学学报 | 被引量 : 0次 | 上传用户：lifeonetime

【摘要】

：

设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优先度的规则选择策略,将说明性的知识表示、

【作者】

：

廖乐健曹元大董国增

【机构】

：

北京理工大学

【出处】

：

北京理工大学学报

【发表日期】

：

2004年3期

【关键词】

：

并发约束程序设计约束储仓约束传播回溯 concurrent constraint programming constraint store const

【基金项目】

：

国家部委预研基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优先度的规则选择策略,将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来.系统在电路建模、专家决策等领域的初步应用表明了该语言对构造基于约束的知识系统的适用性.COPS的出现为复杂智能问题的解决提供了可能性.

其他文献

三一重工关联公司诉奥巴马案评析

美国东部时间2013年10月9日下午5时许，美国哥伦比亚特区联邦地方分区法院就罗尔斯（Ralls）公司诉奥巴马总统案做出批准美国政府撤案动议的初审判决，也就是驳回了Ralls的主要诉讼请

期刊

Ralls国家安全审查赴美投资外国控制

蜂毒及针刀治疗顽固性疼痛

目的:探讨蜂毒配合针刀治疗顽固性疼痛的效果.方法:60例顽固性疼痛患者随机分为观察组和对照组各30例,均采取常规针灸、推拿、微波及口服止痛药治疗,观察组同时加用蜂毒及针

期刊

顽固性疼痛蜂毒针刀

关于国有企业内部控制制度的思考

内部控制是公司财务管理的重要组成部分，一个公司的发展第一是靠产业发展线，第二是靠管理控制线。二者是相辅相成，缺一不可的。只有在产业发展中做好管理控制，通过控制促进产业发

期刊

内部控制产业发展健全制度

西方社会福利研究的启示

摘要：人类对社会福利的追求自古以来就有，社会福利是近代文明的产物。就东西方对比来讲西方社会福利制度更加完善，可以说是西方社会福利思想的进步推动了世界社会福利事业的前进。本文通过研究西方社会福利理论指导我国的社会福利实践。　　关键词：社会福利多元化马克思资本主义　　一直被人们高度关注的社会福利体制改革和发展是一项长期而艰巨的任务，笔者对社会福利思想进行了客观科学的评析，并注重阐述了当代西方社会

期刊

社会福利多元化马克思资本主义

康复治疗对脊髓损伤患者ADL的影响

目的:观察康复治疗对脊髓损伤(SCI)患者ADL能力的影响.方法:30例SCI患者予以运动、作业和物理治疗及正规的康复护理,治疗前后采用Barthel指数进行康复评定.结果:经过90 d的康

期刊

康复治疗脊髓损伤ADL

后攻坚阶段“现代学徒制”的人才培养模式就业情况回访调研报告

现代学徒制人才培养模式是近年来国内外应用比较广的一种创新模式，在我区中职学校中这种模式还比较少应用。现代学徒制人才培养模式的优势就在于学习与就业有着密切的联系，学生

期刊

现代学徒制人才模式就业情况

一个并发约束程序设计语言的定义与实现

与本文相关的学术论文