数据集概述
本数据集包含2025年KR论文《Domain-Independent Instance Generation for Classical Planning》的配套资源，涵盖规划领域基准数据、实例生成器代码、实验各阶段日志及实验脚本，支撑论文研究的复现与扩展分析。
文件详解
- benchmarks-inst-gen.zip：包含增广公理的规划领域基准及实验用学习、规划阶段任务，增广领域另有Zenodo DOI与GitHub实时版本
- instance-generator.zip：Python包形式的实例生成器代码
- logs-instance-generation.zip：实例生成日志（含所有生成实例），*-inst-gen-eval文件夹含聚合结果HTML与JSON格式properties文件（合并所有运行数据），childsnack领域因后期修正有单独文件
- logs-learning.zip：学习阶段日志（IPC导出，大日志截断）及习得领域知识，learning-eval文件夹含规划器学习阶段处理数据
- logs-planning.zip：规划阶段日志（IPC导出，大日志截断），planning-eval文件夹含规划阶段处理数据
- scripts.zip：实验执行脚本
适用场景
- 经典规划研究：验证领域无关实例生成方法的有效性
- 实验复现：复现KR 2025论文中实例生成、学习及规划阶段的实验结果
- 算法扩展：基于实例生成器代码开发优化的规划实例生成算法
- 规划器性能分析：利用日志数据对比不同规划器在生成实例上的表现
