约束推理pdf.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 布局的当前状态。从最初的布局状 3 2 态开始，一步步地进行试探， 每试 1 0 探一步形成一个新的状态， 整个试 0 1 2 3 4 5 6 7 探过程形成了一棵隐含的状态树。 采用DFS/BFS搜索策略 The DFS/BFS tree will enumerate up to 648 combinations (assume limit depth to 8). 64^8 = 2^48 = 2.8 x 10^14 Note redundancy: Q1 in (1,3), Q2 in (2,7) … vs. Q1 in (2,7), Q2 in (1,3) … 概 述 一个约束满足问题(Constraint Satisfaction Problem, 简称CSP) 包含一组变量与一组变量间的约 束。 ▪变量表示领域参数，每个变量都有一个固定的值 域。一个变量的值域可能是有限的，例如一个布尔变 量的值域包含两个值；也可能是离散无限的，如整数 域；也可能是连续的，如实数域。 {x1,x2,…xn}, {D1,D2,…Dn}, . {4,5,6,7} 2015/3/18 {red, green,blue} 史忠植约束推理 5 约束满足问题CSP  Given: (1) set of variables, (2) domains of the variables (3) constraints that the variables have to satisfy  Find: An assignment of values to the variables, so that these values satisfy all the given constraints.  In optimisation problems, also specify optimisation criterion 2015/3/18 史忠植约束推理 6 概 述 ▪约束可用于描述领域对象的性质、相互关系、任务 要求、目标等。约