数据集概述
本数据集为Eriksson等人在ICAPS 2017发表的论文《Unsolvability Certificates for Classical Planning》所用实验数据，包含实验运行的解析属性及重要属性概览，以压缩包形式提供，支持经典规划算法的不可解性证明研究。
文件详解
- 压缩包文件：
- 文件名称：eriksson-et-al-icaps2017-experiment.zip
- 文件格式：ZIP
- 内部文件说明：
- properties：JSON格式，包含所有实验运行的解析属性
- Report_icaps17.html：HTML格式，包含最重要属性的概览
数据来源
论文"Unsolvability Certificates for Classical Planning"（Eriksson et al., ICAPS 2017）
适用场景
- 经典规划不可解性证明研究：验证和分析不可解性证书在经典规划问题中的有效性与效率
- 智能规划算法性能评估：基于实验数据对比不同规划算法的不可解性判定能力
- 规划问题特征分析：通过解析属性研究经典规划问题的结构特征与不可解性关联
- 学术论文复现：支持对原论文实验结果的复现与扩展研究
