【面向对象的约束满足问题求解】.pdf

h 8 9浙江大学研究生学位论文用纸目录 3综合各种CSP技术于CSP求解 1CSP研究动态 1CSP研究的不足 1基本思想概述第二章约束满足问题求解 2形式化定义 2基于回湖的方法 2约束传递与回溯的协调 2变量和变量取值启发式排序第三章面向对象的约束表示和CSP求解 3分层约束网 3面向对象的约束网表示 3对象分类体系 3约束网表示 3面向对象的CSP求解 3概述 3.

浙江大学研究生学位论文用纸P.谢致首先,要感谢我的导师高济教授,在我学习期间给予我悉心指导和热情帮助,他孜孜以求的严谨治学态度和认真负责的精神给我留下深刻的映象,使我终身难忘,在此谨致以我衷心的感谢和崇高的感谢我的各位同班同学,他们是王建中、周后盘、蒋益民、吴刚、杨林强、应晶、宋国庆、季永恒、张大千、封力铭等,给予我生活和学习上的大感谢和我一起工作的李见为、余浩泽、徐周、李立群、陆明、席岳、蒋剑峰等同学,他们的支持最后,感谢我的父亲颜恒富先生和母亲文继秀女士,虽然远隔万里,却能感觉到他们的祝福和关颜海 1992,12 力帮助,他们的支持使我受益非浅。

浙江大学研究生学位论文用纸P 第一章绪论人工智能和计算机科学的其它领域中的大量问题可视为约束满足问题(CSP-ConstraintSatisfactionProblem),如机器视觉、信念维持、日程表安排、奢色问题、计算机辅助设计等。这些问题的共同之处,就是要找到满足给定限制条件(约束)的解。运用传统的计算机软件设计技术解决CSP,存在严重的缺陷,主要表现在约束表达能力差,而动态扩展能力的缺乏又使已建立的约束集难以扩充。尤其是对于缺乏良好定义的问题,其求解往往依赖于专家的经验知识(如CAD),传统数值分析软件显然无法胜任。