支持逻辑程序并行执行的智能回溯机制

本文提出一种支持ＰＲＯＬＯＧ程序并行执行的智能回溯机制．它是基于数据相关性分析的动静结合的智能回溯策略．在静态编译时通过相关性分析产生各子目标带条件的智能回溯点集合，动态执行时通过对变量的简单测试及对当前运行结果的简单测试来确定当前失败目标的最佳回溯点．

平面布局专家系统的自学习智能回溯搜索策略

本文研究了一种基于方图用于平面布局设计的搜索控制机——SARM.阐述了状态节点(方图)的扩充操作规则,制订了选择扩充节点的启发式原则,提出了处理搜索失败的自学习智能回溯搜索控制策略.

基于约束传播与智能回溯的加工过程决策策略

为了满足单件小批定货生产方式下的交货期满足问题 ,本文着重研究 CAPP/PPS集成并行模式下加工过程决策的调度方法 ,该方法采用基于动态分布的并行协同设计模式 ,把交货期和资源负荷作为工艺设计过程的约束 ,通过基于约束传播和智能回溯算法的约束推理 ,成功地建立了满足交货期和资源负荷的实用性工艺方案。

变量驱动的智能回溯

本文提出了一个逻辑程序与并行智能回溯模型——变量驱动的智能回溯.文字求解失败时,分析其中参数的失败类型,生成回溯文字集。以变量驱动图为基础,回溯仅在回溯文字集中进行.

智能回溯的两大途径

本文详细介绍了获得智能回溯的两个基本方法:最小不一致演绎树和最大可合一约束集。逻辑程序求解失败时,这两种方法均可分析引起失败的原因,前者在与失败有关的子句空间内进行回溯,后者找出所有可能的回溯点,以便选择最佳回溯点进行回溯。

求解一类组合问题的智能回溯法

本文给山一种求解一类组合问题的智能回溯法及其应用条件。若用智能回溯法求解顶点着色等问题将比经典回溯法快若干倍。

Prolog语言实现中的智能回溯算法

本文提出一个智能回溯算法,可用于Prolog解释系统中,以提高执行效率.本算法利用数据相关图和合一失败分析来确定智能回溯点,只需要增加少量的存储空间就可达到大量无效重复失败的目的,从而可大大提高Prolog程序之执速度.

基于CCS模型的半智能回溯

本文提出了以逻辑式程序设计语言的与并行执行模型CCS为基础的半智能回溯方法,解决了分布式并行处理问题和通信问题,不仅提高了逻辑式程序设计语言的执行功效,又保证了语义的正确性与完备性。

构建警队执法智能回溯管理体系的路径探析

近年来,在智慧科技蓬勃发展的新时代背景下,国内外很多地区的警务信息化进程迈向了智慧警务的高新阶段。中国大陆地区在推行智慧警务方面也已初具架构,运用智慧科技对警队执法流程监管体系改革进行了探索实践,但仍存在不足。应以提升“智慧执法”水平为目标,紧扣执法源头标准化智能管理、执法信息实时化智能记载、执法风险要素化智能评估、执法过程精细化智能控制、执法考评刚性化智能运用等五个基本路径,充分应用以“人工智能+”为核心的智慧科技集成创新技术,积极构建人机结合、科学完备的警队执法智能回溯管理体系,实施流程式、回溯式、全要素、全方位的智能化动态监管,保障执法质量与效能达到最优化。

逻辑程序语言的智能控制策略

本文试图对逻辑程序语言的控制问题提出一个解决办法。本文从 Kowalski 的most showing,least finding 原则出发,通过一个谓词复杂性函数及简单的智能回溯方法的描述,提出一个谓词复杂性最小和智能回溯的控制策略。

高效逻辑语言实现方法

本文提出了一个基于优化编译和智能控制的高效逻辑语言实现方法．该方法克服了逻辑语言中合一和回溯操作的瓶颈问题，有效地提高了逻辑程序的执行效率．该方法可为设计智能加速部件和智能计算机提供参考．

图顶点m着色的一种新算法

本文提出了一种求解圆顶点m着色的“智能”回溯算法.实验结果表明,对求解适当规模的顶点着色问题,新算法较常规算法快2～7倍.分析结果表明,对求解难度更大的这类问题,新算法则会更优.