约束推理.pdf

高级人工智能 第三章 约束推理 史忠植 中国科学院计算技术研究所 第三章 约束推理 3.1 概述 3.2 回溯法 3.3 约束传播 3.4 回跳法 3.5 约束推理系统COPS 3.6 ILOG SOLVER 3.7 约束逻辑程序设计 2015/3/18 史忠植约束推理 2 八皇后问题 在八皇后问题中，处理过程不是根 据某种确定的计算法则，而是利用 7 试探和回溯的探索技术求解。为了 6 5 求得合法布局，在计算机中要存储 4 布局的当前状态。从最初的