动态弹性约束的满足及其对人工智能规划的应用

Ian Miguel, University of York, Australia

Dynamic Flexible Constraint

Satisfaction and its

Application to AI Planning

Distinguished Dissertations

2004, 318pp.

Hardcover EUR 99.95

ISBN 1-85233-764-8

本书是由施普林格出版社出版的《优秀博士论文》丛书中的一本。该丛书是以英国计算机教授与系主任会议和英国计算机协会(BCS)的名义出版的，每年从英国计算机科学博士论文中遴选最好的论文出版。

约束满足是人工智能中知识表示法与推理的基本技术。它的成功是以简明性和一般性为基础的。本书示范了怎样将两个功能强大的实例相结合，以便解决更加复杂的问题。书中介绍实施的弹性图规划(Graphplan)是一个基于动态弹性约束满足条件的规划系统。

全书共9章和4个附录。第1章引言；第2章约束满足问题，详细综述约束满足技术目前的发展水平；第3章动态弹性约束的满足，讨论了有关支持同时弹性约束的技术和对动态弹性约束满足问题；第4章模糊限制/松驰动态弹性约束满足问题(rrDFCSP)的实验研究，包括了对rrDFCSP问题的结构与性质的广泛的实验分析；第5章通用性人工智能规划中的动态约束满足问题；第6章图规划—rrDFCSP的实验结果；第7章弹性规划问题与弹性图规划，定义了一个新颖的弹性规划问题，将经典的领域通用性规划扩展到支持软约束；第8章弹性图规划的实验结果；第9章结论。

本书可供研究人工智能的计算机科学专业的研究生及科研人员阅读参考。

胡海伦，博士生

(美国康涅狄格大学电气工程系)

Hu Hailun, Ph.D

(Department of Electrical Engineering,University of Connecticut)

推荐访问:人工智能 弹性 约束 规划 动态