人工智能5学案.ppt

第五章 约束满足问题;约束满足问题 ;约束：用于描述对象的性质、相互关系、任务要求、目标… 一元谓词 序关系语言 形如x-yc的方程 线性方程和不等式 布尔组合 代数和三角方程 约束表示易于理解、编码和实现 ; 问题的一个状态由对一些或全部变量的赋值定义 例如：{Xi=vi, Xj=vj,…} 相容的(合法的)赋值：不违反约束条件 完全赋值：每个变量都参与 CSP的解是满足所有约束的完全赋值 ;约束满足问题 ;e.g., WA = red, NT = green,Q = red,NSW = green,V = red, SA = blue,T = green;约束图：节点--变量，弧--约束;CSP问题的特点;值域 ： 有限值域 无限值域：例如工作安排问题 使用约束语言描述约束 例如：StartJob1 + 5 ≤ StartJob3 约束类型： 一元约束：只限制单个变量的取值，例如：SA ≠ green 二元约束：和两个变量有关，例如：SA ≠ WA 可表示为约束图。 ;高阶约束：涉及三个或更多变量 例：密码算术 ;绝对约束: 任何违反规则的都排除在解之外 偏好约束：指出哪些解是更偏好的;CSP问题的回溯搜索;一般回溯是顺序试探，可能无用，应有一定策略避免无用搜索;CSP