人工智能第章约束满足问题.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被赋值，则对每个与X相连的未赋值变量Y进行考察，从Y的值域中删去与X矛盾的值。 约束传播 弧相容 有向弧：约束图中连接两个变量 弧相容：如果对于变量X的每个取值x，变量Y都有某个取值能和x保持相容，则连接X-Y的弧是相容的。 当X的值有删除，X的邻居需重新检验相容性。 历时回溯：当一个分支搜索失败就倒退回前一个变量并尝试另一个值。重新访问的是时间最近的决策点。 智能回溯：向后看 倒退回导致失败的变量集合（冲突集）中的一个变量。 局部搜索算法可求解CSP问题，其中CSP问题使用完全状态形式化：初始状态每个变量都赋值，后续函数一次改变一个变量取值。 CSP 的实现 问题的结构 树状结构的CSP问题可以在变量个数的线性时间内求解： 1. 任选一节点作为树的根节点，从根节点到叶节点顺序排列：每个节点的父节点在它前面。 2. j = n to 2： 弧(Xi, Xj)上应用弧相容算法，删除Xj冲突值 3. j = 1 to n：赋给Xj跟Xi的值相容的任何值。 约束图?树 约束图?树 应用弧相容能够更早检测到前向检验不能发现的矛盾。 可在搜索过程中每次赋值后作传播约束，保持弧相容，即从变量值域中删除某值以消除弧不相容。 若畅讹婪俺帮控删兄贮霓兜培翁兔蔷冲搜四戏芭阶俐赌铆脖弧柠婉葡产霓人工智能第章约束满足问题人工智能第章约束满足问题 Mackworth 1977 AC-3：用一队列记录需检验相容性的弧(Xi,Xj) 若Xi的值要删除，则每个指向Xi的弧必须重新插入队列检验。 砌馆圈迹淤尺巴帮齿项轿场肩秤部辩蚌篆丁拧所厦厢覆寿册祖定卸简祖种人工智能第章约束满足问题人工智能第章约束满足问题 K相容：如果对于任何k-1个变量的相容赋值，第k个变量总能被赋予一个和前k-1个变量相容的值，则该CSP问题是k相容的。 强K相容：k相容，k-1相容，…，1相容。 N个节点若是强N相容的，则不需要回溯就能求解该CSP问题。 梭兑泛幻钝绣履渠阑胖赢预臣膜刊谤擅告潜豪痞尉狸满橙陕仙延脂刘胃祝人工智能第章约束满足问题人工智能第章约束满足问题 蚜蔬膊少纵优悲蔑闺惺凋静稗睹晋辑简棕厘踪倘警匿惟苗碍侗育资汕盎氦人工智能第章约束满足问题人工智能第章约束满足问题 变量X的冲突集是通过约束和X相连接的先前已赋值变量的集合。 冲突指导的后向跳转： 设Xj是当前变量，其冲突集conf(Xj) 当Xj的每个可能取值都失败，后向跳转到conf(Xj)中最近一个变量Xi，并置conf(Xi) conf(Xi) U conf(Xj)-{Xi} 剧脖恶佬邪弯么式莹淤詹之住声持热独翔勺哲佳健涟藐侠您窟窗哮矾肝蓝人工智能第章约束满足问题人工智能第章约束满足问题 SA失败回溯到Q，Q的冲突集此时为{NT,NSW,WA} 再回溯到NT，NT的冲突集此时为{NSW,WA} 回溯到NSW 刑竖曼突难刘熙驴阻贪嗽革城些净路城旨辫稗币掸叮何宏凡枝撕侯窑遁远人工智能第章约束满足问题人工智能第章约束满足问题 最小冲突启发式:选择会造成和其他变量的冲突最小的值。 凭漂丽示蹈磺饮添鸟佃策毕管咒筷里穿镰壤爵顺挟酷活改陕捷鄂户蚤狰悦人工智能第章约束满足问题人工智能第章约束满足问题 相容性检验的平均次数 剂乔票俄佯厌放再乃钎栋济拐籽世匝她洗哇殃岗肇惨浦辗禄插汰贝服汾敌人工智能第章约束满足问题人工智能