[计算机软件及应用]史忠植高级人工智能中科院第三章.pdf

高级人工智能 第三章 约束推理 史忠植 中国科学院计算技术研究所 第三章 约束推理 3.1 概述 3.2 回溯法 3.3 约束传播 3.4 回跳法 3.5 约束推理系统COPS 3.6 ILOG SOLVER 3.7 约束逻辑程序设计 2012-03-08 史忠植约束推理 2 概 述 最优化问题 经济学所推崇的帕累托最优: 几个人拎着水桶在一个水龙头前面排队打水，水 桶有大有小。他们怎样排队，才能使得总的排队 时间最短。这是一个寻求“最优化”的题目，目标 是节省总的排队时间，达到最优。 2012-03-08 史忠植约束推理 3 概 述 优化问题 • 运筹学 • 遗传算法 • 神经网络 • 约束推理 2012-03-08 史忠植约束推理 4 运筹学的工作步骤 1）提出和形成问题， 2 ）建立模型， 3 ）求解， 4 ）解的检验， 5 ）解的控制， 6 ）解的实施。 2012-03-08 史忠植约束推理 5 线性规划问题  例1(广告方式的选择)中华家电公司推销一种 新型洗衣机,有关数据见下表.销售部第一月的 广告预算为20000元,要求至少有8 电视商业节 目,15家报纸广告/ 电视广告费不得超过12000 元,电台广播至少隔日有一次.现问该公司销售 部应当采用怎样的广告宣传计划,才能取得最 好的效果? 2012-03-08 史忠植约束推理 6 表1 广告方式 广告费 可用最 期望的宣 用(元/ 高次数/ 传效果/单 次) 月 位 电视台a( 白天,1 分 500 16 50 钟) 电视台b(晚上,30钞) 1000 10 80 每日晨报/(半版) 100 24 30 星期日报/(半版) 300 4 40 广播电台/(1分钟) 80 25 15 2012-03-08