高級人工智能之約束推理(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

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