人工智能5讲述.ppt

人工智能　━━　一种现代方法 云南大学 施心陵讲授 第五章 约束满足问题 约束满足问题 ?????????? 约束：用于描述对象的性质、相互关系、任务要求、目标… 一元谓词 序关系语言 形如x-yc的方程 线性方程和不等式 布尔组合 代数和三角方程 约束表示易于理解、编码和实现 约束满足问题 约束满足问题 约束满足问题 约束满足问题 约束图：节点--变量，弧--约束 CSP问题的特点 CSP问题的特点 CSP问题的特点 高阶约束：涉及三个或更多变量 例：密码算术 CSP问题的特点 绝对约束: 任何违反规则的都排除在解之外 偏好约束：指出哪些解是更偏好的 CSP问题的回溯搜索 CSP问题的回溯搜索 度启发式：选择涉及对其他未赋值变量的约束数最大的变量,来降低未来选择的分支因子。 最少约束值启发式：优先选择在约束图中排除邻居变量的可选值最少的。这样能给剩下的变量赋值留下最大的灵活性。 1、前向检验 2、约束传播 3、处理特殊约束 4、智能回溯 当变量X被赋值，则对每个与X相连的未赋值变量Y进行考察，从Y的值域中删去与X矛盾的值。 当变量X被赋值，则对每个与X相连的未赋值变量Y进行考察，从Y的值域中删去与X矛盾的值。 当变量X被赋值，则对每个与X相连的未赋值变量Y进行考察，从Y的值域中删去与X矛盾的值。 当变量X被赋值，则对每个与X相连的