自动推理与智能规划 : 算法设计与复杂性分析

图书标准信息

• 作者 殷明浩、周俊萍、袁利永 著
• 出版社 吉林人民出版社
• 出版时间 2013
• ISBN 9787206099373
• 定价 35.00元
• 装帧 其他
• 开本 26cm
• 页数 243页
• 正文语种 简体中文

【内容简介】

本书论述了自动推理与智能规划问题的算法设计与计算复杂性分析。分别从以下三个角度进行了相关讨论：（1）给出了第一个被证明为NP完全问题的自动推理问题——可满足问题（SAT问题），并以此问题为基础研究了SAT问题的基本求解算法、隐蔽结构、算法的计算复杂性分析以及相变现象。（2）论述了#SAT问题的三种求解方法，并给出了#SAT问题在最坏情况下的最小上界。（3）研究了智能规划问题与基本方法，论述了启发式函数与剪枝策略，给出了启发式规划求解算法，设计了相应的规划器，并在此基础上研究了一致性规划问题的相变现象。