E约束满足人工智能(AI).ppt

约束满足问题 (CSP) Constraint Satisfaction Problems (CSP)(对于困难的决策，我们将推迟到它变得容易的时候再做决定)  RN: Chap. 5 我们想做些什么？ 搜索技术通常按照一个任意的次序对可能进行选择，一般很少有效的信息能够帮助如何进行选择 在许多问题中，状态的到达与进行选择的次序无关（“可交换”） ，即采取不同的次序进行选择也一样可以到达同一个状态 那能否通过选定某种适合的选择次序能够更有效的解决这些问题呢？甚至可以避免进行选择？ 约束传播Constraint Propagation 将一个皇后放入到一个方格里 移去所有可能攻击到的方格 Constraint Propagation Constraint Propagation Constraint Propagation Constraint Propagation Constraint Propagation Constraint Propagation Constraint Propagation Constraint Propagation 我们需要些什么？ 后继函数与目标测试 还需要: 通过约束传播（ propagate the constraints ）信息，比如通过对一个皇后位置的约束来影响其他皇后的位置 提前的失败测试（failure test） 约