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

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

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