Stefan Edelkamp 自动创建模式数据库搜索启发。 （英语） Zbl 1196.68228号 Edelkamp，Stefan（编辑）等人，《模型检查和人工智能》。第四次研讨会，MoChArt IV，Riva del Garda，意大利，2006年8月29日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-540-74127-5/pbk）。计算机科学课堂讲稿4428。人工智能课堂讲稿，35-50（2007）。 摘要：模式数据库是启发式估计的字典，用于在状态空间抽象中存储状态到目标的距离。它们的有效性对潜在模式的选择很敏感。特别是对于多模式和添加模式数据库，需要手动选择模式，以获得良好的探索结果。为了自动化选择过程，建议使用贪婪的bin-packing。本文提出用遗传算法优化其输出。模式被编码为二进制字符串，并使用一个目标函数进行优化，该目标函数根据启发式值在抽象空间中的分布预测启发式搜索树的大小。为了减少内存需求，我们符号化地构建了模式数据库。启发式搜索规划的实验表明，可以显著减少总搜索工作量。关于整个系列，请参见[兹比尔1119.68007]. 引用于2文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 第68页，共15页 数据库理论 软件：GALib公司 PDF格式BibTeX公司 XML格式引用 \textit{S.Edelkamp}，莱克特。注释计算。科学。4428，35-50（2007年；兹bl 1196.68228） 全文： 内政部