增强搜索算法以执行智能回溯
人工智能
2007-05-23 v1 计算机科学中的逻辑
摘要
本文展示了如何增强一个使用Chronological Backtracking在某个搜索空间中找到解决方案的 Prolog 程序，以执行智能回溯。该增强关键依赖于 Prolog 的 impurity，即允许在到达死端时存储信息的能力。为了说明这一技术，我们对一个简单的搜索程序进行了增强。
引用
@article{arxiv.cs/0311003,
title = {Enhancing a Search Algorithm to Perform Intelligent Backtracking},
author = {Maurice Bruynooghe},
journal= {arXiv preprint arXiv:cs/0311003},
year = {2007}
}
备注
To appear in Theory and Practice of Logic Programming