人工智能第5章约束满足问题工智能第5章约束满足问题人工智能第5章约束满足问题人工智能第5章约束满足问题.pptVIP

人工智能　━━　一种现代方法 云南大学 施心陵讲授 第五章 约束满足问题 约束满足问题 ?????????? 约束：用于描述对象的性质、相互关系、任务要求、目标… 一元谓词 序关系语言 形如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被赋值，则对