【摘 要】
：
约束程序设计作为面向智能应用的实用型程序设计风格正在AI领域产生越来越大的影响,其关键问题是如何将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计
【机 构】
：
北京理工大学计算机科学系人工智能实验室
论文部分内容阅读
约束程序设计作为面向智能应用的实用型程序设计风格正在AI领域产生越来越大的影响,其关键问题是如何将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来.该文介绍了设计实现的并发约束程序设计语言COPS.COPS系统的主要目标是探索智能语言的实用化与工程化,使其能够真正解决现实世界中用常规语言难以实现的智能应用问题.还介绍了COPS语言的表示及涉及的主要推理技术.
其他文献
特色小镇作为自然景观与人文景观等组成的综合景观体,是所在地区文化传统和民俗风情的缩影。随着特色小镇和文化街区的日益发展,业态同质化日趋严重。在创意经济已成为世界经济新的增长点的时代,以创新的理念为指导,深入挖掘当地文化内涵与优势资源,将创新元素和传统文化元素结合融入到特色小镇或街区业态的建设中,对增强其特色,促进其可持续的发展有着重要是实践意义。研究以龙脊国际旅游特色小镇(下称旅游特色小镇或小镇)
讨论了基于'模板系统'(System on Module)GeodeTMGX1-300x86 CPU工作状态和特性.并讨论以该嵌入式开发板设计一种便携式电子课本的系统结构和设计方案,进一步说明应
为降低废旧混凝土块体现场投放对施工效率的影响,采用再生块体混凝土在工厂预制相关构件不失为一种有效对策。与之相配合,本文提出了一种植筋连接的预制再生块体混凝土梁的连接构造。为给该类预制梁的工程应用提供技术支撑,本文开展了如下工作:1.开展了7根预制梁和1根整浇梁的受弯性能试验,考察了施工方式、废旧混凝土块体、植筋锚固深度、纵筋弯折程度以及箍筋间距对梁受弯性能的影响。研究表明:(1)预制梁连接部位的整
在全球化经济中,高效的物流和低运输成本是一个国家竞争力的重要决定因素。事实上,运输与物流和经济与社会发展目标是直接和间接的联系。降低物流和运输系统的成本和质量创造了一个综合和高效的运输网络,改善了国际市场准入,并直接导致贸易的增加。增加贸易带来更好的就业机会、更高的收入和减贫,特别是增加一个国家的人均实际收入。事实上,运输和物流与社会经济发展有着直接和间接的联系。蒙古过于依赖其丰富的矿产资源,这些
提出一种主从调度模型在Linux下的实现方法.在该模型中,系统中的每一个进程由某一个指定的CPU来运行,从而减少了进程切换的次数.在内核中,每一个CPU单独拥有一个可运行队列,
目的通过对住院患者跌倒、坠床事件进行原因分析，评估相关危险因素并制定相应预防干预措施。方法收集2009年1月－2011年12月上报的住院患者发生跌倒、坠床事件22例，进行统计和原
中国传统思想世界里的“天”从来都是有争议的,从来也不是一个纯粹的概念,它兼具形上与形下,既具体又抽象。“天”的涵义与演变是天人关系的重要内容,贯穿整个中国古典哲学史
目的探讨影响儿童及青少年外伤性硬膜外血肿预后的因素，从而指导临床儿童及青少年外伤性硬膜外血肿临床救治。方法回顾性分析本院2005年8月到2009年8月总共78例儿童及青少年外
在我国西北地区,混凝土衬砌渠道直接修建在冻土上,冻土的膨胀及沉降与渠道破坏有着密切的关系。混凝土衬砌渠道的冻胀破坏力学模型受衬砌型式、材料、温度、水分、土质等多方
抗冻性能不佳对水利工程施工、运行及维护均构成隐患。在当前水利工程实践中,低塑性砂浆使用范围较广,然而如果配比不当会对造成一系列后续问题。在采取低塑性砂浆抗冻性试验