基于一致化环境的回溯技术

来源 :计算机工程 | 被引量 : 0次 | 上传用户:harrydu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
回溯作为计算机科学中的一种基本的控制结构,在人工智能中有广泛的应用。本文介绍了PROLOG系统中一种基于一致化环境的回溯技术和有关的算法,并给出了在这种一致化环境下智能回潮的方法。
其他文献
民以食为天,食以安为先。加强农产品质量安全监管,是确保市场流通农产品质量,提升国民素质的得力措施。文章分析农产品质量安全监管面临的问题,在掌握问题根源的基础上,全面
递归查询处理是近年来数据库界普遍关心的问题。本文针对数据库递归查询计算问题的一个子类——线性递归查询计算问题进行了讨论。本文首先证明了线性递归系统都是由所谓独立
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
711雷达是中近程测雨雷达,用它获取的气象资料对短时预报有实用意义。我省现有这种雷达十几部,下面就该雷达在调整工作中的问题谈几点意见:
本文在深入研究别名对程序并行化影响的基础上,系统地提出了一套强化别名分析的方法,使被调用过程段的并行化成为可能。
非公有制经济精准扶贫是扶贫工作的一个重要途径,已成为促进共同富裕的重要渠道。有企业才有就业,农民才能依靠劳动脱贫。非公有制企业参与扶贫开发,企业有钱善谋,企业、农民
定量地掌握气候及其变迁的实况,是气候研究和预报的重要基础。本文试图在研究确认本世纪全球大气候背景变化实况的基础之上,选用了四川本世纪30年代以来纪录年限最长的19个气