数据集概述
本数据集为JELIA 2025论文《AxSAT - Bringing Axioms to SAT Planning》的配套资源，包含扩展版Fast Downward规划系统代码、PDDL基准测试用例、原始实验数据及解析后的数据，共4个文件，用于支持SAT规划算法AxSAT的实验复现与分析。
文件详解
- 代码文件
- 文件名称：code.zip
- 文件格式：ZIP
- 字段映射介绍：包含扩展版Fast Downward规划系统，SAT搜索代码位于src/search/search_algorithms/sat_search.*，实验脚本位于experiments/decoupling-sat/，需结合Kissat SAT求解器编译运行
- 基准测试文件
- 文件名称：benchmarks.tar.xz
- 文件格式：XZ压缩包
- 字段映射介绍：包含论文实验所用的PDDL基准测试用例
- 原始实验数据文件
- 文件名称：experiment-data-raw.tar.xz
- 文件格式：XZ压缩包
- 字段映射介绍：包含所有实验运行的原始数据，含代码、可执行文件及日志文件
- 解析后实验数据文件
- 文件名称：experiment-data-parsed.xz
- 文件格式：XZ压缩包
- 字段映射介绍：包含解析后的实验数据，内有"properties"文件记录所有解析值
数据来源
JELIA 2025论文《AxSAT - Bringing Axioms to SAT Planning》
适用场景
- SAT规划算法研究: 用于复现AxSAT算法实验，分析其在PDDL基准测试中的性能
- 规划系统扩展开发: 基于扩展版Fast Downward代码，进行SAT规划相关功能的二次开发
- 实验数据验证与分析: 利用原始及解析后的数据，验证论文实验结论或开展新的数据分析
- 基准测试对比: 将AxSAT算法与其他SAT规划算法在相同PDDL基准上进行性能对比
