高级人工智能之约束推理(PPT 65页)

主要内容
3.1  概述
3.2  回溯法
3.3  约束传播
3.4  回跳法
3.5  约束推理系统COPS
3.6  ILOG SOLVER

 

 

高级人工智能
第三章  约束推理
3.1    概述
运筹学的工作步骤
线性规划问题
求解--单纯形法
3.1  约束推理
3.1  约束搜索
约束语言
CONSTRAINTS约束语言
约束逻辑程序设计语言CHIP
面向对象约束语言COPS
穷尽搜索方法
贪心法
回溯算法
3.3  约束传播CONSTRAINT PROPAGATION
弧一致性
3.3  CONSTRAINT PROPAGATION
CONSTRAINT PROPAGATION
约束传播修改算法
AC-1
AC-3
Backjumping
COPS
ILOG SOLVER
ILOG Schedule 1.0
Scheduling Problem
Constraints
Algorithm Program
Optimal Solution to the Scheduling Problem 

 

..............................