高级人工智能之约束推理.pptxVIP

高级(gāojí)人工智能 第三章约束推理 史忠植 中国科学院计算技术所第一页，共六十六页。第三章 约束推理3.1 概述3.2 回溯法 3.3 约束传播(chuánbō) 3.4 回跳法 3.5 约束推理系统COPS 3.6 ILOG SOLVER第二页，共六十六页。3.1概述(ɡài shù) 最优化问题经济学所推崇的帕累托最优:几个人拎着水桶(shuǐ tǒnɡ)在一个水龙头前面排队打水，水桶有大有小。他们怎样排队，才能使得总的排队时间最短。这是一个寻求“最优化”的题目，目标是节省总的排队时间，达到最优。第三页，共六十六页。3.1概述(ɡài shù) 优化问题(wèntí)? ? 运筹学 ? 遗传算法 ? 神经网络 ? 约束推理第四页，共六十六页。运筹学的工作(gōngzuò)步骤1）提出和形成问题，2）建立模型，3）求解，4）解的检验，5）解的控制(kòngzhì)，6）解的实施。第五页，共六十六页。线性规划(xiàn xìnɡ ɡuī huá)问题例1(广告方式的选择)中华(Zhōnghuá)家电公司推销一种新型洗衣机,有关数据见下表.销售部第一月的广告预算为20000元,要求至少有8电视商业节目,15家报纸广告/电视广告费不得超过12000元,电台广播至少隔日有一次.现问该公司销售部应当采用怎样的广告宣传计划,才能取得最好的效果?第六页，共六十六页。表1广