高级人工智能之约束推理(PPT 65页)
所属分类:人工智能
文件大小:378 KB
下载要求:10 学币或VIP
点击下载主要内容
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
精品资料网 m.cnshu.cn
Copyright © 2004- 粤ICP备10098620号-1