《问题求解理论及应用》求取 ⇩

第一章问题描述1

1.1 问题提出1

1.2 不同粒度世界的描述5

1.3 不同粒度世界的关系10

1.3.1 半序格10

1.3.2 性质的保持性12

1.4 粒度的选择与调整22

1.4.1 合并法23

1.4.2 分解法25

1.4.3 商半序的存在性与唯一性32

1.5 小结34

第二章分层递阶35

2.1 分层递阶模型35

2.2 计算量复杂性估计38

2.2.1 对复杂性估计的假设38

2.2.2 确定性模型下的复杂性估计39

2.2.3 概率模型下的复杂性估计46

2.2.4 分层方法中的逐次运算56

2.3 上层空间信息的提取56

2.3.1 例59

2.3.2 论域无结构情况下［f］的构成60

2.3.3 论域有结构情况下［f］的构成63

2.3.4 结论75

2.4 模糊等价关系与分层技术76

2.4.1 模糊商结构76

2.4.2 聚类与分层结构的求法84

第三章合成技术87

3.1 引言87

3.2 合成的数学模型89

3.3 论域的合成90

3.4 拓扑结构的合成92

3.5.1 商半序的图上构成法93

3.5 半序结构的合成93

3.5.2 半序结构的合成96

3.6 属性函数的合成101

3.6.1 属性函数的合成原则101

3.6.2 例105

3.7 小结112

第四章推理模型114

4.1 各种不同的推理模型114

4.2 不确定性与粒度的关系120

4.3 网络推理模型（一）125

4.3.1 投影128

4.3.2 合成131

4.4 网络推理模型（二）139

4.4.1 模型的建立144

4.4.2 与或关系的投影145

4.4.3 与或关系的合成149

4.5 运算与商结构154

4.4.4 结论154

4.5.1 商运算存在性讨论156

4.5.2 商运算的获得159

4.5.3 商运算的逼近168

4.5.4 约束与商约束173

4.6 定性推理178

4.6.1 定性推理的模型179

4.6.2 例180

4.6.3 定性推理的步骤186

第五章运动规划188

5.1 人工智能中的规划问题188

5.1.1 简单世界的规划问题189

5.1.2 现实世界的规划192

5.1.3 空间规划202

5.2 运动规划的几何方法204

5.2.1 姿态空间表示204

5.2.2 求无碰路径215

5.2.3 小结220

5.3 运动规划的拓扑模型221

5.4 降维法231

5.4.1 基本原理232

5.4.2 特征网络237

5.5 应用248

5.5.1 平面杆件的无碰路规划248

5.5.2 多关节机械手的规划257

5.6 分层技术的应用278

5.6.1 多关节机械手运动的分层规划279

5.6.2 计算量的估计282

5.7 相碰检测287

5.7.1 计算模型的讨论287

5.7.2 计算量的估计297

第六章时间规划299

6.1 时间规划方法存在的问题299

6.2.1 基于点关系的时间逻辑302

6.2 时间规划的关系矩阵方法（一）302

6.2.2 时间关系的关系矩阵表示法306

6.3 求R-时刻表308

6.3.1 几个概念308

6.3.2 关系矩阵的简化309

6.3.3 求R-时刻表310

6.4 求D-时刻表321

6.4.1 几个符号321

6.4.2 求基本赋值322

6.4.3 算法Ⅱ的完备性327

6.4.4 求D-时刻表的算法337

6.5 最优D-时刻表345

6.5.1 引言345

6.5.2 求最优D-时刻表方法347

6.5.3 算法Ⅲ的计算量349

6.6 时间规划的近似解349

6.6.2 算法Ⅳ的完备性350

6.6.1 求ε-近似D-时刻表的方法350

6.6.3 求渐近最优D-时刻表354

6.7 时间规划的关系矩阵方法（二）354

6.7.1 关系矩阵的构成354

6.7.2 求R-时刻表的方法357

6.8 资源分配358

6.8.1 时差359

6.8.2 劳力分配方法360

第七章统计启发式搜索365

7.1 统计启发式搜索367

7.1.1 启发式搜索技术367

7.1.2 统计推断371

7.1.3 统计启发式搜索374

7.2 SA法的计算复杂性377

7.2.1 SPA算法377

7.2.2 SAA算法382

7.2.3 其它类型的SA法385

7.2.4 逐次运算387

7.3 全局信息的提取388

7.3.1 假设1的讨论388

7.3.2 全局统计量的提取（一）393

7.3.3 全局统计量的提取（二）404

7.3.4 SA算法408

7.4 统计启发式搜索方法与A*法的比较411

7.4.1 与A*法比较411

7.4.2 与其它加权技术的比较416

7.4.3 其它方面的比较428

7.5 图搜索的SA法431

7.5.1 图搜索问题431

7.5.2 与／或图的搜索433

7.6 分层方法与启发式搜索技术435

附录438

参考文献471